| 2007 | Awesome: an aspect co-weaving system for composing multiple aspect-oriented extensions. Sergei Kojarski, David H. Lorenz |
| 2007 | Can programming be liberated from the two-level style: multi-level programming with deepjava. Thomas Kühne, Daniel Schreiber |
| 2007 | Component nextgen: a sound and expressive component framework for java. James Sasitorn, Robert Cartwright |
| 2007 | Confessions of a used programming language salesman. Erik Meijer |
| 2007 | Dependent classes. Vaidas Gasiunas, Mira Mezini, Klaus Ostermann |
| 2007 | Epi-aspects: aspect-oriented conscientious software. Sebastian Fleissner, Elisa L. A. Baniassad |
| 2007 | Establishing object invariants with delayed types. Manuel Fähndrich, Songtao Xia |
| 2007 | Ilea: inter-language analysis across java and c. Gang Tan, Greg Morrisett |
| 2007 | Inferring aliasing and encapsulation properties for java. Kin-Keung Ma, Jeffrey S. Foster |
| 2007 | Jeannie: granting java native interface developers their wishes. Martin Hirzel, Robert Grimm |
| 2007 | Living in the comfort zone. Martin C. Rinard |
| 2007 | Living it up with a live programming language. Sean McDirmid |
| 2007 | Lost in translation: formalizing proposed extensions to c#. Gavin M. Bierman, Erik Meijer, Mads Torgersen |
| 2007 | Making trace monitors feasible. Pavel Avgustinov, Julian Tibble, Oege de Moor |
| 2007 | Microphase: an approach to proactively invoking garbage collection for improved performance. Feng Xian, Witawas Srisa-an, Hong Jiang |
| 2007 | Modular typestate checking of aliased objects. Kevin Bierhoff, Jonathan Aldrich |
| 2007 | Modular verification of higher-order methods with mandatory calls specified by model programs. Steve M. Shaner, Gary T. Leavens, David A. Naumann |
| 2007 | Mop: an efficient and generic runtime verification framework. Feng Chen, Grigore Rosu |
| 2007 | Multiple ownership. Nicholas Robert Cameron, Sophia Drossopoulou, James Noble, Matthew J. Smith |
| 2007 | No ifs, ands, or buts: uncovering the simplicity of conditionals. Jonathan Edwards |
| 2007 | Notation and representation in collaborative object-oriented design: an observational study. Uri Dekel, James D. Herbsleb |
| 2007 | Ownership transfer in universe types. Peter Müller, Arsenii Rudich |
| 2007 | Probabilistic calling context. Michael D. Bond, Kathryn S. McKinley |
| 2007 | Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada Richard P. Gabriel, David F. Bacon, Cristina Videira Lopes, Guy L. Steele Jr. |
| 2007 | Scalable omniscient debugging. Guillaume Pothier, Éric Tanter, José M. Piquer |
| 2007 | Starc: static analysis for efficient repair of complex data. Bassem Elkarablieh, Sarfraz Khurshid, Duy Vu, Kathryn S. McKinley |
| 2007 | Statistically rigorous java performance evaluation. Andy Georges, Dries Buytaert, Lieven Eeckhout |
| 2007 | Streamflex: high-throughput stream programming in java. Jesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek |
| 2007 | The causes of bloat, the limits of health. Nick Mitchell, Gary Sevitsky |
| 2007 | The jastadd extensible java compiler. Torbjörn Ekman, Görel Hedin |
| 2007 | The java module system: core design and semantic definition. Rok Strnisa, Peter Sewell, Matthew J. Parkinson |
| 2007 | The transactional memory / garbage collection analogy. Dan Grossman |
| 2007 | Tracking bad apples: reporting the origin of null and undefined value errors. Michael D. Bond, Nicholas Nethercote, Stephen W. Kent, Samuel Z. Guyer, Kathryn S. McKinley |
| 2007 | Transactions with isolation and cooperation. Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young |
| 2007 | Type qualifier inference for java. David Greenfieldboyce, Jeffrey S. Foster |
| 2007 | User-changeable visibility: resolving unanticipated name clashes in traits. Stéphane Ducasse, Roel Wuyts, Alexandre Bergel, Oscar Nierstrasz |
| 2007 | Using early phase termination to eliminate load imbalances at barrier synchronization points. Martin C. Rinard |
| 2007 | Using hpm-sampling to drive dynamic compilation. Dries Buytaert, Andy Georges, Michael Hind, Matthew Arnold, Lieven Eeckhout, Koen De Bosschere |
| 2007 | Variant path types for scalable extensibility. Atsushi Igarashi, Mirko Viroli |
| 2007 | Webrb: evaluating a visual domain-specific language for building relational web-applications. Avraham Leff, James T. Rayfield |