| 2015 | A Binary Decision Tree Abstract Domain Functor. Junjie Chen, Patrick Cousot |
| 2015 | A Forward Analysis for Recurrent Sets. Alexey Bakhirkin, Josh Berdine, Nir Piterman |
| 2015 | A Simple Abstraction of Arrays and Maps by Program Translation. David Monniaux, Francesco Alberti |
| 2015 | Effective Soundness-Guided Reflection Analysis. Yue Li, Tian Tan, Jingling Xue |
| 2015 | Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR. Tachio Terauchi |
| 2015 | May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. Elvira Albert, Samir Genaim, Pablo Gordillo |
| 2015 | 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 |
| 2015 | Parallel Cost Analysis of Distributed Systems. Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez |
| 2015 | Precise Data Flow Analysis in the Presence of Correlated Method Calls. Marianna Rapoport, Ondrej Lhoták, Frank Tip |
| 2015 | Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization. Assalé Adjé, Pierre-Loïc Garoche, Victor Magron |
| 2015 | Refinement Type Inference via Horn Constraint Optimization. Kodai Hashimoto, Hiroshi Unno |
| 2015 | SJS: A Type System for JavaScript with Fixed Object Layout. Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen |
| 2015 | Safety Verification and Refutation by k-Invariants and k-Induction. Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel |
| 2015 | Shape Analysis for Unstructured Sharing. Huisong Li, Xavier Rival, Bor-Yuh Evan Chang |
| 2015 | Static Analysis - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings Sandrine Blazy, Thomas P. Jensen |
| 2015 | Static Analysis of Non-interference in Expressive Low-Level Languages. Peter Aldous, Matthew Might |
| 2015 | Static Analysis with Set-Closure in Secrecy. Woosuk Lee, Hyunsook Hong, Kwangkeun Yi, Jung Hee Cheon |
| 2015 | Synthesizing Heap Manipulations via Integer Linear Programming. Anshul Garg, Subhajit Roy |
| 2015 | Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration. Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening |