| 2003 | Transforming interpreters into inverse interpreters by partial evaluation. | Robert Glck, Youhei Kawada, Takuya Hashimoto |
| 2003 | Extending sized type with collection analysis. | Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu |
| 2003 | Implementing typeful program transformations. | Chiyan Chen, Hongwei Xi |
| 2003 | Storeless semantics and alias logic. | Marius Bozga, Radu Iosif, Yassine Lakhnech |
| 2003 | CodeBricks: code fragments as building blocks. | Giuseppe Attardi, Antonio Cisternino, Andrew Kennedy |
| 2003 | Slicing java programs that throw and catch exceptions. | Matthew Allen, Susan Horwitz |
| 2003 | Fast partial evaluation of pattern matching in strings. | Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde |
| 2002 | Compiling real time functional reactive programming. | Dana N. Xu, Siau-Cheng Khoo |
| 2002 | Unifying object-oriented programming with typed functional programming. | Hongwei Xi |
| 2002 | Using circular programs to deforest in accumulating parameters. | Janis Voigtlnder |
| 2002 | Cost-augmented narrowing-driven specialization. | Germn Vidal |
| 2002 | Search-based binding time analysis using type-directed pruning. | Tim Sheard, Nathan Linger |
| 2002 | From checking to inference via driving and dag grammars. | Jens P. Secher, Morten Heine Srensen |
| 2002 | Mixed-initiative interaction = mixed computation. | Naren Ramakrishnan, Robert Capra, Manuel A. Prez-Quiones |
| 2002 | Using indexed data structures for program specialization. | Jung Gyu Park, Myong-Soon Park |
| 2002 | A note on elimination of simplest recursions. | Andrei P. Nemytykh |
| 2002 | Towards bridging the gap between programming languages and partial evaluation. | Anne-Franoise Le Meur, Julia L. Lawall, Charles Consel |
| 2002 | Path dependent analysis of logic programs. | Lunjin Lu |
| 2002 | Principal type specialisation. | Pablo E. Martnez Lpez, John Hughes |
| 2002 | Program optimization using indexed and recursive data structures. | Yanhong A. Liu, Scott D. Stoller |
| 2002 | Output-constraint specialization. | Siau-Cheng Khoo, Kun Shi |
| 2002 | A new type system for JVM lock primitives. | Futoshi Iwama, Naoki Kobayashi |
| 2002 | Aliasing analysis for a million lines of C. | Nevin Heintze |
| 2002 | Automatic time-bound analysis for a higher-order language. | Gustavo Gomez, Yanhong A. Liu |
| 2002 | Jones optimality, binding-time improvements, and the strength of program specializers. | Robert Glck |