| 2004 | A Uniform Reduction Equivalence for Process Calculi. | Zining Cao |
| 2004 | D-Fusion: A Distinctive Fusion Calculus. | Michele Boreale, Maria Grazia Buscemi, Ugo Montanari |
| 2004 | Automatic Generation of Editors for Higher-Order Data Structures. | Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden |
| 2004 | A Concurrent System of Multi-ported Processes with Causal Dependency. | Tatsuya Abe |
| 2003 | A Typeful and Tagless Representation for XML Documents. | Dengping Zhu, Hongwei Xi |
| 2003 | On a Method of Global Optimization. | Wen-tsun Wu |
| 2003 | Using Locality of Flow in Dataflow Analyses. | D. V. Ravindra |
| 2003 | Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations. | Tomoharu Ugawa, Nobuhisa Minagawa, Tsuneyasu Komiya, Masahiro Yasugi, Taiichi Yuasa |
| 2003 | Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver. | Vincent Simonet |
| 2003 | Automatic Construction of Hoare Proofs from Abstract Interpretation Results. | Sunae Seo, Hongseok Yang, Kwangkeun Yi |
| 2003 | Executing Verified Compiler Specification. | Koji Okuma, Yasuhiko Minamide |
| 2003 | Correctness of a Higher-Order Removal Transformation through a Relational Reasoning. | Susumu Nishimura |
| 2003 | Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion. | Shin-Cheng Mu, Richard S. Bird |
| 2003 | Dataflow Pointcut in Aspect-Oriented Programming. | Hidehiko Masuhara, Kazunori Kawauchi |
| 2003 | Resource Usage Verification. | Kim Marriott, Peter J. Stuckey, Martin Sulzmann |
| 2003 | Expressive Synchronization Types for Inheritance in the Join Calculus. | Qin Ma, Luc Maranget |
| 2003 | Translating a Continuous-Time Temporal Logic into Timed Automata. | Guangyuan Li, Zhisong Tang |
| 2003 | Useless Code Elimination and Programm Slicing for the Pi-Calculus. | Naoki Kobayashi |
| 2003 | Register Allocation Based on a Reference Flow Analysis. | Dae-Hwan Kim, Hyuk-Jae Lee |
| 2003 | Scrap Your Boilerplate. | Simon L. Peyton Jones, Ralf Lmmel |
| 2003 | Constraint Functional Logic Programming for Origami Construction. | Tetsuo Ida, Mircea Marin, Hidekazu Takahashi |
| 2003 | Continutation Semantics for Parallel Haskell Dialects. | Mercedes Hidalgo-Herrero, Yolanda Ortega-Malln |
| 2003 | Model Checking: From Hardware to Software. | Thomas A. Henzinger |
| 2003 | A Program Inverter for a Functional Language with Equality and Constructors. | Robert Glck, Masahiko Kawabe |
| 2003 | Controlling and Optimizing the Usage of One Resource. | Antoine Galland, Mathieu Baudet |