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