PROGRAMME OF CC

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

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