| 2009 | Increasing the Scope and Resolution of Interprocedural Static Single Assignment. | Silvian Calman, Jianwen Zhu |
| 2009 | Proving the Correctness of the Implementation of a Control-Command Algorithm. | Olivier Bouissou |
| 2009 | Algorithmic Program Synthesis with Partial Programs and Decision Procedures. | Rastislav Bodk |
| 2008 | Splitting the Control Flow with Boolean Flags. | Axel Simon |
| 2008 | Analysing All Polynomial Equations in . | Helmut Seidl, Andrea Flexeder, Michael Petter |
| 2008 | Typing Linear Constraints for Moding CLP() Programs. | Salvatore Ruggieri, Frdric Mesnard |
| 2008 | Protocol Inference Using Static Path Profiles. | Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan |
| 2008 | Hiding Software Watermarks in Loop Structures. | Mila Dalla Preda, Roberto Giacobazzi, Enrico Visentini |
| 2008 | Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA. | Prakash Prabhu, Priti Shankar |
| 2008 | Reasoning about Control Flow in the Presence of Transient Faults. | Frances Perry, David Walker |
| 2008 | Quantum Entanglement Analysis Based on Abstract Interpretation. | Simon Perdrix |
| 2008 | Modal Abstractions of Concurrent Behaviour. | Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson |
| 2008 | A Calculational Approach to Control-Flow Analysis by Abstract Interpretation. | Jan Midtgaard, Thomas P. Jensen |
| 2008 | Heap Decomposition for Concurrent Shape Analysis. | Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine |
| 2008 | Reflections on the Role of Static Analysis in Cooperative Bug Isolation. | Ben Liblit |
| 2008 | Convex Hull of Arithmetic Automata. | Jrme Leroux |
| 2008 | Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors. | Peter Lammich, Markus Mller-Olm |
| 2008 | Solving Multiple Dataflow Queries Using WPDSs. | Akash Lal, Thomas W. Reps |
| 2008 | Language Strength Reduction. | Nicholas Kidd, Akash Lal, Thomas W. Reps |
| 2008 | Flow Analysis, Linearity, and PTIME. | David Van Horn, Harry G. Mairson |
| 2008 | Transforming Abstract Interpretations by Abstract Interpretation. | Roberto Giacobazzi, Isabella Mastroeni |
| 2008 | Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. | Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark W. Barrett |
| 2008 | On Polymorphic Recursion, Type Systems, and Abstract Interpretation. | Marco Comini, Ferruccio Damiani, Samuel Vrech |
| 2008 | Relational Analysis of Correlation. | Jrg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard |
| 2008 | SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. | Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, Aarti Gupta |