| 2014 | A Decision Tree Abstract Domain for Proving Conditional Termination. Caterina Urban, Antoine Miné |
| 2014 | A Progress Bar for Static Analyzers. Woosuk Lee, Hakjoo Oh, Kwangkeun Yi |
| 2014 | An Abstract Domain Combinator for Separately Conjoining Memory Abstractions. Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival |
| 2014 | An Abstract Domain to Infer Octagonal Constraints with Absolute Value. Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang |
| 2014 | Automatic Analysis of Open Objects in Dynamic Language Programs. Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival |
| 2014 | Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction. Alexey Bakhirkin, Josh Berdine, Nir Piterman |
| 2014 | Block Me If You Can! - Context-Sensitive Parameterized Verification. Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík |
| 2014 | Cost-Aware Automatic Program Repair. Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson |
| 2014 | Cyclic Abduction of Inductively Defined Safety and Termination Preconditions. James Brotherston, Nikos Gorogiannis |
| 2014 | Expectation Invariants for Probabilistic Program Loops as Fixed Points. Aleksandar Chakarov, Sriram Sankaranarayanan |
| 2014 | Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations. Khalil Ghorbal, Andrew Sogokon, André Platzer |
| 2014 | On Program Equivalence with Reductions. Guillaume Iooss, Christophe Alias, Sanjay V. Rajopadhye |
| 2014 | Peak Cost Analysis of Distributed Systems. Elvira Albert, Jesús Correas Fernández, Guillermo Román-Díez |
| 2014 | Reactivity of Cooperative Systems - Application to ReactiveML. Louis Mandel, Cédric Pasteur |
| 2014 | Region-Based Selective Flow-Sensitive Pointer Analysis. Sen Ye, Yulei Sui, Jingling Xue |
| 2014 | SawjaCard: A Static Analysis Tool for Certifying Java Card Applications. Frédéric Besson, Thomas P. Jensen, Pierre Vittet |
| 2014 | Sparse Dataflow Analysis with Pointers and Reachability. Magnus Madsen, Anders Møller |
| 2014 | Speeding Up Logico-Numerical Strategy Iteration. David Monniaux, Peter Schrammel |
| 2014 | Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings Markus Müller-Olm, Helmut Seidl |
| 2014 | Synthesis of Memory Fences via Refinement Propagation. Yuri Meshman, Andrei Marian Dan, Martin T. Vechev, Eran Yahav |
| 2014 | Verifying Recursive Programs Using Intraprocedural Analyzers. Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang |