| 2008 | A tag-based approach for the design and composition of information processing applications. Eric Bouillet, Mark Feblowitz, Zhen Liu, Anand Ranganathan, Anton Riabov |
| 2008 | A theory of aspects as latent topics. Pierre Baldi, Cristina Videira Lopes, Erik Linstead, Sushil Krishna Bajracharya |
| 2008 | Analysis and reduction of memory inefficiencies in Java strings. Kiyokuni Kawachiya, Kazunori Ogata, Tamiya Onodera |
| 2008 | Analyzing the performance of code-copying virtual machines. Gregory B. Prokopski, Clark Verbrugge |
| 2008 | Annotation refactoring: inferring upgrade transformations for legacy applications. Wesley Tansey, Eli Tilevich |
| 2008 | Caching and incrementalisation in the java query language. Darren Willis, David J. Pearce, James Noble |
| 2008 | Constrained types for object-oriented languages. Nathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff |
| 2008 | Contention-aware scheduler: unlocking execution parallelism in multithreaded java programs. Feng Xian, Witawas Srisa-an, Hong Jiang |
| 2008 | Deep typechecking and refactoring. Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner |
| 2008 | Delegation-based semantics for modularizing crosscutting concerns. Hans Schippers, Dirk Janssens, Michael Haupt, Robert Hirschfeld |
| 2008 | Design and implementation of transactional constructs for C/C++. Yang Ni, Adam Welc, Ali-Reza Adl-Tabatabai, Moshe Bach, Sion Berkowits, James Cownie, Robert Geva, Sergey Kozhukow, Ravi Narayanaswamy, Jeffrey Olivier, Serguei Preis, Bratin Saha, Ady Tal, Xinmin Tian |
| 2008 | Designed as designer. Richard P. Gabriel |
| 2008 | Dynamic optimization for efficient strong atomicity. Florian T. Schneider, Vijay Menon, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai |
| 2008 | Efficient local type inference. Ben Bellamy, Pavel Avgustinov, Oege de Moor, Damien Sereni |
| 2008 | Efficient software model checking of soundness of type systems. Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati |
| 2008 | Enabling static analysis for partial java programs. Barthélémy Dagenais, Laurie J. Hendren |
| 2008 | Enforcing object protocols by combining static and runtime analysis. Madhu Gopinathan, Sriram K. Rajamani |
| 2008 | Generics of a higher kind. Adriaan Moors, Frank Piessens, Martin Odersky |
| 2008 | Interprocedural query extraction for transparent persistence. Ben Wiedermann, Ali Ibrahim, William R. Cook |
| 2008 | Java performance evaluation through rigorous replay compilation. Andy Georges, Lieven Eeckhout, Dries Buytaert |
| 2008 | Java type inference is broken: can we fix it? Daniel Smith, Robert Cartwright |
| 2008 | Join patterns for visual basic. Claudio V. Russo |
| 2008 | Jolt: lightweight dynamic analysis and removal of object churn. Ajeet Shankar, Matthew Arnold, Rastislav Bodík |
| 2008 | Mixing source and bytecode: a case for compilation by normalization. Lennart C. L. Kats, Martin Bravenboer, Eelco Visser |
| 2008 | Multiple dispatch in practice. Radu Muschevici, Alex Potanin, Ewan D. Tempero, James Noble |
| 2008 | Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA Gail E. Harris |
| 2008 | QVM: an efficient runtime for detecting defects in deployed systems. Matthew Arnold, Martin T. Vechev, Eran Yahav |
| 2008 | Safer unsafe code for .NET. Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich |
| 2008 | Sound and extensible renaming for java. Max Schäfer, Torbjörn Ekman, Oege de Moor |
| 2008 | The impact of static-dynamic coupling on remodularization. Rick Chern, Kris De Volder |
| 2008 | The visitor pattern as a reusable, generic, type-safe component. Bruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons |
| 2008 | Tolerating memory leaks. Michael D. Bond, Kathryn S. McKinley |
| 2008 | Towards adaptive programming: integrating reinforcement learning into a programming language. Christopher L. Simpkins, Sooraj Bhat, Charles Lee Isbell Jr., Michael Mateas |
| 2008 | Typestate-like analysis of multiple interacting objects. Nomair A. Naeem, Ondrej Lhoták |
| 2008 | Verifying correct usage of atomic blocks and typestate. Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich |
| 2008 | Whiteoak: introducing structural typing into java. Joseph Gil, Itay Maman |
| 2008 | jStar: towards practical verification for java. Dino Distefano, Matthew J. Parkinson |