Accelerating invariant generation

Accelerating invariant generation

Acceleration is a technique for summarising loops by computing a closed-form representation of the loop behaviour. The closed form can be turned into an accelerator, which is a code snippet that skips over intermediate states of the loop to the end of the loop in a single step. Program analysers rel...

Полное описание

Библиографические подробности
Главные авторы:	Madhukar, K, Wachter, B, Kroening, D, Lewis, M, Srivas, M
Другие авторы:	Kaivola, R
Формат:	Conference item
Опубликовано:	IEEE 2016

Схожие документы

Danger invariants
по: David, C, и др.
Опубликовано: (2016)

Equivalence checking using trace partitioning
по: Mukherjee, R, и др.
Опубликовано: (2015)

Curvature Invariants for the Accelerating Natário Warp Drive
по: Brandon Mattingly, и др.
Опубликовано: (2020-09-01)

Safety verification and refutation by k-invariants and k-induction
по: Brain, M, и др.
Опубликовано: (2015)

Termination analysis with compositional transition invariants
по: Kroening, D, и др.
Опубликовано: (2010)

Loop summarization using state and transition invariants
по: Kroening, D, и др.
Опубликовано: (2013)

Invariable generation of the symmetric group
по: Green, B, и др.
Опубликовано: (2017)

Loop summarization using state and transition invariants.
по: Kroening, D, и др.
Опубликовано: (2013)

Loop summarization using state and transition invariants
по: Kroening, D, и др.
Опубликовано: (2012)

Adiabatic invariance of spin-orbit motion in accelerators
по: Georg H. Hoffstaetter, и др.
Опубликовано: (2006-01-01)

Verifying multi-threaded software with impact
по: Wachter, B, и др.
Опубликовано: (2013)

Verifying Multi−threaded Software with Impact
по: Wachter, B, и др.
Опубликовано: (2013)

Nonlinear accelerator lattices with one and two analytic invariants
по: V. Danilov, и др.
Опубликовано: (2010-08-01)

Accelerated test execution using GPUs
по: Rajan, A, и др.
Опубликовано: (2014)

Accelerated test execution using GPUs
по: Rajan, A, и др.
Опубликовано: (2014)

Sound numerical computations in abstract acceleration
по: Cattaruzza, D, и др.
Опубликовано: (2017)

Spatial Non-homogeneous Invariant Tori in the Multiplier-Accelerator Model
по: E. V. Korshunova, и др.
Опубликовано: (2008-03-01)

Sound static deadlock analysis for C/Pthreads (extended version)
по: Kroening, D, и др.
Опубликовано: (2016)

Sound static deadlock analysis for C/Pthreads
по: Kroening, D, и др.
Опубликовано: (2016)

Invariable generation of groups of finite rank
по: Eloisa Detomi, и др.
Опубликовано: (2018-12-01)

Accelerating material property prediction using generically complete isometry invariants
по: Jonathan Balasingham, и др.
Опубликовано: (2024-05-01)

Invariants for real-generated uniforms topological and algebraic categories/
по: 174354 Broughan, K. A.
Опубликовано: (1975)

Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration
по: Cattaruzza, D, и др.
Опубликовано: (2015)

Detecting incidents, accelerating dataset annotation, and estimating depth with multi-view invariants
по: Weber, Ethan
Опубликовано: (2022)

Expressions for the generating function of the Donaldson invariants for CP²
по: Malmendier, Andreas
Опубликовано: (2007)

Generating Loop Invariants for Program Verification by Transformation
по: G. W. Hamilton
Опубликовано: (2017-08-01)

Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
по: Cattaruzza, D, и др.
Опубликовано: (2020)

Subsequence Invariants
по: Dräger, K, и др.
Опубликовано: (2008)

Subsequence Invariants
по: Dräger, K, и др.
Опубликовано: (2008)

Synthesising interprocedural bit-precise termination proofs
по: Chen, H, и др.
Опубликовано: (2016)

Bit-precise procedure-modular termination analysis
по: Chen, H, и др.
Опубликовано: (2018)

Invariant and Absolute Invariant Means of Double Sequences
по: Abdullah Alotaibi, и др.
Опубликовано: (2012-01-01)

Automatic Synthesis of Implementations for Abstract Data Types from Algebraic Specifications
по: Srivas, Mandayam K.
Опубликовано: (2023)

On the finite generation of additive group invariants in positive characteristic
по: Dufresne, E, и др.
Опубликовано: (2010)

Faster backtracking algorithms for the generation of symmetry-invariant permutations
по: Oscar Moreno, и др.
Опубликовано: (2002-01-01)

Automatic Generation of Seamless Mosaics Using Invariant Features
по: Prajowal Manandhar, и др.
Опубликовано: (2021-08-01)

Generating Property-Directed Potential Invariants By Backward Analysis
по: Adrien Champion, и др.
Опубликовано: (2012-12-01)

PUGTIFs: Passively User-Generated Thermal Invariant Features
по: Edward Jackson, и др.
Опубликовано: (2019-01-01)

Gollum: modular and greybox exploit generation for heap overflows in interpreters
по: Heelan, S, и др.
Опубликовано: (2019)

Generating test case chains for reactive systems
по: Schrammel, P, и др.
Опубликовано: (2016)