| 2007 | UCC: update-conscious compilation for energy efficiency in wireless sensor networks. | Weijia Li, Youtao Zhang, Jun Yang, Jiang Zheng |
| 2007 | Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives. | Peng Li, Steve Zdancewic |
| 2007 | Using web application construction frameworks to protect against code injection attacks. | V. Benjamin Livshits, lfar Erlingsson |
| 2007 | Profile-driven energy reduction in network-on-chips. | Feihui Li, Guangyu Chen, Mahmut T. Kandemir, Ibrahim Kolcu |
| 2007 | Searching for type-error messages. | Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers |
| 2007 | Making context-sensitive points-to analysis with heap cloning practical for the real world. | Chris Lattner, Andrew Lenharth, Vikram S. Adve |
| 2007 | Optimistic parallelism requires abstractions. | Milind Kulkarni, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, L. Paul Chew |
| 2007 | Effective automatic parallelization of stencil computations. | Sriram Krishnamoorthy, Muthu Manikandan Baskaran, Uday Bondhugula, J. Ramanujam, Atanas Rountev, P. Sadayappan |
| 2007 | Reliable and efficient programming abstractions for wireless sensor networks. | Nupur Kothari, Ramakrishna Gummadi, Todd D. Millstein, Ramesh Govindan |
| 2007 | Regularly annotated set constraints. | John Kodumal, Alex Aiken |
| 2007 | Mace: language support for building distributed systems. | Charles Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, Amin Vahdat |
| 2007 | Jifclipse: development tools for security-typed languages. | Boniface Hicks, Dave King, Patrick D. McDaniel |
| 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 | The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code. | Ben Hardekopf, Calvin Lin |
| 2007 | Shape analysis with inductive recursion synthesis. | Bolei Guo, Neil Vachharajani, David I. August |
| 2007 | Thread-modular shape analysis. | Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv |
| 2007 | Efficient static analysis of XML paths and types. | Pierre Genevs, Nabil Layada, Alan Schmitt |
| 2007 | Goldilocks: a race and transaction-aware java runtime. | Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
| 2007 | Software behavior oriented parallelization. | Chen Ding, Xipeng Shen, Kirk Kelsey, Chris Tice, Ruke Huang, Chengliang Zhang |
| 2007 | Static error detection using semantic inconsistency inference. | Isil Dillig, Thomas Dillig, Alex Aiken |
| 2007 | Offline compression for on-chip ram. | Nathan Cooprider, John Regehr |
| 2007 | Proving thread termination. | Byron Cook, Andreas Podelski, Andrey Rybalchenko |
| 2007 | A certified type-preserving compiler from lambda calculus to assembly language. | Adam Chlipala |
| 2007 | Practical memory leak detection using guarded value-flow analysis. | Sigmund Cherem, Lonnie Princehouse, Radu Rugina |
| 2007 | Large-scale analysis of format string vulnerabilities in Debian Linux. | Karl Chen, David A. Wagner |