| 2004 | Exploiting Java Objects Behavior for Memory Management and Optimizations. | Zoe C. H. Yu, Francis C. M. Lau, Cho-Li Wang |
| 2004 | PType System: A Featherweight Parallelizability Detector. | Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu |
| 2004 | Concurrency Combinators for Declarative Synchronization. | Pawel T. Wojciechowski |
| 2004 | History Effects and Verification. | Christian Skalka, Scott F. Smith |
| 2004 | Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk). | Frank Pfenning |
| 2004 | The Scala Experiment - Can We Provide Better Language Support for Component Systems? | Martin Odersky |
| 2004 | Protocol Specialization. | Matthias Neubauer, Peter Thiemann |
| 2004 | A Functional Language for Logarithmic Space. | Peter Mller Neergaard |
| 2004 | An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors. | Keisuke Nakano |
| 2004 | Region-Based Memory Management for a Dynamically-Typed Language. | Akihito Nagata, Naoki Kobayashi, Akinori Yonezawa |
| 2004 | An Algebraic Approach to Bi-directional Updating. | Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi |
| 2004 | Controlled Declassification Based on Intransitive Noninterference. | Heiko Mantel, David Sands |
| 2004 | An Implementation of Subtyping Among Regular Expression Types. | Kenny Zhuo Ming Lu, Martin Sulzmann |
| 2004 | Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story. | Tobias Lindahl, Konstantinos Sagonas |
| 2004 | Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type. | Koichi Kodama, Kohei Suenaga, Naoki Kobayashi |
| 2004 | A MATLAB-Based Code Generator for Sparse Matrix Computations. | Hideyuki Kawabata, Mutsumi Suzuki, Toshiaki Kitamura |
| 2004 | McJava - A Design and Implementation of Java with Mixin-Types. | Tetsuo Kamina, Tetsuo Tamai |
| 2004 | A CLP Approach to Modelling Systems. | Joxan Jaffar |
| 2004 | Formal Design and Verification of Real-Time Embedded Software. | Pao-Ann Hsiung, Shang-Wei Lin |
| 2004 | A Relational Model for Object-Oriented Designs. | Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin |
| 2004 | Free S-Monoids: A Higher-Order Syntax with Metavariables. | Makoto Hamana |
| 2004 | Build, Augment and Destroy, Universally. | Neil Ghani, Tarmo Uustalu, Varmo Vene |
| 2004 | Network Fusion. | Pascal Fradet, Stphane Hong Tuan Ha |
| 2004 | Pointcuts as Functional Queries. | Michael Eichberg, Mira Mezini, Klaus Ostermann |
| 2004 | A Type Theory for Krivine-Style Evaluation and Compilation. | Kwanghoon Choi, Atsushi Ohori |