| 2007 | A semantics-based approach to malware detection. | Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray |
| 2007 | Dynamic heap type inference for program understanding and debugging. | Marina Polishchuk, Ben Liblit, Chlo W. Schulze |
| 2007 | Generative unbinding of names. | Andrew M. Pitts, Mark R. Shinwell |
| 2007 | Lazy multivariate higher-order forward-mode AD. | Barak A. Pearlmutter, Jeffrey Mark Siskind |
| 2007 | Modular verification of a non-blocking stack. | Matthew J. Parkinson, Richard Bornat, Peter W. O'Hearn |
| 2007 | Lightweight fusion by fixed point promotion. | Atsushi Ohori, Isao Sasano |
| 2007 | Conditional must not aliasing for static race detection. | Mayur Naik, Alex Aiken |
| 2007 | Advanced programming language design in enterprise software: a lambda-calculus theorist wanders into a datacenter. | Chet Murthy |
| 2007 | Logic-flow analysis of higher-order programs. | Matthew Might |
| 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. Fernndez, Artem Gleyzer |
| 2007 | Assessing security threats of looping constructs. | Pasquale Malacaria |
| 2007 | Implementing deterministic declarative concurrency using sieves. | Sam Lindley |
| 2007 | Towards a mechanized metatheory of standard ML. | Daniel K. Lee, Karl Crary, Robert Harper |
| 2007 | A concurrent constraint handling rules implementation in Haskell with software transactional memory. | Edmund S. L. Lam, Martin Sulzmann |
| 2007 | Scrap your boilerplate with XPath-like combinators. | Ralf Lmmel |
| 2007 | On the analysis of interacting pushdown systems. | Vineet Kahlon, Aarti Gupta |
| 2007 | Cork: dynamic memory leak detection for garbage-collected languages. | Maria Jump, Kathryn S. McKinley |
| 2007 | Interprocedural analysis of asynchronous programs. | Ranjit Jhala, Rupak Majumdar |
| 2007 | Automatic granularity-aware parallelization of programs with predicates, functions, and constraints: invited talk. | Manuel V. Hermenegildo |
| 2007 | A proposal for parallel self-adjusting computation. | Matthew A. Hammer, Umut A. Acar, Mohan Rajagopalan, Anwar M. Ghuloum |
| 2007 | Program verification as probabilistic inference. | Sumit Gulwani, Nebojsa Jojic |
| 2007 | SAC: off-the-shelf support for data-parallelism on multicores. | Clemens Grelck, Sven-Bodo Scholz |
| 2007 | Compositional dynamic test generation. | Patrice Godefroid |
| 2007 | Geometry of synthesis: a structured approach to VLSI design. | Dan R. Ghica |