Session chair: Bernd Mahr (TU Berlin)
FOSSACS
invited
Abbas Edalat (Imperial College, London)
A Data Type for Computational Geometry and Solid Modelling
GRATRA
invited
Grzegorz Rozenberg (Universiteit Leiden, Netherlands)
DNA Computing in Vivo and Graph Transformation
FASE
invited
Wlad Turski (University of Warsaw, Poland)
An Essay on Software Engineering at the Turn of Century
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
ETAPS
invited
Richard M. Soley
(OMG Object Management Group)
Memex isn't Enough
ETAPS
invited
David Harel
(The Weizmann Institute of Science)
From Play-In Scenarios to Code: an Achievable Dream
| Thursday, March 30 |
TACAS
invited
Pierre Wolper (University of Liège)
On the Representation of Constraints by Automata in the Verification of Infinite Systems
| 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) |
CC
invited
Reinhard Wilhelm (Universität des Saarlandes)
Shape Analysis
| 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) |
|
| Friday, March 31 |
ESOP
invited
Martin Odersky (EPF Lausanne)
Functional Nets
| Session chair: Christine Eisenbeis (INRIA Rocquencourt) | |
| 10:30 | A Framework for Loop Distribution on Limited On-Chip Memory Processors Lei Wang, Waibhav Tembe, Santosh Pande (University of Cincinnati) |
| 11:00 | Techniques for efficiently exploiting a zero overhead loop buffer Gang-Ryung Uh (Bell Labs, Lucent Technologies), Yuhong Wang, David Whalley (Florida State University), Sanjay Jinturkar, Chris Burns, Vincent Cao (Bell Labs, Lucent Technologies) |
| 11:30 | Advanced compiler optimization for CalmRISC8 low-end embedded processor Dae-Hwan Kim (Samsung Electronics) |
| 12:00 | Global software pipelining with iteration preselection David Gregg (TU Wien) |
| 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) |
| 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) |
Session chair: Bernd Mahr (TU Berlin)
