| 2002 | On Variance-Based Subtyping for Parametric Types. | Atsushi Igarashi, Mirko Viroli |
| 2002 | Difference-Based Modules: A Class-Independent Module Mechanism. | Yuuji Ichisugi, Akira Tanaka |
| 2002 | Atomic Instructions in Java. | David Hovemeyer, William W. Pugh, Jaime Spacco |
| 2002 | Type-Safe Method Inlining. | Neal Glew, Jens Palsberg |
| 2002 | Polychotomic Encoding: A Better Quasi-Optimal Bit-Vector Encoding of Tree Hierarchies. | Robert E. Filman |
| 2002 | Engineering Event-Based Systems with Scopes. | Ludger Fiege, Mira Mezini, Gero Mhl, Alejandro P. Buchmann |
| 2002 | Code Sharing among Virtual Machines. | Grzegorz Czajkowski, Laurent Dayns, Nathaniel Nystrom |
| 2002 | A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. | Yoonsik Cheon, Gary T. Leavens |
| 2002 | Lana: An Approach to Programming Autonomous Systems. | Ciarn Bryce, Chrislain Razafimahefa, Michel Pawlak |
| 2002 | Modern Concurrency Abstractions for C | Nick Benton, Luca Cardelli, Cdric Fournet |
| 2002 | Space- and Time-Efficient Implementation of the Java Object Model. | David F. Bacon, Stephen J. Fink, David Grove |
| 2002 | Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading. | Matthew Arnold, Barbara G. Ryder |
| 2002 | A Formal Framework for Java Separate Compilation. | Davide Ancona, Giovanni Lagorio, Elena Zucca |
| 2002 | Architectural Reasoning in ArchJava. | Jonathan Aldrich, Craig Chambers, David Notkin |
| 2002 | Behavioral Compatibility of Self-Typed Theories. | Suad Alagic, Svetlana Kouznetsova |
| 2001 | Precise Constraint-Based Type Inference for Java. | Tiejun Wang, Scott F. Smith |
| 2001 | A Bytecode Translator for Distributed Execution of "Legacy" Java Software. | Michiaki Tatsubori, Toshiyuki Sasaki, Shigeru Chiba, Kozo Itano |
| 2001 | The Optimistic Readers Transformation. | Robert E. Strom, Joshua S. Auerbach |
| 2001 | Features and Features Interactions in Software Engineering using Logic. | Ragnhild Van Der Straeten, Johan Brichau |
| 2001 | Predicting Feature Interactions in Component-Based Systems. | Judith A. Stafford, Kurt C. Wallnau |
| 2001 | Language, Objects, and Intentionality. | Charles Simonyi |
| 2001 | Feature Interaction and Composition Problems in Software Product Lines. | Silva Robak, Bogdan Franczyk |
| 2001 | A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests. | Olivier Raynaud, Eric Thierry |
| 2001 | Position Paper: Feature Interaction in Composed Systems. | Elke Pulvermller, Andreas Speck, James Coplien, Maja D'Hondt, Wolfgang De Meuter |
| 2001 | Distinctness and Sharing Domains for Static Analysis of Java Programs. | Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi |