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

Bibliografski detalji
Glavni autori:	Madhukar, K, Wachter, B, Kroening, D, Lewis, M, Srivas, M
Daljnji autori:	Kaivola, R
Format:	Conference item
Izdano:	IEEE 2016

Slični predmeti

Danger invariants
od: David, C, i dr.
Izdano: (2016)

Equivalence checking using trace partitioning
od: Mukherjee, R, i dr.
Izdano: (2015)

Curvature Invariants for the Accelerating Natário Warp Drive
od: Brandon Mattingly, i dr.
Izdano: (2020-09-01)

Safety verification and refutation by k-invariants and k-induction
od: Brain, M, i dr.
Izdano: (2015)

Termination analysis with compositional transition invariants
od: Kroening, D, i dr.
Izdano: (2010)

Loop summarization using state and transition invariants
od: Kroening, D, i dr.
Izdano: (2013)

Invariable generation of the symmetric group
od: Green, B, i dr.
Izdano: (2017)

Loop summarization using state and transition invariants.
od: Kroening, D, i dr.
Izdano: (2013)

Loop summarization using state and transition invariants
od: Kroening, D, i dr.
Izdano: (2012)

Adiabatic invariance of spin-orbit motion in accelerators
od: Georg H. Hoffstaetter, i dr.
Izdano: (2006-01-01)

Verifying multi-threaded software with impact
od: Wachter, B, i dr.
Izdano: (2013)

Verifying Multi−threaded Software with Impact
od: Wachter, B, i dr.
Izdano: (2013)

Nonlinear accelerator lattices with one and two analytic invariants
od: V. Danilov, i dr.
Izdano: (2010-08-01)

Accelerated test execution using GPUs
od: Rajan, A, i dr.
Izdano: (2014)

Accelerated test execution using GPUs
od: Rajan, A, i dr.
Izdano: (2014)

Sound numerical computations in abstract acceleration
od: Cattaruzza, D, i dr.
Izdano: (2017)

Spatial Non-homogeneous Invariant Tori in the Multiplier-Accelerator Model
od: E. V. Korshunova, i dr.
Izdano: (2008-03-01)

Sound static deadlock analysis for C/Pthreads (extended version)
od: Kroening, D, i dr.
Izdano: (2016)

Sound static deadlock analysis for C/Pthreads
od: Kroening, D, i dr.
Izdano: (2016)

Invariable generation of groups of finite rank
od: Eloisa Detomi, i dr.
Izdano: (2018-12-01)

Accelerating material property prediction using generically complete isometry invariants
od: Jonathan Balasingham, i dr.
Izdano: (2024-05-01)

Invariants for real-generated uniforms topological and algebraic categories/
od: 174354 Broughan, K. A.
Izdano: (1975)

Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration
od: Cattaruzza, D, i dr.
Izdano: (2015)

Detecting incidents, accelerating dataset annotation, and estimating depth with multi-view invariants
od: Weber, Ethan
Izdano: (2022)

Expressions for the generating function of the Donaldson invariants for CP²
od: Malmendier, Andreas
Izdano: (2007)

Generating Loop Invariants for Program Verification by Transformation
od: G. W. Hamilton
Izdano: (2017-08-01)

Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
od: Cattaruzza, D, i dr.
Izdano: (2020)

Subsequence Invariants
od: Dräger, K, i dr.
Izdano: (2008)

Subsequence Invariants
od: Dräger, K, i dr.
Izdano: (2008)

Synthesising interprocedural bit-precise termination proofs
od: Chen, H, i dr.
Izdano: (2016)

Bit-precise procedure-modular termination analysis
od: Chen, H, i dr.
Izdano: (2018)

Automatic Synthesis of Implementations for Abstract Data Types from Algebraic Specifications
od: Srivas, Mandayam K.
Izdano: (2023)

Invariant and Absolute Invariant Means of Double Sequences
od: Abdullah Alotaibi, i dr.
Izdano: (2012-01-01)

On the finite generation of additive group invariants in positive characteristic
od: Dufresne, E, i dr.
Izdano: (2010)

Faster backtracking algorithms for the generation of symmetry-invariant permutations
od: Oscar Moreno, i dr.
Izdano: (2002-01-01)

Automatic Generation of Seamless Mosaics Using Invariant Features
od: Prajowal Manandhar, i dr.
Izdano: (2021-08-01)

Generating Property-Directed Potential Invariants By Backward Analysis
od: Adrien Champion, i dr.
Izdano: (2012-12-01)

PUGTIFs: Passively User-Generated Thermal Invariant Features
od: Edward Jackson, i dr.
Izdano: (2019-01-01)

Gollum: modular and greybox exploit generation for heap overflows in interpreters
od: Heelan, S, i dr.
Izdano: (2019)

Generating test case chains for reactive systems
od: Schrammel, P, i dr.
Izdano: (2016)