Program of CC

MONDAY 2/4
11.00
12.30
Program Analysis 1
Session chair: Tom Reps

Alias Analysis by means of a Model Checker
Vincenzo Martena, Pierluigi Sanpietro (Politecnico di Milano)

Points-to and Side-effect Analyses for Programs Built with Precompiled Libraries
Atanas Rountev, Barbara G. Ryder (Rutgers University)

A Novel Probabilistic Data-Flow Framework
Eduard Mehofer (University of Vienna),
Bernhard Scholz (Vienna University of Technology)

15.00
17.00
Program Transformation
Session chair: Uwe Assmann

Imperative Program Transformation by Rewriting
David Lacey, Oege de Moor (Oxford University)

Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications
Bjoern Franke, Michael O'Boyle (University of Edinburgh)

User-extensible Simplification — Type-based Optimizer Generators
Sibylle Schupp, Douglas Gregor, David Musser (Rensselaer Polytechnic Institute),
Shin-Ming Liu (Hewlett Packard)

A Practical, Robust Method for Generating Variable Range Tables
Caroline Tice (Compaq Systems Research Center),
Susan L. Graham (University of California, Berkeley)

17.30
19.00
Program Analysis 2
Session chair: Reinhard Wilhelm

Efficient Symbolic Analysis for Optimizing Compilers
Robert A. van Engelen (Florida State University)

Interprocedural Shape Analysis for Recursive Programs
Noam Rinetzky (Technion Haifa),
Mooly Sagiv (Tel-Aviv University)

Design-Driven Compilation
Radu Rugina, Martin Rinard (Massachusetts Institute of Technology)

TUESDAY 3/4
 9.00
10.00

Session chair: Reinhard Wilhelm
Ole Lehrman Madsen (Invited lecture)
10.30
12.30
Intraprocessor Parallelism
Session chair: Christine Eisenbeiss

Software Pipelining of Nested Loops
Kalyan Muthukumar, Gautam Doshi (Intel Corporation)

A First Step Towards Time Optimal Software Pipelining of Loops with Control Flows
Han-Saem Yun, Jihong Kim, Soo-Mook Moon (Seoul National University)

Comparing Tail Duplication with Compensation Code in Single Path Global Instruction Scheduling
David Gregg (Technische Universität Wien)

Register Saturation in Superscalar and VLIW Code Case of Direct Acyclic Data Dependence Graphs
Sid Ahmed Ali Touati (INRIA)

16.00
17.00
Parsing
Session chair: Stefano Crespi-Reghizzi

Directly-Executable Earley Parsing
John Aycock, Nigel Horspool (University of Victoria)

A Bounded Graph-Connect Construction for LR-regular Parsers
Jacques Farré (CNRS and Université de Nice),
José Fortes Galvez (Universidad de Las Palmas de Gran Canaria)

17.30
19.00
Demos
Session chair: Nigel Horspool

SmartTools: a Generator of Interactive Environments Tools
I. Attali, C. Courbis, P. Degenne, A. Fau, D. Parigot (INRIA Sophia Antipolis)

Visual Patterns in the VLEli System
M. Jung, U. Kastens, C. Schindler, C. Schmidt (Universität Paderborn)

The ASF+SDF Meta-Environment: a Component-Based Language Development Environment
M.G.J. van den Brand, J. Heering, H.A. de Jong, M. de Jonge, T. Kuipers, P. Klint, L. Moonen, P.A. Olivier (CWI Amsterdam),
J. Scheerder (Utrecht University),
J.J. Vinju (CWI Amsterdam),
E. Visser (Utrecht University),
J. Visser (CWI Amsterdam)

WEDNESDAY 4/4
10.30
12.30
Memory Hierarchy
Session chair: Mooly Sagiv

Array Unification: A Locality Optimization Technique
Mahmut Taylan Kandemir (Pennsylvania State University)

Optimal Live Range Merge for Address Register Allocation in Embedded Programs
Guilherme Ottoni, Sandro Rigo, Guido Araujo (IC-UNICAMP),
Subramanian Rajagapolan, Sharad Malik (Princeton University)

Speculative Prefetching of Induction Pointers
Artour Stoutchinin (STMicroelectronics),
Jose Nelson Amaral (University of Alberta),
Guang R. Gao (University of Delaware),
James C. Dehnert (Transmeta Corporation),
Suneel Jain (Hewlett-Packard),
Alban Douillet (University of Delaware)

Constant-Time Root Scanning for Deterministic Garbage Collection
Fridtjof Siebert (Universität Karlsruhe)

16.00
17.00
Profiling
Session chair: Martin Rinard

Goal-Directed Value Profiling
Scott Watterson, Saumya Debray (University of Arizona)

A Framework for Optimizing Java Using Attributes
Patrice Pominville, Feng Qian, Raja Vallee-Rai, Laurie Hendren (McGill University),
Clark Verburgge (IBM Toronto Lab)