Görel Hedin
Proceedings of the 12th International Conference on Compiler Construction
CC, 2003.

@proceedings{CC-2003,
	address       = "Warsaw, Poland",
	editor        = "Görel Hedin",
	isbn          = "3-540-00904-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 12th International Conference on Compiler Construction}",
	volume        = 2622,
	year          = 2003,
}

Contents (23 items)

7 ×#compilation
4 ×#java
4 ×#using
3 ×#optimisation
2 ×#analysis
2 ×#graph
2 ×#precise
2 ×#source code

CC-2003-JohnsonM #dependence #graph #using

Combined Code Motion and Register Allocation Using the Value State Dependence Graph (NJ, AM), pp. 1–16.

CC-2003-TouatiE #pipes and filters

Early Control of Register Pressure for Software Pipelined Loops (SAAT, CE), pp. 17–32.

CC-2003-Andersson #graph

Register Allocation by Optimal Graph Coloring (CA), pp. 33–45.

CC-2003-MasuharaKD #aspect-oriented #compilation #optimisation #source code

A Compilation and Optimization Model for Aspect-Oriented Programs (HM, GK, CD), pp. 46–60.

CC-2003-MoreauRV #compilation #multi #pattern matching

A Pattern Matching Compiler for Multiple Target Languages (PEM, CR, MV), pp. 61–76.

CC-2003-Danvy #monad #normalisation

A New One-Pass Transformation into Monadic Normal Form (OD), pp. 77–89.

CC-2003-BurrowsFW #runtime #source code #type checking

Run-Time Type Checking for Binary Programs (MB, SNF, JLW), pp. 90–105.

CC-2003-LeagueST #compilation #java #precise

Precision in Practice: A Type-Preserving Java Compiler (CL, ZS, VT), pp. 106–120.

CC-2003-JoishaB #matlab #type inference

The MAGICA Type Inference Engine for MATLAB (PGJ, PB), pp. 121–125.

CC-2003-Ryder #analysis #object-oriented #precise #programming language

Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages (BGR), pp. 126–137.

CC-2003-NystromCM #compilation #framework #java #named

Polyglot: An Extensible Compiler Framework for Java (NN, MRC, ACM), pp. 138–152.

CC-2003-LhotakH #analysis #java #points-to #scalability #using

Scaling Java Points-to Analysis Using SPARK (OL, LJH), pp. 153–169.

CC-2003-GagnonH #bytecode #effectiveness #java #sequence #thread #using

Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences (EG, LJH), pp. 170–184.

CC-2003-AzatchiP #garbage collection

Integrating Generations with Advanced Reference Counting Garbage Collectors (HA, EP), pp. 185–199.

CC-2003-MelskiR #interprocedural

The Interprocedural Express-Lane Transformation (DM, TWR), pp. 200–216.

CC-2003-NguyenIAC #automation #detection

Automatic Detection of Uninitialized Variables (TVNN, FI, CA, FC), pp. 217–231.

CC-2003-JohnstoneS #generalised parsing #parsing

Generalised Regular Parsers (AJ, ES), pp. 232–246.

CC-2003-Reeuwijk #agile #compilation #robust #using

Rapid and Robust Compiler Construction Using Template-Based Metacompilation (KvR), pp. 247–261.

CC-2003-Hoare #challenge #compilation #research #verification

The Verifying Compiler: A Grand Challenge for Computing Research (CARH), pp. 262–272.

CC-2003-KandemirICR

Address Register Assignment for Reducing Code Size (MTK, MJI, GC, JR), pp. 273–289.

CC-2003-Leupers #algorithm #evaluation #optimisation

Offset Assignment Showdown: Evaluation of DSP Address Code Optimization Algorithms (RL), pp. 290–302.

CC-2003-GhoshKKKLLN #compilation #design #experience #implementation #optimisation

Integrating High-Level Optimizations in a Production Compiler: Design and Implementation Experience (SG, AK, RK, DK, WL, CCL, JN), pp. 303–319.

CC-2003-BastoulF #locality

Improving Data Locality by Chunking (CB, PF), pp. 320–334.