| 2008 | A Flow-Sensitive Region Inference for CLI. | Alexandru Stefan, Florin Craciun, Wei-Ngan Chin |
| 2008 | Sound and Complete Type Inference for a Systems Programming Language. | Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith |
| 2008 | An Operational Semantics for JavaScript. | Sergio Maffeis, John C. Mitchell, Ankur Taly |
| 2008 | Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. | Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid |
| 2008 | JavaScript Instrumentation in Practice. | Haruka Kikuchi, Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov |
| 2008 | Harnessing the Multicores: Nested Data Parallelism in Haskell. | Simon L. Peyton Jones |
| 2008 | From Authorization Logics to Types for Authorization. | Radha Jagadeesan |
| 2008 | Reasoning about Java's Reentrant Locks. | Christian Haack, Marieke Huisman, Clment Hurlin |
| 2008 | Abductive Inference for Reasoning about Heaps. | Dino Distefano |
| 2008 | The Essence of Form Abstraction. | Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop |
| 2008 | Abstraction of Clocks in Synchronous Data-Flow Systems. | Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet |
| 2008 | Minimal Ownership for Active Objects. | Dave Clarke, Tobias Wrigstad, Johan stlund, Einar Broch Johnsen |
| 2008 | A Sound Floating-Point Polyhedra Abstract Domain. | Liqian Chen, Antoine Min, Patrick Cousot |
| 2008 | Game Characterizations of Process Equivalences. | Xin Chen, Yuxin Deng |
| 2008 | The Complexity of Coverage. | Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar |
| 2008 | Exception Handlers as Extensible Cases. | Matthias Blume, Umut A. Acar, Wonseok Chae |
| 2008 | Certified Reasoning in Memory Hierarchies. | Gilles Barthe, Csar Kunz, Jorge Luis Sacchini |
| 2008 | Extensional Universal Types for Call-by-Value. | Kazuyuki Asada |
| 2008 | On Affine Usages in Signal-Based Communication. | Roberto M. Amadio, Mehdi Dogguy |
| 2008 | Static Detection of Place Locality and Elimination of Runtime Checks. | Shivali Agarwal, Rajkishore Barik, V. Krishna Nandivada, R. K. Shyamasundar, Pradeep Varma |
| 2007 | A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics. | Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai |
| 2007 | More Typed Assembly Languages for Confidentiality. | Dachuan Yu |
| 2007 | A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract. | Alwen Tiu |
| 2007 | The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification. | Paritosh Shroff, Christian Skalka, Scott F. Smith |
| 2007 | X10: Concurrent Programming for Modern Architectures. | Vijay A. Saraswat |