| 2006 | Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems. | Julien Bertrane |
| 2006 | Certificate Translation for Optimizing Compilers. | Gilles Barthe, Benjamin Grgoire, Csar Kunz, Tamara Rezk |
| 2006 | Recency-Abstraction for Heap-Allocated Storage. | Gogul Balakrishnan, Thomas W. Reps |
| 2006 | Cryptographically-Masked Flows. | Aslan Askarov, Daniel Hedin, Andrei Sabelfeld |
| 2006 | Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding. | Gilad Arnold |
| 2006 | Beyond Iteration Vectors: Instancewise Relational Abstract Domains. | Pierre Amiranoff, Albert Cohen, Paul Feautrier |
| 2006 | Static Analysis of String Manipulations in Critical Embedded C Programs. | Xavier Allamigeon, Wenceslas Godard, Charles Hymans |
| 2005 | Secure Information Flow as a Safety Problem. | Tachio Terauchi, Alex Aiken |
| 2005 | Exploiting Sparsity in Polyhedral Analysis. | Axel Simon, Andy King |
| 2005 | Pair-Sharing Analysis of Object-Oriented Programs. | Stefano Secci, Fausto Spoto |
| 2005 | Understanding the Origin of Alarms in Astre. | Xavier Rival |
| 2005 | Interprocedural Shape Analysis for Cutpoint-Free Programs. | Noam Rinetzky, Mooly Sagiv, Eran Yahav |
| 2005 | Boolean Heaps. | Andreas Podelski, Thomas Wies |
| 2005 | Finding Basic Block and Variable Correspondence. | Iman Narasamdya, Andrei Voronkov |
| 2005 | A Generic Framework for Interprocedural Analysis of Numerical Properties. | Markus Mller-Olm, Helmut Seidl |
| 2005 | Banshee: A Scalable Constraint-Based Analysis Toolkit. | John Kodumal, Alex Aiken |
| 2005 | Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis. | Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun Yi |
| 2005 | A Relational Abstraction for Functions. | Bertrand Jeannet, Denis Gopan, Thomas W. Reps |
| 2005 | The PER Model of Abstract Non-interference. | Sebastian Hunt, Isabella Mastroeni |
| 2005 | Using Dependent Types to Certify the Safety of Assembly Code. | Matthew Harren, George C. Necula |
| 2005 | From Typed Process Calculi to Source-Based Security. | Andrew D. Gordon |
| 2005 | Type-Safe Optimisation of Plugin Architectures. | Neal Glew, Jens Palsberg, Christian Grothoff |
| 2005 | Locality-Based Abstractions. | Javier Esparza, Pierre Ganty, Stefan Schwoon |
| 2005 | Data-Abstraction Refinement: A Game Semantic Approach. | Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic |
| 2005 | Abstraction Refinement for Termination. | Byron Cook, Andreas Podelski, Andrey Rybalchenko |