| 2007 | A certified type-preserving compiler from lambda calculus to assembly language. Adam Chlipala |
| 2007 | A general framework for certifying garbage collectors and their mutators. Andrew McCreight, Zhong Shao, Chunxiao Lin, Long Li |
| 2007 | Automatic inference of optimizer flow functions from semantic meanings. Erika Rice Scherpelz, Sorin Lerner, Craig Chambers |
| 2007 | Automatic inversion generates divide-and-conquer parallel programs. Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
| 2007 | Automatically classifying benign and harmful data racesallusing replay analysis. Satish Narayanasamy, Zhenghao Wang, Jordan Tigani, Andrew Edwards, Brad Calder |
| 2007 | CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky |
| 2007 | Certified self-modifying code. Hongxu Cai, Zhong Shao, Alexander Vaynberg |
| 2007 | CheckFence: checking consistency of concurrent data types on relaxed memory models. Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin |
| 2007 | Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives. Peng Li, Steve Zdancewic |
| 2007 | DITTO: automatic incrementalization of data structure invariant checks (in Java). Ajeet Shankar, Rastislav Bodík |
| 2007 | EXOCHI: architecture and programming environment for a heterogeneous multi-core multithreaded system. Perry H. Wang, Jamison D. Collins, Gautham N. Chinya, Hong Jiang, Xinmin Tian, Milind Girkar, Nick Y. Yang, Guei-Yuan Lueh, Hong Wang |
| 2007 | Effective automatic parallelization of stencil computations. Sriram Krishnamoorthy, Muthu Manikandan Baskaran, Uday Bondhugula, J. Ramanujam, Atanas Rountev, P. Sadayappan |
| 2007 | Efficient static analysis of XML paths and types. Pierre Genevès, Nabil Layaïda, Alan Schmitt |
| 2007 | Enforcing isolation and ordering in STM. Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha |
| 2007 | Exterminator: automatically correcting memory errors with high probability. Gene Novark, Emery D. Berger, Benjamin G. Zorn |
| 2007 | Fault-tolerant typed assembly language. Frances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker |
| 2007 | Goldilocks: a race and transaction-aware java runtime. Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
| 2007 | Improved error reporting for software that uses black-box components. Jungwoo Ha, Christopher J. Rossbach, Jason V. Davis, Indrajit Roy, Hany E. Ramadan, Donald E. Porter, David L. Chen, Emmett Witchel |
| 2007 | Iterative context bounding for systematic testing of multithreaded programs. Madanlal Musuvathi, Shaz Qadeer |
| 2007 | Mace: language support for building distributed systems. Charles Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, Amin Vahdat |
| 2007 | Making context-sensitive points-to analysis with heap cloning practical for the real world. Chris Lattner, Andrew Lenharth, Vikram S. Adve |
| 2007 | Offline compression for on-chip ram. Nathan Cooprider, John Regehr |
| 2007 | Online optimizations driven by hardware performance monitoring. Florian T. Schneider, Mathias Payer, Thomas R. Gross |
| 2007 | Optimistic parallelism requires abstractions. Milind Kulkarni, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, L. Paul Chew |
| 2007 | Parameterized tiled loops for free. Lakshminarayanan Renganarayanan, DaeGon Kim, Sanjay V. Rajopadhye, Michelle Mills Strout |
| 2007 | Path invariants. Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko |
| 2007 | Practical memory leak detection using guarded value-flow analysis. Sigmund Cherem, Lonnie Princehouse, Radu Rugina |
| 2007 | Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007 Jeanne Ferrante, Kathryn S. McKinley |
| 2007 | Profile-driven energy reduction in network-on-chips. Feihui Li, Guangyu Chen, Mahmut T. Kandemir, Ibrahim Kolcu |
| 2007 | Proving thread termination. Byron Cook, Andreas Podelski, Andrey Rybalchenko |
| 2007 | Regularly annotated set constraints. John Kodumal, Alex Aiken |
| 2007 | Reliable and efficient programming abstractions for wireless sensor networks. Nupur Kothari, Ramakrishna Gummadi, Todd D. Millstein, Ramesh Govindan |
| 2007 | Searching for type-error messages. Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers |
| 2007 | Shape analysis with inductive recursion synthesis. Bolei Guo, Neil Vachharajani, David I. August |
| 2007 | Sketching stencils. Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia |
| 2007 | Software behavior oriented parallelization. Chen Ding, Xipeng Shen, Kirk Kelsey, Chris Tice, Ruke Huang, Chengliang Zhang |
| 2007 | Sound and precise analysis of web applications for injection vulnerabilities. Gary Wassermann, Zhendong Su |
| 2007 | Static error detection using semantic inconsistency inference. Isil Dillig, Thomas Dillig, Alex Aiken |
| 2007 | Static specification inference using predicate mining. Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan |
| 2007 | The ExoVM system for automatic VM and application reduction. Ben L. Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg |
| 2007 | The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code. Ben Hardekopf, Calvin Lin |
| 2007 | Thin slicing. Manu Sridharan, Stephen J. Fink, Rastislav Bodík |
| 2007 | Thread-modular shape analysis. Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv |
| 2007 | Towards locating execution omission errors. Xiangyu Zhang, Sriraman Tallam, Neelam Gupta, Rajiv Gupta |
| 2007 | UCC: update-conscious compilation for energy efficiency in wireless sensor networks. Weijia Li, Youtao Zhang, Jun Yang, Jiang Zheng |
| 2007 | Valgrind: a framework for heavyweight dynamic binary instrumentation. Nicholas Nethercote, Julian Seward |