Program Co-Chairs' Message (PDF)
Conference Organizers and Steering Committee (PDF)
Reviewers (PDF)
Invited Lecture (PDF)
Transactions for Java (Abstract)
Breaking Abstractions and Unstructuring Data Structures (Abstract)
Using Reflexivity to Interface with CORBA (Abstract)
Design and Implementation of Triveni: a Process-algebraic API for Threads + Events (Abstract)
Distributed Computations Driven by Resource Consumption (Abstract)
Automatic Generation of Microarchitecture Simulators (Abstract)
Microprocessor Specification in Hawk (Abstract)
The Template and Multiple Inheritance Approach into Attribute Grammars (Abstract)
Combining Functional and Object-oriented Programming Methodologies in a Large Commercial Application (Abstract)
Invited Lecture (PDF)
Modular Compilers Based on Monad Transformers (Abstract)
Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study (Abstract)
Parallelization via Context Preservatio (Abstract)
Type Reconstruction for Syntactic Control of Interference, Part 2 (Abstract)
An Operational Semantics for Probabilistic Concurrent Constraint Programming (Abstract)
A Conservative Technique to Improve Deterministic Evaluation of Logic Programs (Abstract)
Invited Lecture (PDF)
Path Profile Guided Partial Redundancy Elimination Using Speculation (Abstract)
An Infrastructure for Profile-Driven Dynamic Recompilation (Abstract)
Formal Callability and its Relevance and Application to Interprocedural Data-flow Analysis (Abstract)
Loop optimization for aggregate array computations (Abstract)
Data Flow Analysis Across Tuplespace Process Boundaries (Abstract)
Author Index (PDF)