| 2008 | Inferring Min and Max Invariants Using Max-Plus Polyhedra. | Xavier Allamigeon, Stephane Gaubert, Eric Goubault |
| 2008 | Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. | Elvira Albert, Puri Arenas, Samir Genaim, Germn Puebla |
| 2007 | A New Algorithm for Identifying Loops in Decompilation. | Tao Wei, Jian Mao, Wei Zou, Yu Chen |
| 2007 | Refactoring Using Type Constraints. | Frank Tip |
| 2007 | Taming the Wrapping of Integer Arithmetic. | Axel Simon, Andy King |
| 2007 | Compositional Verification and 3-Valued Abstractions Join Forces. | Sharon Shoham, Orna Grumberg |
| 2007 | Program Analysis Using Symbolic Ranges. | Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta |
| 2007 | Magic-Sets Transformation for the Analysis of Java Bytecode. | tienne Payet, Fausto Spoto |
| 2007 | A Framework for End-to-End Verification and Evaluation of Register Allocators. | V. Krishna Nandivada, Fernando Magno Quinto Pereira, Jens Palsberg |
| 2007 | Programming Language Design and Analysis Motivated by Hardware Evolution. | Alan Mycroft |
| 2007 | Optimal Abstraction on Real-Valued Programs. | David Monniaux |
| 2007 | Semantics-Based Transformation of Arithmetic Expressions. | Matthieu Martel |
| 2007 | Precise Thread-Modular Verification. | Alexander Malkis, Andreas Podelski, Andrey Rybalchenko |
| 2007 | Arithmetic Strengthening for Shape Analysis. | Stephen Magill, Josh Berdine, Edmund M. Clarke, Byron Cook |
| 2007 | Accelerated Data-Flow Analysis. | Jrme Leroux, Grgoire Sutre |
| 2007 | Abstract Error Projection. | Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili |
| 2007 | Hierarchical Pointer Analysis for Distributed Programs. | Amir Kamil, Katherine A. Yelick |
| 2007 | Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis. | Ben Hardekopf, Calvin Lin |
| 2007 | Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic. | Eric Goubault, Sylvie Putot |
| 2007 | Guided Static Analysis. | Denis Gopan, Thomas W. Reps |
| 2007 | Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification. | Tristan Le Gall, Bertrand Jeannet |
| 2007 | Astre: From Research to Industry. | David Delmas, Jean Souyris |
| 2007 | Fixpoint-Guided Abstraction Refinements. | Patrick Cousot, Pierre Ganty, Jean-Franois Raskin |
| 2007 | A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages. | Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen |
| 2007 | Shape Analysis with Structural Invariant Checkers. | Bor-Yuh Evan Chang, Xavier Rival, George C. Necula |