| 2007 | Static and Dynamic Analysis: Better Together. | Sriram K. Rajamani |
| 2007 | Complete Lattices and Up-To Techniques. | Damien Pous |
| 2007 | A Systematic Approach to Probabilistic Pointer Analysis. | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
| 2007 | An Efficient SSA-Based Algorithm for Complete Global Value Numbering. | Jiu-Tao Nie, Xu Cheng |
| 2007 | Call-by-Value Is Dual to Call-by-Name, Extended. | Daisuke Kimura |
| 2007 | Type-Based Verification of Correspondence Assertions for Communication Protocols. | Daisuke Kikuchi, Naoki Kobayashi |
| 2007 | Call-by-Name and Call-by-Value in Normal Modal Logic. | Yoshihiko Kakutani |
| 2007 | The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer. | Neil D. Jones, Ren Rydhof Hansen |
| 2007 | Deriving Compilers and Virtual Machines for a Multi-level Language. | Atsushi Igarashi, Masashi Iwaki |
| 2007 | A Probabilistic Applied Pi-Calculus. | Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina |
| 2007 | Local Reasoning for Storable Locks and Threads. | Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv |
| 2007 | Translation Correctness for First-Order Object-Oriented Pattern Matching. | Burak Emir, Qin Ma, Martin Odersky |
| 2007 | Scalable Simulation of Cellular Signaling Networks. | Vincent Danos, Jrme Feret, Walter Fontana, Jean Krivine |
| 2007 | Monadic, Prompt Lazy Assertions in Haskell. | Olaf Chitil, Frank Huch |
| 2007 | Finally Tagless, Partially Evaluated. | Jacques Carette, Oleg Kiselyov, Chung-chieh Shan |
| 2007 | Adjunct Elimination in Context Logic for Trees. | Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner |
| 2007 | On a Tighter Integration of Functional and Logic Programming. | Bernd Brael, Frank Huch |
| 2007 | Persistent Oberon: A Programming Language with Integrated Persistence. | Luc Blser |
| 2007 | Timed, Distributed, Probabilistic, Typed Processes. | Martin Berger, Nobuko Yoshida |
| 2007 | Positive Arithmetic Without Exchange Is a Subclassical Logic. | Stefano Berardi, Makoto Tatsuta |
| 2007 | Polymorphic Delimited Continuations. | Kenichi Asai, Yukiyoshi Kameyama |
| 2007 | CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. | Jess Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia |
| 2007 | Mixed Inductive/Coinductive Types and Strong Normalization. | Andreas Abel |
| 2006 | Combining Offline and Online Optimizations: Register Allocation and Method Inlining. | Hiroshi Yamauchi, Jan Vitek |
| 2006 | Principal Type Inference for GHC-Style Multi-parameter Type Classes. | Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey |