| 2003 | A Differential Fixpoint Evaluation Framework for Non-distributive Systems. Joonseon Ahn, Yong Jin Kwon |
| 2003 | A Program Inverter for a Functional Language with Equality and Constructors. Robert Glück, Masahiko Kawabe |
| 2003 | A Typeful and Tagless Representation for XML Documents. Dengping Zhu, Hongwei Xi |
| 2003 | Affine-Based Size-Change Termination. Hugh Anderson, Siau-Cheng Khoo |
| 2003 | Automatic Construction of Hoare Proofs from Abstract Interpretation Results. Sunae Seo, Hongseok Yang, Kwangkeun Yi |
| 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-Mallén |
| 2003 | Controlling and Optimizing the Usage of One Resource. Antoine Galland, Mathieu Baudet |
| 2003 | Correctness of a Higher-Order Removal Transformation through a Relational Reasoning. Susumu Nishimura |
| 2003 | Dataflow Pointcut in Aspect-Oriented Programming. Hidehiko Masuhara, Kazunori Kawauchi |
| 2003 | Executing Verified Compiler Specification. Koji Okuma, Yasuhiko Minamide |
| 2003 | Expressive Synchronization Types for Inheritance in the Join Calculus. Qin Ma, Luc Maranget |
| 2003 | Extensional Polymorphism by Flow Graph Dispatching. Jun Furuse |
| 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 | Model Checking: From Hardware to Software. Thomas A. Henzinger |
| 2003 | Observing Asymmetry and Mismatch. Xiaoju Dong, Yuxi Fu |
| 2003 | On a Method of Global Optimization. Wen-tsun Wu |
| 2003 | Programming Languages and Systems, First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings Atsushi Ohori |
| 2003 | Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion. Shin-Cheng Mu, Richard S. Bird |
| 2003 | Register Allocation Based on a Reference Flow Analysis. Dae-Hwan Kim, Hyuk-Jae Lee |
| 2003 | Resource Usage Verification. Kim Marriott, Peter J. Stuckey, Martin Sulzmann |
| 2003 | Scrap Your Boilerplate. Simon L. Peyton Jones, Ralf Lämmel |
| 2003 | Term Graph Rewriting for the pi-Calculus. Fabio Gadducci |
| 2003 | The Semantic Layers of Timber. Magnus Carlsson, Johan Nordlander, Dick Kieburtz |
| 2003 | Translating a Continuous-Time Temporal Logic into Timed Automata. Guangyuan Li, Zhisong Tang |
| 2003 | Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver. Vincent Simonet |
| 2003 | Useless Code Elimination and Programm Slicing for the Pi-Calculus. Naoki Kobayashi |
| 2003 | Using Locality of Flow in Dataflow Analyses. D. V. Ravindra |