International Conference on Compiler Construction (CC) 2004

Program

Thursday, April 1

Session 1 (10:30-12:30): Program Analysis, Chair: Josep Llosa

"Analyzing memory accesses in x86 executables", Gogul Balakrishnan and Thomas Reps, University of Wisconsin, Madison, USA.

"The limits of alias analysis for scalar optimizations", Rezaul A. Chowdhury, Peter Djeu, University of Texas, Austin, USA, Brendon Cahoon, Conformative Systems, Austin, USA, James H. Burrill, University of Massachusetts, Amherst, USA, and Kathryn S. McKinley,University of Texas, Austin, USA.

"Pruning interference and ready dependence for slicing concurrent Java programs", Venkatesh Prasad Ranganath and John Hatcliff, Kansas State University, USA.

"Data dependence profiling for speculative optimizations", Tong Chen, Jin Lin, Xiaorun Dai, Wei-Chung Hsu, and Pen-Chung Yew, University of Minnesota, USA.

Invited Lecture (14:30-15:30):

“Developing a Foundation for Code Optimization”, Mary Lou Soffa, University of Pittsburgh, USA.

Session 2 (15:30-16:30): Parsing, Chair: Reinhard Wilhelm

"Elkhound: a fast, practical GLR parser generator", Scott McPeak and George Necula, Berkeley, USA.

"Generalised parsing: some engineering costs", Adrian Johnstone, Elizabeth Scott, and Giorgios Economopoulos, University of London, UK.

Session 3 (17:00-18:30): Loop Analysis, Chair: Paul Feautrier

"An automata-theoretic algorithm for counting solutions to Presburger formulas", Erin Parker, University of North Carolina, Chapel Hill, USA and Siddhartha Chatterjee, IBM T.J.Watson Research Center, USA.

"A symbolic approach to Bernstein expansion for program analysis and optimization", Irina Tchoupaeva, Universite Strasbourg, France, and Philippe Clauss, INRIA Rocquencourt, France.

"Periodic polyhedra", Benoît Meister, LSIIT-ICPS, Illkirch, France.

Friday, April 2

Session 4 (10:30-12:30): Optimization, Chair: Ras Bodik

"Region-based partial dead code elimination on predicated code", Qiong Cai, Lin Gao, and Jingling Xue, University of New South Wales, Sydney, Australia.

"Value-based partial redundancy elimination", Thomas VanDrunen and Antony L. Hosking, Purdue University, USA.

"Increasing the applicability of scalar replacement", Byoungro So and Mary Hall, University of Southern California, USA.

"Reducing the cost of object boxing", Tim Owen and Des Watson, University of Sussex, Brighton, UK.

Session 5 (14:30-16:30): Code Generation and Backend Optimizations, Chair: Thomas Gross

"FFT compiler techniques", Stefan Kral, Franz Franchetti, Juergen Lorenz, Christoph W. Ueberhuber, and Peter Wurzinger, Vienna University of Technology, Austria.

"Widening integer arithmetic", Kevin Redwine and Norman Ramsey, Harvard University, USA.

"Stochastic bit-width approximation using Extreme Value Theory for customizable processors", Emre Ozer, Andy P. Nisbet, and David Gregg, Trinity College, Dublin, Ireland.

"Using multiple memory access instructions for reducing code size", Neil Johnson and Alan Mycroft, University of Cambridge, UK.

Session 6 (17:00-18:00): Compiler Construction, Chair: Gorel Hedin

"Integrating the Soot compiler infrastructure into an IDE", Jennifer Lhotak, Ondrej Lhotak, and Laurie Hendren, McGill University, Montreal, Canada.

"Declarative composition of stack frames", Christian Lindig, Universitaet Saarbruecken, Germany and Norman Ramsey, Harvard University, USA.