MONDAY 2/4 | |
11.00 12.30 |
Program Analysis 1
Session chair: Tom Reps
Alias Analysis by means of a Model Checker
Points-to and Side-effect Analyses for Programs Built with Precompiled
Libraries
A Novel Probabilistic Data-Flow Framework
|
15.00 17.00 |
Program Transformation
Session chair: Uwe Assmann
Imperative Program Transformation by Rewriting
Compiler Transformation of Pointers to Explicit Array
Accesses in DSP Applications
User-extensible Simplification — Type-based Optimizer Generators
A Practical, Robust Method for Generating Variable Range Tables
|
17.30 19.00 |
Program Analysis 2
Session chair: Reinhard Wilhelm
Efficient Symbolic Analysis for Optimizing Compilers
Interprocedural Shape Analysis for Recursive Programs
Design-Driven Compilation
|
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
A First Step Towards Time Optimal Software Pipelining of Loops
with Control Flows
Comparing Tail Duplication with Compensation Code in Single
Path Global Instruction Scheduling
Register Saturation in Superscalar and VLIW Code Case of
Direct Acyclic Data Dependence Graphs
|
16.00 17.00 |
Parsing
Session chair: Stefano Crespi-Reghizzi
Directly-Executable Earley Parsing
A Bounded Graph-Connect Construction for LR-regular Parsers
|
17.30 19.00 |
Demos
Session chair: Nigel Horspool
SmartTools: a Generator of Interactive Environments Tools
Visual Patterns in the VLEli System
The ASF+SDF Meta-Environment: a Component-Based Language Development
Environment
|
WEDNESDAY 4/4 | |
10.30 12.30 |
Memory Hierarchy
Session chair: Mooly Sagiv
Array Unification: A Locality Optimization Technique
Optimal Live Range Merge for Address Register Allocation in
Embedded Programs
Speculative Prefetching of Induction Pointers
Constant-Time Root Scanning for Deterministic Garbage Collection
|
16.00 17.00 |
Profiling
Session chair: Martin Rinard
Goal-Directed Value Profiling
A Framework for Optimizing Java Using Attributes
|