CC
International Conference on Compiler Construction
Programme Committee
K. Koskimies (Finland, chair), M. Bartha (Canada), J. Bishop (South Africa), P. Fritzson (Sweden), R. Gupta (USA), T. Gyimothy (Hungary), N. Horspool (Canada), S. Jahnichen (Germany), U. Kastens (Germany), B. Magnusson (Sweden), K. McKinley (USA), W. Waite (USA), D. Watt (UK), R. Wilhelm (Germany)
PROGRAMME
09:00 10:00
|
Invited Lecture Extreme programming: a humanistic discipline of programming Kent Beck (CSLife, CH) |
10:00 10:30
|
Coffee |
10:30 12:30
| Myths and facts about the efficient implementation of finite automata
and lexical analysis, K.Brouwer, W.Gellerich and E.Ploedereder (U Stuttgart,
D)
Generalised recursive descent parsing and follow-determinism, A.Johnstone and E.Scott (U London, UK) Analyzing direct non-local dependencies in attribute grammars, JT.Boyland (CMU, USA) Storage allocation strategies for recursive attribute evaluators, K.Mizushima (PFU Limited, JP) and T.Katayama (JAIST, JP) |
12:30 14:30
|
Lunch |
14:30 15:30
|
Invited Lecture Practical formal verification: how close are we? Amir Pnueli (Weizmann Institute, IL) |
15:30 16:00
|
Coffee |
16:00 18:00
| Basic-block graphs: living dinosaurs?, J.Knoop, D.Koschützki
(U Passau, D) and B.Steffen (U Dortmund, D)
Analysis of loops, F.Martin, M.Alt, C.Ferdinand and R.Wilhelm (U Saarlandes, D) A new approach to control flow analysis, P.Malacaria and C.Hankin (Imperial College, UK) Flow logics for constraint based analysis, HR.Nielson and F.Nielson (U Aarhus, DK) |
09:00 10:00
|
Invited Lecture Formal verification of pipelined processors Randy Bryant (CMU, USA) |
10:00 10:30
|
Coffee |
10:30 12:30
| Extended SSA numbering: introducing SSA properties to languages
with multi-level pointers, C.Lapkowski and LJ.Hendren (McGill U, CA)
Strength reduction via SSAPRE, R.Kennedy, F.Chow, P.Dahl and M.Streich (Silicon Graphics, USA) Detecting parallelism in C programs with recursive data structures, R.Ghiya, LJ.Hendren and Y.Zhu (McGill U, CA) Live range splitting in a graph coloring register allocator, KD.Cooper (Rice U, USA) and LT.Simpson (Trilogy Development Group, USA) |
12:30 14:30
|
Lunch |
14:30 15:30
|
Invited Lecture Concurrent constraint programming as an extension of functional programming Gert Smolka (U Saarlandes, D) |
15:30 16:00
|
Coffee |
16:00 18:00
|
Poster Session |
09:00 10:00
|
Invited Lecture Challenges and opportunities visual programming languages bring to programming language research Margaret Burnett (Oregon State U, USA) |
10:00 10:30
|
Coffee |
10:30 12:30
| Local stack allocation, M.Maierhofer and MA.Ertl (TU Vienna,
A)
A new fast algorithm for optimal register allocation in modulo scheduled loops, S.Lelait (TU Vienna, A), GR.Gao (U Delaware, USA) and C.Eisenbeis (INRIA, F) A code motion framework for global instruction scheduling, R.Gupta (U Pittsburgh, USA) VLIW compilation techniques for superscalar architectures, E.Stümpel, M.Thies and U. Kastens (U Paderborn, D) |
12:30 14:30
|
Lunch |
14:30 16:00
| Demos:
The Eli system, U.Kastens, P.Pfahler and M.Jung (U Paderborn, D) Lrc - a generator for incremental language-oriented tools, M.Kuiper and J.Saraiva (U Utrecht, NL) An extended static checker for Modula-3, KRM.Leino and G.Nelson (DEC Systems Research Center, USA) Cool: acontrol-flow generator for system analysis, V.Braun (U Dortmund, D), J.Knoop and D.Koschützki (U Passau, D) |
16:00 16:30
|
Coffee |
16:30 18:00
| Issues in translating Smalltalk to Java, RL.Engelbrecht and
D.Kourie (U Pretoria, SA)
Intermodular slicing of object-oriented programs, C.Steindl (U Linz, A) Portable debugging and profiling, M.Pettersson (INRIA, F) |