Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Preliminary PEPM'03 Programme
[go: Go Back, main page]

PEPM'03: Prelimnary Programme

Saturday, June 7, 2003

Morning

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 -

Afternoon

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