SAS 2015

18 papers

1. A Binary Decision Tree Abstract Domain Functor · Junjie Chen, Patrick Cousot
2. A Forward Analysis for Recurrent Sets · Alexey Bakhirkin, Josh Berdine, Nir Piterman
3. A Simple Abstraction of Arrays and Maps by Program Translation · David Monniaux, Francesco Alberti
4. Effective Soundness-Guided Reflection Analysis · Yue Li, Tian Tan, Jingling Xue
5. Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR · Tachio Terauchi
6. May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization · Elvira Albert, Samir Genaim, Pablo Gordillo
7. Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis · Ghila Castelnuovo, Mayur Naik, Noam Rinetzky, Mooly Sagiv, Hongseok Yang
8. Parallel Cost Analysis of Distributed Systems · Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez
9. Precise Data Flow Analysis in the Presence of Correlated Method Calls · Marianna Rapoport, Ondrej Lhoták, Frank Tip
10. Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization · Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
11. Refinement Type Inference via Horn Constraint Optimization · Kodai Hashimoto, Hiroshi Unno
12. SJS: A Type System for JavaScript with Fixed Object Layout · Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen
13. Safety Verification and Refutation by k-Invariants and k-Induction · Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel
14. Shape Analysis for Unstructured Sharing · Huisong Li, Xavier Rival, Bor-Yuh Evan Chang
15. Static Analysis of Non-interference in Expressive Low-Level Languages · Peter Aldous, Matthew Might
16. Static Analysis with Set-Closure in Secrecy · Woosuk Lee, Hyunsook Hong, Kwangkeun Yi, Jung Hee Cheon
17. Synthesizing Heap Manipulations via Integer Linear Programming · Anshul Garg, Subhajit Roy
18. Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration · Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening