| 2007 | A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics. Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai |
| 2007 | A Probabilistic Applied Pi-Calculus. Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina |
| 2007 | A Systematic Approach to Probabilistic Pointer Analysis. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
| 2007 | A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract. Alwen Tiu |
| 2007 | Adjunct Elimination in Context Logic for Trees. Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner |
| 2007 | An Efficient SSA-Based Algorithm for Complete Global Value Numbering. Jiu-Tao Nie, Xu Cheng |
| 2007 | CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia |
| 2007 | Call-by-Name and Call-by-Value in Normal Modal Logic. Yoshihiko Kakutani |
| 2007 | Call-by-Value Is Dual to Call-by-Name, Extended. Daisuke Kimura |
| 2007 | Complete Lattices and Up-To Techniques. Damien Pous |
| 2007 | Deriving Compilers and Virtual Machines for a Multi-level Language. Atsushi Igarashi, Masashi Iwaki |
| 2007 | Finally Tagless, Partially Evaluated. Jacques Carette, Oleg Kiselyov, Chung-chieh Shan |
| 2007 | Local Reasoning for Storable Locks and Threads. Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv |
| 2007 | Mixed Inductive/Coinductive Types and Strong Normalization. Andreas Abel |
| 2007 | Monadic, Prompt Lazy Assertions in Haskell. Olaf Chitil, Frank Huch |
| 2007 | More Typed Assembly Languages for Confidentiality. Dachuan Yu |
| 2007 | On a Tighter Integration of Functional and Logic Programming. Bernd Braßel, Frank Huch |
| 2007 | Persistent Oberon: A Programming Language with Integrated Persistence. Luc Bläser |
| 2007 | Polymorphic Delimited Continuations. Kenichi Asai, Yukiyoshi Kameyama |
| 2007 | Positive Arithmetic Without Exchange Is a Subclassical Logic. Stefano Berardi, Makoto Tatsuta |
| 2007 | Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings Zhong Shao |
| 2007 | Scalable Simulation of Cellular Signaling Networks. Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine |
| 2007 | Static and Dynamic Analysis: Better Together. Sriram K. Rajamani |
| 2007 | The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification. Paritosh Shroff, Christian Skalka, Scott F. Smith |
| 2007 | The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer. Neil D. Jones, René Rydhof Hansen |
| 2007 | Timed, Distributed, Probabilistic, Typed Processes. Martin Berger, Nobuko Yoshida |
| 2007 | Translation Correctness for First-Order Object-Oriented Pattern Matching. Burak Emir, Qin Ma, Martin Odersky |
| 2007 | Type-Based Verification of Correspondence Assertions for Communication Protocols. Daisuke Kikuchi, Naoki Kobayashi |
| 2007 | X10: Concurrent Programming for Modern Architectures. Vijay A. Saraswat |