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 Generating an Interpreter with vmgen Compiler Construction using LOTOS NT |
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 Evaluating a Demand-Driven Technique for Call Graph Construction A Graph-Free Approach to Data-Flow Analysis A Representation for Bit Section Based Analysis and Optimization |
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 Precise Exception Semantics in Dynamic Compilation Decompiling Java Bytecode: Problems, Traps and Pitfalls |
17.30 17.45 |
Short Break |
17.45 18.45 |
CC Grammars and Parsing Session chair: Forwarding in Attribute Grammars for Modular Language Design Disambiguation Filters for Scannerless Generalized LR Parsers |
20.00 | nyd |
FRIDAY, 12 April |
|
9.00 10.00 |
CC and SPIN Invited Talk Session chair: Nigel Horspool Abstract Interpretation: Theory and Practice |
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 Global Variable Promotion: Using Registers to Reduce Cache Power Dissipation Optimizing Static Power Dissipation by Functional Units in Superscalar Processors Influence of Loop Optimizations on Energy Consumption of Multi-Bank Memory Systems |
12.45 14.15 |
Lunch |
14.15 15.45 |
CC Domain-Specific Languages and Tools Session chair: StreamIt: A Language for Streaming Applications Compiling Mercury to High-level C Code CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs |
15.45 16.15 |
Coffee |
16.15 17.45 |
CC Loop and Array Optimizations Session chair: Effective Enhancement of Loop Versioning in Java Value Profile Guided Stride Prefetching for Irregular Code A Comprehensive Approach to Array Bounds Check Elimination for Java |
17.45 18.00 |
Closing Session |
20.00 | SPIN dinner |