| 2008 | A Calculational Approach to Control-Flow Analysis by Abstract Interpretation. Jan Midtgaard, Thomas P. Jensen |
| 2008 | Analysing All Polynomial Equations in . Helmut Seidl, Andrea Flexeder, Michael Petter |
| 2008 | Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla |
| 2008 | Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors. Peter Lammich, Markus Müller-Olm |
| 2008 | Convex Hull of Arithmetic Automata. Jérôme Leroux |
| 2008 | Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA. Prakash Prabhu, Priti Shankar |
| 2008 | Flow Analysis, Linearity, and PTIME. David Van Horn, Harry G. Mairson |
| 2008 | Heap Decomposition for Concurrent Shape Analysis. Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine |
| 2008 | Hiding Software Watermarks in Loop Structures. Mila Dalla Preda, Roberto Giacobazzi, Enrico Visentini |
| 2008 | Inferring Min and Max Invariants Using Max-Plus Polyhedra. Xavier Allamigeon, Stephane Gaubert, Eric Goubault |
| 2008 | Language Strength Reduction. Nicholas Kidd, Akash Lal, Thomas W. Reps |
| 2008 | Modal Abstractions of Concurrent Behaviour. Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson |
| 2008 | On Polymorphic Recursion, Type Systems, and Abstract Interpretation. Marco Comini, Ferruccio Damiani, Samuel Vrech |
| 2008 | Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark W. Barrett |
| 2008 | Protocol Inference Using Static Path Profiles. Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan |
| 2008 | Quantum Entanglement Analysis Based on Abstract Interpretation. Simon Perdrix |
| 2008 | Reasoning about Control Flow in the Presence of Transient Faults. Frances Perry, David Walker |
| 2008 | Reflections on the Role of Static Analysis in Cooperative Bug Isolation. Ben Liblit |
| 2008 | Relational Analysis of Correlation. Jörg 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 |
| 2008 | Solving Multiple Dataflow Queries Using WPDSs. Akash Lal, Thomas W. Reps |
| 2008 | Splitting the Control Flow with Boolean Flags. Axel Simon |
| 2008 | Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings María Alpuente, Germán Vidal |
| 2008 | Transforming Abstract Interpretations by Abstract Interpretation. Roberto Giacobazzi, Isabella Mastroeni |
| 2008 | Typing Linear Constraints for Moding CLP() Programs. Salvatore Ruggieri, Frédéric Mesnard |