Abstract is missing.
- Static Analysis of Non-interference in Expressive Low-Level LanguagesPeter Aldous, Matthew Might. 1-17 [doi]
- Static Analysis with Set-Closure in SecrecyWoosuk Lee, Hyunsook Hong, Kwangkeun Yi, Jung Hee Cheon. 18-35 [doi]
- A Binary Decision Tree Abstract Domain FunctorJunjie Chen, Patrick Cousot. 36-53 [doi]
- Precise Data Flow Analysis in the Presence of Correlated Method CallsMarianna Rapoport, Ondrej Lhoták, Frank Tip. 54-71 [doi]
- May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural SynchronizationElvira Albert, Samir Genaim, Pablo Gordillo. 72-89 [doi]
- Shape Analysis for Unstructured SharingHuisong Li, Xavier Rival, Bor-Yuh Evan Chang. 90-108 [doi]
- Synthesizing Heap Manipulations via Integer Linear ProgrammingAnshul Garg, Subhajit Roy. 109-127 [doi]
- Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGARTachio Terauchi. 128-144 [doi]
- Safety Verification and Refutation by k-Invariants and k-InductionMartin Brain, Saurabh Joshi 0001, Daniel Kroening, Peter Schrammel. 145-161 [doi]
- Effective Soundness-Guided Reflection AnalysisYue Li, Tian Tan, Jingling Xue. 162-180 [doi]
- SJS: A Type System for JavaScript with Fixed Object LayoutWontae Choi, Satish Chandra, George C. Necula, Koushik Sen. 181-198 [doi]
- Refinement Type Inference via Horn Constraint OptimizationKodai Hashimoto, Hiroshi Unno. 199-216 [doi]
- A Simple Abstraction of Arrays and Maps by Program TranslationDavid Monniaux, Francesco Alberti. 217-234 [doi]
- Property-based Polynomial Invariant Generation Using Sums-of-Squares OptimizationAssalé Adjé, Pierre-Loïc Garoche, Victor Magron. 235-251 [doi]
- Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up AnalysisGhila Castelnuovo, Mayur Naik, Noam Rinetzky, Mooly Sagiv, Hongseok Yang. 252-274 [doi]
- Parallel Cost Analysis of Distributed SystemsElvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez. 275-292 [doi]
- A Forward Analysis for Recurrent SetsAlexey Bakhirkin, Josh Berdine, Nir Piterman. 293-311 [doi]
- Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract AccelerationDario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening. 312-331 [doi]