Abstract is missing.
- Block Me If You Can! - Context-Sensitive Parameterized VerificationParosh Aziz Abdulla, Frédéric Haziza, Lukás Holík. 1-17 [doi]
- Peak Cost Analysis of Distributed SystemsElvira Albert, Jesús Correas Fernández, Guillermo Román-Díez. 18-33 [doi]
- Backward Analysis via over-Approximate Abstraction and under-Approximate SubtractionAlexey Bakhirkin, Josh Berdine, Nir Piterman. 34-50 [doi]
- SawjaCard: A Static Analysis Tool for Certifying Java Card ApplicationsFrédéric Besson, Thomas P. Jensen, Pierre Vittet. 51-67 [doi]
- Cyclic Abduction of Inductively Defined Safety and Termination PreconditionsJames Brotherston, Nikos Gorogiannis. 68-84 [doi]
- Expectation Invariants for Probabilistic Program Loops as Fixed PointsAleksandar Chakarov, Sriram Sankaranarayanan. 85-100 [doi]
- An Abstract Domain to Infer Octagonal Constraints with Absolute ValueLiqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang. 101-117 [doi]
- Verifying Recursive Programs Using Intraprocedural AnalyzersYu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang. 118-133 [doi]
- Automatic Analysis of Open Objects in Dynamic Language ProgramsArlen Cox, Bor-Yuh Evan Chang, Xavier Rival. 134-150 [doi]
- Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential EquationsKhalil Ghorbal, Andrew Sogokon, André Platzer. 151-167 [doi]
- On Program Equivalence with ReductionsGuillaume Iooss, Christophe Alias, Sanjay V. Rajopadhye. 168-183 [doi]
- A Progress Bar for Static AnalyzersWoosuk Lee, Hakjoo Oh, Kwangkeun Yi. 184-200 [doi]
- Sparse Dataflow Analysis with Pointers and ReachabilityMagnus Madsen, Anders Møller. 201-218 [doi]
- Reactivity of Cooperative Systems - Application to ReactiveMLLouis Mandel, Cédric Pasteur. 219-236 [doi]
- Synthesis of Memory Fences via Refinement PropagationYuri Meshman, Andrei Marian Dan, Martin T. Vechev, Eran Yahav. 237-252 [doi]
- Speeding Up Logico-Numerical Strategy IterationDavid Monniaux, Peter Schrammel. 253-267 [doi]
- Cost-Aware Automatic Program RepairRoopsha Samanta, Oswaldo Olivo, E. Allen Emerson. 268-284 [doi]
- An Abstract Domain Combinator for Separately Conjoining Memory AbstractionsAntoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival. 285-301 [doi]
- A Decision Tree Abstract Domain for Proving Conditional TerminationCaterina Urban, Antoine Miné. 302-318 [doi]
- Region-Based Selective Flow-Sensitive Pointer AnalysisSen Ye, Yulei Sui, Jingling Xue. 319-336 [doi]