| 2011 | Bound Analysis of Imperative Programs with the Size-Change Abstraction. | Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith |
| 2011 | Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations. | Sven Verdoolaege, Albert Cohen, Anna Beletska |
| 2011 | Verifying Fence Elimination Optimisations. | Viktor Vafeiadis, Francesco Zappa Nardelli |
| 2011 | Satisfiability Modulo Recursive Programs. | Philippe Suter, Ali Sinan Kksal, Viktor Kuncak |
| 2011 | Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs. | Peter Schrammel, Bertrand Jeannet |
| 2011 | Program Analysis and Machine Learning: A Win-Win Deal. | Aditya V. Nori, Sriram K. Rajamani |
| 2011 | Using Bounded Model Checking to Focus Fixpoint Iterations. | David Monniaux, Laure Gonnord |
| 2011 | Program Analysis for Web Security. | John C. Mitchell |
| 2011 | Probabilistically Accurate Program Transformations. | Sasa Misailovic, Daniel M. Roy, Martin C. Rinard |
| 2011 | A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs. | Matthew Might, David Van Horn |
| 2011 | Invisible Invariants and Abstract Interpretation. | Kenneth L. McMillan, Lenore D. Zuck |
| 2011 | Widening and Interpolation. | Kenneth L. McMillan |
| 2011 | Directed Symbolic Execution. | Kin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks |
| 2011 | Efficient Decision Procedures for Heaps Using STRAND. | P. Madhusudan, Xiaokang Qiu |
| 2011 | Purity Analysis: An Abstract Interpretation Formulation. | Ravichandhran Madhavan, Ganesan Ramalingam, Kapil Vaswani |
| 2011 | Astre: Design and Experience. | Daniel Kstner |
| 2011 | An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs. | Jeff Huang, Charles Zhang |
| 2011 | The Complexity of Abduction for Separated Heap Abstractions. | Nikos Gorogiannis, Max I. Kanovich, Peter W. O'Hearn |
| 2011 | Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation. | Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-Gonzlez |
| 2011 | Side-Effect Analysis of Assembly Code. | Andrea Flexeder, Michael Petter, Helmut Seidl |
| 2011 | Formal Model Reduction. | Jrme Feret |
| 2011 | Probabilistic Abstractions with Arbitrary Domains. | Javier Esparza, Andreas Gaiser |
| 2011 | Abstract Domains of Affine Relations. | Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps |
| 2011 | Software Verification Using k-Induction. | Alastair F. Donaldson, Leopold Haller, Daniel Kroening, Philipp Rmmer |
| 2011 | On Sequentializing Concurrent Programs. | Ahmed Bouajjani, Michael Emmi, Gennaro Parlato |