Programme of CC

WEDNESDAY, 10 April

14.15
15.15
ETAPS Invited Talk
Mary Shaw (Carnegie Mellon University)
What Makes Good Research in Software Engineering?
Session chair:  JosÚ Fiadeiro
15.15
16.00
Coffee
16.00
17.30
CC
Tool Demonstrations

Session chair: 

LISA: An Interactive Environment for Programming Language Development
Mernik Marjan (University of Maribor, Slovenia)

Generating an Interpreter with vmgen
M. Anton Ertl (Technical University of Vienna, Austria)

Compiler Construction using LOTOS NT
Frederic Lang (INRIA Rhone-Alpes, F)

20.00 ETAPS DINNER

THURSDAY, 11 April

9.00
10.00
FOSSACS Invited Talk
Bruno Courcelle (UniversitÚ Bordeaux, F)
Semantical Evaluations as Monadic Second-order Compatible Structure Transformations
Session chair:  Mogens Nielsen
10.00
10.45
Coffee
10.45
12.45
CC
Analysis and Optimization

Session chair: 

Data Compression Transformations for Dynamically Allocated Data Structures
Youtao Zhang, Rajiv Gupta (University of Arizona, USA)

Evaluating a Demand-Driven Technique for Call Graph Construction
Gagan Agrawal, Jinqian Li, Su Qi (Ohio State University, USA)

A Graph-Free Approach to Data-Flow Analysis
Markus Mohnen (RWTH Aachen, D)

A Representation for Bit Section Based Analysis and Optimization
R. Gupta, E. Mehofer, Y. Zhang (University of Arizona, USA)

12.45
14.15
Lunch
14.15
15.15
SPIN Invited Talk
Ed Clarke (Carnegie Mellon University)
SAT-based Counterexample Guided Abstraction Refinement
Session chair: 
15.15
16.00
Coffee
16.00
17.30
CC
Low-level Analysis

Session chair: 

Efficient Online Subpath Profiling
David Oren, Yossi Matias, Mooly Sagiv (Tel Aviv University, Israel)

Precise Exception Semantics in Dynamic Compilation
Michael Gschwind, Erik Altman ( IBM T.J. Watson Research Center, USA)

Decompiling Java Bytecode: Problems, Traps and Pitfalls
Jerome Miecznikowski, Laurie Hendren (McGill University, Canada)

17.30
17.45
Short Break
17.45
18.45
CC
Grammars and Parsing

Session chair: 

Forwarding in Attribute Grammars for Modular Language Design
Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski (Oxford University, UK, & Microsoft Corp., UK)

Disambiguation Filters for Scannerless Generalized LR Parsers
M.G.J. van den Brand, J. Scheerder, J.J. Vinju, E. Visser (CWI, Netherlands, & Utrecht University, Netherlands)

20.00 nyd

FRIDAY, 12 April

9.00
10.00
CC
and SPIN Invited Talk

Session chair:  Nigel Horspool

Abstract Interpretation: Theory and Practice
Patrick Cousot (ENS, Paris, F)

10.00
10.45
Coffee
10.45
12.45
CC
Energy Consumption Optimizations

Session chair: 

Linear Scan Register Allocation in the Context of SSA Form and Register Constraints
Hanspeter Mvssenbvck, Michael Pfeiffer (University of Linz, Austria)

Global Variable Promotion: Using Registers to Reduce Cache Power Dissipation
Andrea Cilio, Henk Corporaal (Technical University of Delft, Netherlands)

Optimizing Static Power Dissipation by Functional Units in Superscalar Processors
S. Rele, S. Pande, S. Onder, R. Gupta (University of Arizona, USA)

Influence of Loop Optimizations on Energy Consumption of Multi-Bank Memory Systems
M. Kandemir, I. Kolcu (Pennsylvania State University, USA, & University of Manchester, UK)

12.45
14.15
Lunch
14.15
15.45
CC
Domain-Specific Languages and Tools

Session chair: 

StreamIt: A Language for Streaming Applications
Bill Thies, Michal Karczmarek, Saman Amarasinghe (Massachusetts Institute of Technology, USA)

Compiling Mercury to High-level C Code
Fergus Henderson, Zoltan Somogyi (University of Melbourne, Australia)

CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
George C. Necula, Scott McPeak, S. P. Rahul, Westley Weimer (University of California at Berkeley, USA)

15.45
16.15
Coffee
16.15
17.45
CC
Loop and Array Optimizations

Session chair: 

Effective Enhancement of Loop Versioning in Java
Vitaly V. Mikheev, Stanislav A. Fedoseev, Vladimir V. Sukharev, Nikita V. Lipsky (Excelsior Corporation, Russia)

Value Profile Guided Stride Prefetching for Irregular Code
Youfeng Wu, Mauricio Serrano, Rakesh Krishnaiyer, Wei Li, Jesse Fang (Intel Corp., USA)

A Comprehensive Approach to Array Bounds Check Elimination for Java
Feng Qian, Laurie Hendren, Clark Verbrugge (McGill University, Canada)

17.45
18.00
Closing Session
20.00 SPIN dinner