13. CC 2004: Barcelona, Spain (Part of ETAPS 2004)

Evelyn Duesterwald (Ed.): Compiler Construction, 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Lecture Notes in Computer Science 2985 Springer 2004, ISBN 3-540-21297-3

Invited Talk

Mary Lou Soffa:
Developing a Foundation for Code Optimization. 1-4

Program Analysis

Gogul Balakrishnan, Thomas W. Reps:
Analyzing Memory Accesses in x86 Executables. 5-23
Rezaul Alam Chowdhury, Peter Djeu, Brendon Cahoon, James H. Burrill, Kathryn S. McKinley:
The Limits of Alias Analysis for Scalar Optimizations. 24-38
Venkatesh Prasad Ranganath, John Hatcliff:
Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs. 39-56
Tong Chen, Jin Lin, Xiaoru Dai, Wei-Chung Hsu, Pen-Chung Yew:
Data Dependence Profiling for Speculative Optimizations. 57-72

Parsing

Scott McPeak, George C. Necula:
Elkhound: A Fast, Practical GLR Parser Generator. 73-88
Adrian Johnstone, Elizabeth Scott, Giorgios Economopoulos:
Generalised Parsing: Some Costs. 89-103

Loop Analysis

Erin Parker, Siddhartha Chatterjee:
An Automata-Theoretic Algorithm for Counting Solutions to Presburger Formulas. 104-119
Philippe Clauss, Irina Tchoupaeva:
A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization. 120-133
Benoît Meister:
Periodic Polyhedra. 134-149

Optimization

Qiong Cai, Lin Gao, Jingling Xue:
Region-Based Partial Dead Code Elimination on Predicated Code. 150-166
Thomas VanDrunen, Antony L. Hosking:
Value-Based Partial Redundancy Elimination. 167-184
Byoungro So, Mary W. Hall:
Increasing the Applicability of Scalar Replacement. 185-201
Tim Owen, Des Watson:
Reducing the Cost of Object Boxing. 202-216

Code Generation and Backend Optimizations

Stefan Kral, Franz Franchetti, Juergen Lorenz, Christoph W. Ueberhuber, Peter Wurzinger:
FFT Compiler Techniques. 217-231
Kevin Redwine, Norman Ramsey:
Widening Integer Arithmetic. 232-249
Emre Özer, Andy Nisbet, David Gregg:
Stochastic Bit-Width Approximation Using Extreme Value Theory for Customizable Processors. 250-264
Neil Johnson, Alan Mycroft:
Using Multiple Memory Access Instructions for Reducing Code Size. 265-280

Compiler Construction

Jennifer Lhoták, Ondrej Lhoták, Laurie J. Hendren:
Integrating the Soot Compiler Infrastructure into an IDE. 281-297
Christian Lindig, Norman Ramsey:
Declarative Composition of Stack Frames. 298-312