Compiler Construction: 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etap (Paperback, 2004)

Invited Talk.- Developing a Foundation for Code Optimization.- Program Analysis.- Analyzing Memory Accesses in x86 Executables.- The Limits of Alias Analysis for Scalar Optimizations.- Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs.- Data Dependence Profiling for Speculative Optimizations.- Parsing.- Elkhound: A Fast, Practical GLR Parser Generator.- Generalised Parsing: Some Costs.- Loop Analysis.- An Automata-Theoretic Algorithm for Counting Solutions to Presburger Formulas.- A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization.- Periodic Polyhedra.- Optimization.- Region-Based Partial Dead Code Elimination on Predicated Code.- Value-Based Partial Redundancy Elimination.- Increasing the Applicability of Scalar Replacement.- Reducing the Cost of Object Boxing.- Code Generation and Backend Optimizations.- FFT Compiler Techniques.- Widening Integer Arithmetic.- Stochastic Bit-Width Approximation Using Extreme Value Theory for Customizable Processors.- Using Multiple Memory Access Instructions for Reducing Code Size.- Compiler Construction.- Integrating the Soot Compiler Infrastructure into an IDE.- Declarative Composition of Stack Frames.