| 2008 | A Flow-Sensitive Region Inference for CLI. Alexandru Stefan, Florin Craciun, Wei-Ngan Chin |
| 2008 | A Sound Floating-Point Polyhedra Abstract Domain. Liqian Chen, Antoine Miné, Patrick Cousot |
| 2008 | Abductive Inference for Reasoning about Heaps. Dino Distefano |
| 2008 | Abstraction of Clocks in Synchronous Data-Flow Systems. Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet |
| 2008 | An Operational Semantics for JavaScript. Sergio Maffeis, John C. Mitchell, Ankur Taly |
| 2008 | Certified Reasoning in Memory Hierarchies. Gilles Barthe, César Kunz, Jorge luis Sacchini |
| 2008 | Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid |
| 2008 | Exception Handlers as Extensible Cases. Matthias Blume, Umut A. Acar, Wonseok Chae |
| 2008 | Extensional Universal Types for Call-by-Value. Kazuyuki Asada |
| 2008 | From Authorization Logics to Types for Authorization. Radha Jagadeesan |
| 2008 | Game Characterizations of Process Equivalences. Xin Chen, Yuxin Deng |
| 2008 | Harnessing the Multicores: Nested Data Parallelism in Haskell. Simon L. Peyton Jones |
| 2008 | Interface Types for Haskell. Peter Thiemann, Stefan Wehr |
| 2008 | JavaScript Instrumentation in Practice. Haruka Kikuchi, Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov |
| 2008 | ML Modules and Haskell Type Classes: A Constructive Comparison. Stefan Wehr, Manuel M. T. Chakravarty |
| 2008 | Minimal Ownership for Active Objects. Dave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen |
| 2008 | On Affine Usages in Signal-Based Communication. Roberto M. Amadio, Mehdi Dogguy |
| 2008 | Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings G. Ramalingam |
| 2008 | Reasoning about Java's Reentrant Locks. Christian Haack, Marieke Huisman, Clément Hurlin |
| 2008 | Sound and Complete Type Inference for a Systems Programming Language. Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith |
| 2008 | Static Detection of Place Locality and Elimination of Runtime Checks. Shivali Agarwal, Rajkishore Barik, V. Krishna Nandivada, R. K. Shyamasundar, Pradeep Varma |
| 2008 | The Complexity of Coverage. Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar |
| 2008 | The Essence of Form Abstraction. Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop |
| 2008 | Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References. Kohei Suenaga |