12. CC 2003: Warsaw, Poland (Part of ETAPS 2003)

Görel Hedin (Ed.): Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Lecture Notes in Computer Science 2622 Springer 2003, ISBN 3-540-00904-3

Register Allocation

Neil Johnson, Alan Mycroft:
Combined Code Motion and Register Allocation Using the Value State Dependence Graph. 1-16
Sid Ahmed Ali Touati, Christine Eisenbeis:
Early Control of Register Pressure for Software Pipelined Loops. 17-32
Christian Andersson:
Register Allocation by Optimal Graph Coloring. 33-45

Language Constructs and Their Implementation

Hidehiko Masuhara, Gregor Kiczales, Christopher Dutchyn:
A Compilation and Optimization Model for Aspect-Oriented Programs. 46-60
Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek:
A Pattern Matching Compiler for Multiple Target Languages. 61-76
Olivier Danvy:
A New One-Pass Transformation into Monadic Normal Form. 77-89

Type Analysis

Michael Burrows, Stephen N. Freund, Janet L. Wiener:
Run-Time Type Checking for Binary Programs. 90-105
Christopher League, Zhong Shao, Valery Trifonov:
Precision in Practice: A Type-Preserving Java Compiler. 106-120
Pramod G. Joisha, Prithviraj Banerjee:
The MAGICA Type Inference Engine for MATLAB. 121-125

CC Invited Talk

Barbara G. Ryder:
Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages. 126-137

Java

Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers:
Polyglot: An Extensible Compiler Framework for Java. 138-152
Ondrej Lhoták, Laurie J. Hendren:
Scaling Java Points-to Analysis Using SPARK. 153-169
Etienne Gagnon, Laurie J. Hendren:
Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences. 170-184
Hezi Azatchi, Erez Petrank:
Integrating Generations with Advanced Reference Counting Garbage Collectors. 185-199

Pot Pourri

David Melski, Thomas W. Reps:
The Interprocedural Express-Lane Transformation. 200-216
Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Fabien Coelho:
Automatic Detection of Uninitialized Variables. 217-231
Adrian Johnstone, Elizabeth Scott:
Generalised Regular Parsers. 232-246
Kees van Reeuwijk:
Rapid and Robust Compiler Construction Using Template-Based Metacompilation. 247-261

ETAPS Invited Talk

C. A. R. Hoare:
The Verifying Compiler: A Grand Challenge for Computing Research. 262-272

Optimization

Mahmut T. Kandemir, Mary Jane Irwin, Guilin Chen, J. Ramanujam:
Address Register Assignment for Reducing Code Size. 273-289
Rainer Leupers:
Offset Assignment Showdown: Evaluation of DSP Address Code Optimization Algorithms. 290-302
Somnath Ghosh, Abhay Kanhere, Rakesh Krishnaiyer, Dattatraya Kulkarni, Wei Li, Chu-Cheow Lim, John Ng:
Integrating High-Level Optimizations in a Production Compiler: Design and Implementation Experience. 303-319
Cédric Bastoul, Paul Feautrier:
Improving Data Locality by Chunking. 320-334