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)