CC at a glance
|
|
|
|
|||
|
09:00 |
Invited Lecture Extreme programming: a humanistic discipline of programming Kent Beck (CSLife, CH) |
09:00 |
Invited Lecture Formal verification of pipelined processors Randy Bryant (CMU, USA) |
09:00 |
Invited Lecture Challenges and opportunities visual programming languages bring to programming language research Margaret Burnett (Oregon State U, USA) |
|
10:00 |
Coffee |
10:00 |
Coffee |
10:00 |
Coffee |
|
10: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) |
10: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) |
10: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 |
Lunch |
12:30 |
Lunch |
12:30 |
Lunch |
|
14:30 |
Invited Lecture Practical formal verification: how close are we? Amir Pnueli (Weizmann Institute, IL) |
14:30 |
Invited Lecture Concurrent constraint programming as an extension of functional programming Gert Smolka (U Saarlandes, D) |
14:30 |
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) |
|
15:30 |
Coffee |
15:30 |
Coffee |
16:00 |
Coffee |
|
16: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) |
16:00 |
Poster Session |
16:30 |
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) |
|
18:00 |
Close |
18:00 |
Close |
18:00 |
Close |