| 2007 | A complete, co-inductive syntactic theory of sequential control and state. Kristian Støvring, Søren B. Lassen |
| 2007 | A semantics-based approach to malware detection. Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray |
| 2007 | A typed intermediate language for compiling multiple inheritance. Juan Chen |
| 2007 | A very modal model of a modern, major, general type system. Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, Jérôme Vouillon |
| 2007 | Advanced programming language design in enterprise software: a lambda-calculus theorist wanders into a datacenter. Chet Murthy |
| 2007 | Assessing security threats of looping constructs. Pasquale Malacaria |
| 2007 | Compositional dynamic test generation. Patrice Godefroid |
| 2007 | Conditional must not aliasing for static race detection. Mayur Naik, Alex Aiken |
| 2007 | Context logic as modal logic: completeness and parametric inexpressivity. Cristiano Calcagno, Philippa Gardner, Uri Zarfaty |
| 2007 | Cork: dynamic memory leak detection for garbage-collected languages. Maria Jump, Kathryn S. McKinley |
| 2007 | Dynamic heap type inference for program understanding and debugging. Marina Polishchuk, Ben Liblit, Chloë W. Schulze |
| 2007 | Extracting queries by static analysis of transparent persistence. Ben Wiedermann, William R. Cook |
| 2007 | First-class nonstandard interpretations by opening closures. Jeffrey Mark Siskind, Barak A. Pearlmutter |
| 2007 | From implementation to theory in product synthesis. Don S. Batory |
| 2007 | Generative unbinding of names. Andrew M. Pitts, Mark R. Shinwell |
| 2007 | Geometry of synthesis: a structured approach to VLSI design. Dan R. Ghica |
| 2007 | Interprocedural analysis of asynchronous programs. Ranjit Jhala, Rupak Majumdar |
| 2007 | JavaScript instrumentation for browser security. Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov |
| 2007 | Lazy multivariate higher-order forward-mode AD. Barak A. Pearlmutter, Jeffrey Mark Siskind |
| 2007 | Lightweight fusion by fixed point promotion. Atsushi Ohori, Isao Sasano |
| 2007 | Locality approximation using time. Xipeng Shen, Jonathan Shaw, Brian Meeker, Chen Ding |
| 2007 | Lock allocation. Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar |
| 2007 | Logic-flow analysis of higher-order programs. Matthew Might |
| 2007 | Modular type classes. Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller |
| 2007 | Modular verification of a non-blocking stack. Matthew J. Parkinson, Richard Bornat, Peter W. O'Hearn |
| 2007 | On the analysis of interacting pushdown systems. Vineet Kahlon, Aarti Gupta |
| 2007 | Operational semantics for multi-language programs. Jacob Matthews, Robert Bruce Findler |
| 2007 | PADS/ML: a functional data description language. Yitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary F. Fernández, Artem Gleyzer |
| 2007 | Perl 6: reconciling the irreconcilable. Audrey Tang |
| 2007 | Preferential path profiling: compactly numbering interesting paths. Kapil Vaswani, Aditya V. Nori, Trishul M. Chilimbi |
| 2007 | Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007 Martin Hofmann, Matthias Felleisen |
| 2007 | Program verification as probabilistic inference. Sumit Gulwani, Nebojsa Jojic |
| 2007 | Proving that programs eventually do something good. Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi |
| 2007 | Scrap your boilerplate with XPath-like combinators. Ralf Lämmel |
| 2007 | Secure implementations of typed channel abstractions. Michele Bugliesi, Marco Giunti |
| 2007 | Semantics of static pointcuts in aspectJ. Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere |
| 2007 | Specialization of CML message-passing primitives. John H. Reppy, Yingqi Xiao |
| 2007 | Towards a mechanized metatheory of standard ML. Daniel K. Lee, Karl Crary, Robert Harper |
| 2007 | Types, bytes, and separation logic. Harvey Tuch, Gerwin Klein, Michael Norrish |
| 2007 | Variance analyses from invariance analyses. Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn |