Monday, March 27 |
9:00
|
Opening
Session chair: Bernd Mahr (TU Berlin) |
9:30 FOSSACS invited
|
Session chair: Jerzy Tiuryn (Warsaw University)
Abbas Edalat (Imperial College, London)
A Data Type for Computational Geometry and Solid Modelling |
18:30
GRATRA invited
|
Session chair: Hartmut Ehrig (TU Berlin, Germany)
Grzegorz Rozenberg (Universiteit Leiden, Netherlands) DNA Computing in Vivo and Graph Transformation |
Tuesday, March 28 |
9:00
FASE invited
| Session chair: Tom Maibaum (King's College London)
Wlad Turski (University of Warsaw, Poland)
An Essay on Software Engineering at the Turn of Century |
14:00
|
Panel Standard Components off the Shelf -
Do they carry and need a (Formal) Standard Semantics?
Chair: Herbert Weber (TU Berlin)
Participants: Christine Choppy, Werner Damm, Hartmut Ehrig, José Luiz Fiadeiro, Bernd Mahr, Richard M. Soley |
18:30 |
Reception (TU-``Lichthof'') |
Wednesday, March 29 |
9:00
ETAPS invited
| Session chair: Bernd Mahr (TU Berlin) Richard M. Soley (OMG Object Management Group)
Memex isn't Enough |
14:30
ETAPS invited
| Session chair: Don Sannella (University of Edinburgh) David Harel (The Weizmann Institute of Science)
From Play-In Scenarios to Code: an Achievable Dream |
20:00 |
Banquet (Restaurant ``Alte Pumpe'') |
|
9:00
TACAS invited
| Session chair: Susanne Graf (VERIMAG, Grenoble)
Pierre Wolper (University of Liège)
On the Representation of Constraints by Automata in the Verification of Infinite Systems |
10:00 |
Coffee |
Java implementation |
Session chair: David Watt (University of Glasgow) |
10:30 |
Optimizing Java bytecode using the Soot framework: is it feasible? Raja Vallée-Rai, Etienne Gagnon, Laurie Hendren, Patrick Lam, Patrice Pominville, Vijay Sundaresan (McGill University, Montreal) |
11:00 |
Pipelined Java virtual machine interpreters Jan Hoogerbrugge, Lex Augusteijn (Philips Research Laboratories) |
11:30 |
Automatic removal of array memory leaks in Java Ran Shaham, Elliot Kolodner, Mooly Sagiv (Tel-Aviv University and IBM Haifa Research Laboratory) |
12:00 |
A static study of Java exceptions using JESP Barbara Ryder, Donald Smith, Ulrich Kremer, Michael Gordon, Nirav Shah (Rutgers University) |
|
12:30 |
Lunch |
14:30
CC invited
| Session chair: David Watt (University of Glasgow)
Reinhard Wilhelm (Universität des Saarlandes)
Shape Analysis |
15:30 |
Coffee |
Parallel and reactive systems |
Session chair: Helmut Seidl (University of Trier) |
16:00 |
Analysis of irregular single-indexed arrays and its applications in compiler optimizations Yuan Lin, David Padua (University of Illinois at Urbana-Champaign) |
16:30 |
Advanced scalarization of array syntax Gerald Roth (Gonzaga University) |
17:00 |
Run-time parallelization overhead reduction techniques Hao Yu, Lawrence Rauchwerger (Texas A&M University) |
17:30 |
MATOU: an implementation of mode-automata Florence Maraninchi, Yann Rémond, Yannick Raoul (VERIMAG, Grenoble) |
|
18:00
|
ETAPS Business Meeting |
|
9:00
ESOP invited
| Session chair: Gert Smolka (Saarland University)
Martin Odersky (EPF Lausanne)
Functional Nets |
10:00 |
Coffee |
Code generation |
|
12:30 |
Lunch |
Partial evaluation and attribute evaluation |
Session chair: Lawrence Rauchwerger (Texas A&M University) |
14:30 |
Compiling adaptive programs by partial evaluation Peter Thiemann (University of Freiburg) |
15:00 |
Functional incremental attribute evaluation João Saraiva (Universidade do Minho), Doaitse Swierstra, Matthijs Kuiper (Universiteit Utrecht) |
|
15:30 |
Coffee |
Compiler analysis |
Session chair: Mooly Sagiv (Tel-Aviv University) |
16:00 |
Fast escape analysis and stack allocation for object-based programs David Gay (UC Berkeley), Bjarne Steensgaard (Microsoft Research) |
16:30 |
Constant propagation on the value graph: simple constants and beyond Jens Knoop, Oliver Rüthing (University of Dortmund) |
17:00 |
Simple generation of static single-assignment form John Aycock, Nigel Horspool (University of Victoria) |
17:30 |
Demand driven construction of call graphs Gagan Agrawal (University of Delaware) |
|
18:00
|
Closing
Session chair: Bernd Mahr (TU Berlin) |