| 2015 | Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization. | Assal Adj, Pierre-Loc Garoche, Victor Magron |
| 2014 | Region-Based Selective Flow-Sensitive Pointer Analysis. | Sen Ye, Yulei Sui, Jingling Xue |
| 2014 | A Decision Tree Abstract Domain for Proving Conditional Termination. | Caterina Urban, Antoine Min |
| 2014 | An Abstract Domain Combinator for Separately Conjoining Memory Abstractions. | Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival |
| 2014 | Cost-Aware Automatic Program Repair. | Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson |
| 2014 | Speeding Up Logico-Numerical Strategy Iteration. | David Monniaux, Peter Schrammel |
| 2014 | Synthesis of Memory Fences via Refinement Propagation. | Yuri Meshman, Andrei Marian Dan, Martin T. Vechev, Eran Yahav |
| 2014 | Reactivity of Cooperative Systems - Application to ReactiveML. | Louis Mandel, Cdric Pasteur |
| 2014 | Sparse Dataflow Analysis with Pointers and Reachability. | Magnus Madsen, Anders Mller |
| 2014 | A Progress Bar for Static Analyzers. | Woosuk Lee, Hakjoo Oh, Kwangkeun Yi |
| 2014 | On Program Equivalence with Reductions. | Guillaume Iooss, Christophe Alias, Sanjay V. Rajopadhye |
| 2014 | Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations. | Khalil Ghorbal, Andrew Sogokon, Andr Platzer |
| 2014 | Automatic Analysis of Open Objects in Dynamic Language Programs. | Arlen Cox, 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 | Verifying Recursive Programs Using Intraprocedural Analyzers. | Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang |
| 2014 | Expectation Invariants for Probabilistic Program Loops as Fixed Points. | Aleksandar Chakarov, Sriram Sankaranarayanan |
| 2014 | Cyclic Abduction of Inductively Defined Safety and Termination Preconditions. | James Brotherston, Nikos Gorogiannis |
| 2014 | SawjaCard: A Static Analysis Tool for Certifying Java Card Applications. | Frdric Besson, Thomas P. Jensen, Pierre Vittet |
| 2014 | Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction. | Alexey Bakhirkin, Josh Berdine, Nir Piterman |
| 2014 | Peak Cost Analysis of Distributed Systems. | Elvira Albert, Jess Correas Fernndez, Guillermo Romn-Dez |
| 2014 | Block Me If You Can! - Context-Sensitive Parameterized Verification. | Parosh Aziz Abdulla, Frdric Haziza, Luks Holk |
| 2013 | Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation. | Leo White, Alan Mycroft |
| 2013 | The Abstract Domain of Segmented Ranking Functions. | Caterina Urban |
| 2013 | Static Analysis in the Continuously Changing World. | Sriram Sankaranarayanan |
| 2013 | From Concrete Examples to Heap Manipulating Programs. | Subhajit Roy |