| 2005 | A New Occurrence Counting Analysis for BioAmbients. Roberta Gori, Francesca Levi |
| 2005 | A Next-Generation Platform for Analyzing Executables. Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum |
| 2005 | A Parametric Model for the Analysis of Mobile Ambients. Dino Distefano |
| 2005 | A Path Sensitive Type System for Resource Usage Verification of C Like Languages. Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han |
| 2005 | A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting. Walter Binder |
| 2005 | A Simple Semantics for Polymorphic Recursion. William L. Harrison |
| 2005 | A Typed, Compositional Logic for a Stack-Based Abstract Machine. Nick Benton |
| 2005 | Abstract Dependences for Alarm Diagnosis. Xavier Rival |
| 2005 | An Abstract Interpretation Perspective on Linear vs. Branching Time. Francesco Ranzato, Francesco Tapparo |
| 2005 | Calculating Polynomial Runtime Properties. Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca |
| 2005 | Data Refinement with Low-Level Pointer Operations. Ivana Mijajlovic, Hongseok Yang |
| 2005 | Heterogeneous Fixed Points with Application to Points-To Analysis. Aditya Kanade, Uday P. Khedker, Amitabha Sanyal |
| 2005 | Integrating Physical Systems in the Static Analysis of Embedded Control Software. Patrick Cousot |
| 2005 | Lightweight Family Polymorphism. Atsushi Igarashi, Chieri Saito, Mirko Viroli |
| 2005 | Loop Invariants on Demand. K. Rustan M. Leino, Francesco Logozzo |
| 2005 | On the Rôle of Abstract Non-interference in Language-Based Security. Isabella Mastroeni |
| 2005 | Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings Kwangkeun Yi |
| 2005 | Race Conditions in Message Sequence Charts. Chien-An Chen, Sara Kalvala, Jane E. Sinclair |
| 2005 | Reflection Analysis for Java. V. Benjamin Livshits, John Whaley, Monica S. Lam |
| 2005 | Register Allocation Via Coloring of Chordal Graphs. Fernando Magno Quintão Pereira, Jens Palsberg |
| 2005 | Resource Bound Certification for a Tail-Recursive Virtual Machine. Silvano Dal-Zilio, Régis Gascon |
| 2005 | Symbolic Execution with Separation Logic. Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn |
| 2005 | Termination Analysis of Higher-Order Functional Programs. Damien Sereni, Neil D. Jones |
| 2005 | The Essence of Dataflow Programming. Tarmo Uustalu, Varmo Vene |
| 2005 | The Parallel Implementation of the Astrée Static Analyzer. David Monniaux |
| 2005 | Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis. Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor |
| 2005 | Type Systems for XML. Haruo Hosoya |
| 2005 | Using Datalog with Binary Decision Diagrams for Program Analysis. John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam |