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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Madhukar, K, Wachter, B, Kroening, D, Lewis, M, Srivas, M
Rannpháirtithe:	Kaivola, R
Formáid:	Conference item
Foilsithe / Cruthaithe:	IEEE 2016

Míreanna comhchosúla

Danger invariants
de réir: David, C, et al.
Foilsithe / Cruthaithe: (2016)

Equivalence checking using trace partitioning
de réir: Mukherjee, R, et al.
Foilsithe / Cruthaithe: (2015)

Curvature Invariants for the Accelerating Natário Warp Drive
de réir: Brandon Mattingly, et al.
Foilsithe / Cruthaithe: (2020-09-01)

Safety verification and refutation by k-invariants and k-induction
de réir: Brain, M, et al.
Foilsithe / Cruthaithe: (2015)

Termination analysis with compositional transition invariants
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2010)

Loop summarization using state and transition invariants
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2013)

Invariable generation of the symmetric group
de réir: Green, B, et al.
Foilsithe / Cruthaithe: (2017)

Loop summarization using state and transition invariants.
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2013)

Loop summarization using state and transition invariants
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2012)

Adiabatic invariance of spin-orbit motion in accelerators
de réir: Georg H. Hoffstaetter, et al.
Foilsithe / Cruthaithe: (2006-01-01)

Verifying multi-threaded software with impact
de réir: Wachter, B, et al.
Foilsithe / Cruthaithe: (2013)

Verifying Multi−threaded Software with Impact
de réir: Wachter, B, et al.
Foilsithe / Cruthaithe: (2013)

Nonlinear accelerator lattices with one and two analytic invariants
de réir: V. Danilov, et al.
Foilsithe / Cruthaithe: (2010-08-01)

Accelerated test execution using GPUs
de réir: Rajan, A, et al.
Foilsithe / Cruthaithe: (2014)

Accelerated test execution using GPUs
de réir: Rajan, A, et al.
Foilsithe / Cruthaithe: (2014)

Sound numerical computations in abstract acceleration
de réir: Cattaruzza, D, et al.
Foilsithe / Cruthaithe: (2017)

Spatial Non-homogeneous Invariant Tori in the Multiplier-Accelerator Model
de réir: E. V. Korshunova, et al.
Foilsithe / Cruthaithe: (2008-03-01)

Sound static deadlock analysis for C/Pthreads (extended version)
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2016)

Sound static deadlock analysis for C/Pthreads
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2016)

Invariable generation of groups of finite rank
de réir: Eloisa Detomi, et al.
Foilsithe / Cruthaithe: (2018-12-01)

Accelerating material property prediction using generically complete isometry invariants
de réir: Jonathan Balasingham, et al.
Foilsithe / Cruthaithe: (2024-05-01)

Invariants for real-generated uniforms topological and algebraic categories/
de réir: 174354 Broughan, K. A.
Foilsithe / Cruthaithe: (1975)

Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration
de réir: Cattaruzza, D, et al.
Foilsithe / Cruthaithe: (2015)

Detecting incidents, accelerating dataset annotation, and estimating depth with multi-view invariants
de réir: Weber, Ethan
Foilsithe / Cruthaithe: (2022)

Expressions for the generating function of the Donaldson invariants for CP²
de réir: Malmendier, Andreas
Foilsithe / Cruthaithe: (2007)

Generating Loop Invariants for Program Verification by Transformation
de réir: G. W. Hamilton
Foilsithe / Cruthaithe: (2017-08-01)

Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
de réir: Cattaruzza, D, et al.
Foilsithe / Cruthaithe: (2020)

Subsequence Invariants
de réir: Dräger, K, et al.
Foilsithe / Cruthaithe: (2008)

Subsequence Invariants
de réir: Dräger, K, et al.
Foilsithe / Cruthaithe: (2008)

Synthesising interprocedural bit-precise termination proofs
de réir: Chen, H, et al.
Foilsithe / Cruthaithe: (2016)

Bit-precise procedure-modular termination analysis
de réir: Chen, H, et al.
Foilsithe / Cruthaithe: (2018)

Automatic Synthesis of Implementations for Abstract Data Types from Algebraic Specifications
de réir: Srivas, Mandayam K.
Foilsithe / Cruthaithe: (2023)

Invariant and Absolute Invariant Means of Double Sequences
de réir: Abdullah Alotaibi, et al.
Foilsithe / Cruthaithe: (2012-01-01)

On the finite generation of additive group invariants in positive characteristic
de réir: Dufresne, E, et al.
Foilsithe / Cruthaithe: (2010)

Faster backtracking algorithms for the generation of symmetry-invariant permutations
de réir: Oscar Moreno, et al.
Foilsithe / Cruthaithe: (2002-01-01)

Automatic Generation of Seamless Mosaics Using Invariant Features
de réir: Prajowal Manandhar, et al.
Foilsithe / Cruthaithe: (2021-08-01)

Generating Property-Directed Potential Invariants By Backward Analysis
de réir: Adrien Champion, et al.
Foilsithe / Cruthaithe: (2012-12-01)

PUGTIFs: Passively User-Generated Thermal Invariant Features
de réir: Edward Jackson, et al.
Foilsithe / Cruthaithe: (2019-01-01)

Gollum: modular and greybox exploit generation for heap overflows in interpreters
de réir: Heelan, S, et al.
Foilsithe / Cruthaithe: (2019)

Generating test case chains for reactive systems
de réir: Schrammel, P, et al.
Foilsithe / Cruthaithe: (2016)