| 2003 | Abstract specialization and its applications. Germán Puebla, Manuel V. Hermenegildo |
| 2003 | CodeBricks: code fragments as building blocks. Giuseppe Attardi, Antonio Cisternino, Andrew Kennedy |
| 2003 | Extending sized type with collection analysis. Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu |
| 2003 | Fast partial evaluation of pattern matching in strings. Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde |
| 2003 | Implementing typeful program transformations. Chiyan Chen, Hongwei Xi |
| 2003 | Optimizing Ackermann's function by incrementalization. Yanhong A. Liu, Scott D. Stoller |
| 2003 | Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003 Michael Leuschel |
| 2003 | Slicing and partial evaluation of CORBA component model designs for avionics system. John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby |
| 2003 | Slicing java programs that throw and catch exceptions. Matthew Allen, Susan Horwitz |
| 2003 | Storeless semantics and alias logic. Marius Bozga, Radu Iosif, Yassine Lakhnech |
| 2003 | Transforming interpreters into inverse interpreters by partial evaluation. Robert Glück, Youhei Kawada, Takuya Hashimoto |