PEPM'03: Prelimnary Programme

Saturday, June 7, 2003


Time Paper Title Authors
9:00 Slicing and Partial Evaluation of CORBA Component Model Designs for Avionics Systems (Invited Talk) John Hatcliff
10:00 Break -
10:30 Fast Partial Evaluation of Pattern Matching in Strings Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde
11:00 Transforming Interpreters into Inverse Interpreters by Partial Evaluation Robert Glück, Youhei Kawada, Takuya Hashimoto
11:30 Implementing Typeful Program Transformation Chiyan Chen, Hongwei Xi
12:00 Lunch -


Time Paper Title Authors
13:30 Abstract Specialization and Applications (Invited Talk) German Puebla
14:30 Slicing Java Programs that Throw and Catch Exceptions Matthew Allen, Susan Horwitz
15:00 Storeless semantics and Alias Logic Marius Bozga, Radu Iosif, Yassine Lakhnech
15:30 Break -
16:00 CodeBricks: Code Fragments as Building Blocks Giuseppe Attardi, Antonio Cisternino, Andrew Kennedy
16:30 Extending Sized Type with Collection Analysis Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
17:00 Optimizing Ackermann's function by incrementalization Annie Liu, S.D. Stoller
17:30 Closing -

Last modified: Fri May 2 17:13:22 BST 2003