| 2007 | Streamflex: high-throughput stream programming in java. | Jesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek |
| 2007 | The popularity cycle of graphical tools, UML, and libraries of associations. | Martin Soukup, Jiri Soukup |
| 2007 | CUTE: C++ unit testing easier. | Peter Sommerlad, Emanuel Graf |
| 2007 | Transactions with isolation and cooperation. | Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young |
| 2007 | Modular verification of higher-order methods with mandatory calls specified by model programs. | Steve M. Shaner, Gary T. Leavens, David A. Naumann |
| 2007 | Towards a framework for requirement change management in healthcare software applications. | Arash Shaban-Nejad, Volker Haarslev |
| 2007 | Component nextgen: a sound and expressive component framework for java. | James Sasitorn, Robert Cartwright |
| 2007 | Automatic support for model-driven specialization of object-oriented frameworks. | Andr L. Santos |
| 2007 | Introducing computer science with Project Hoshimi. | Javier Gonzalez Sanchez, Ramiro A. Berrelleza Perez, Maria Elena Chavez Echeagaray |
| 2007 | Theory-infected: or how i learned to stop worrying and love universal quantification. | David Saff |
| 2007 | From developer's head to developer tests: characterization, theories, and preventing one more bug. | David Saff |
| 2007 | Living in the comfort zone. | Martin C. Rinard |
| 2007 | Using early phase termination to eliminate load imbalances at barrier synchronization points. | Martin C. Rinard |
| 2007 | PowerPoint and complexity. | Michael A. Richmond |
| 2007 | OOMatch: pattern matching as dispatch in Java. | Adam Richard, Ondrej Lhotk |
| 2007 | Ready for distribution?: turning modular into distributed applications with the R-OSGi deployment tool. | Jan S. Rellermeyer, Gustavo Alonso, Timothy Roscoe |
| 2007 | Second life: the world's biggest programming environment. | Jim Purbrick, Mark Lentczner |
| 2007 | Finding bugs in eclipse. | William W. Pugh |
| 2007 | Scalable omniscient debugging. | Guillaume Pothier, ric Tanter, Jos M. Piquer |
| 2007 | Structured co-evolution of models and web application platforms. | Adam Pingel |
| 2007 | Software speculative multithreading for Java. | Christopher J. F. Pickett |
| 2007 | IAnticorruption: a domain-driven design approach to more robust integration. | Sam Peng, Ying Hu |
| 2007 | Precise software documentation: making object-orientation work better. | David Lorge Parnas |
| 2007 | Compile-time type-checking for custom type qualifiers in Java. | Matthew M. Papi, Michael D. Ernst |
| 2007 | Compile-time type-checking for custom type qualifiers in Java. | Matthew M. Papi, Michael D. Ernst |