ASIA-PEPM 2002 Technical Programme

Thursday, September 12

14:15-15:30
Session 1: Invited Talk

Automatic Generation of Efficient String Matching Algorithms by Generalized Partial Computation
Yoshihiko Futamura (Waseda University)
15:30-16:00Break
16:00-18:00
Session 2: Partial Evaluation

Jones Optimality, Binding-Time Improvements, and the Strength of Program Spezializers
Robert Glück (PRESTO, JST & Waseda University)
Search-Based Binding Time Analysis using Type-Directed Pruning
Tim Sheard and Nathan Linger (Oregon Health & Science University)
On Obtaining the KMP String Matcher by Partial Evaluation
Mads Sig Ager, Olivier Danvy and Henning Korsholm Rohde (University of Aarhus)

Friday, September 13

09:00-10:15
Session 3: Invited Talk

Aliasing Analysis for a Million Lines of C
Nevin Heintze (Agere Systems)
10:15-10:40Break
10:40-12:00
Session 4: Object Oriented Specialization

Supporting Objects in Run-time Bytecode Specialization
Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii and Akinori Yonezawa (University of Tokyo)
Using indexed data structures for program specialization
Jung Gyu Park and Myong-Soon Park (Korea University)
12:00-13:30Break
13:30-14:45
Session 5: Invited Talk

Defying the Speed of Light with Spatially Aware Computing
Saman Amarasinghe (MIT)
14:45-15:00Break
15:00-16:20
Session 6: Analysis and Compilation

A New Type System for JVM Lock Primitives
Futoshi Iwama (University of Tokyo) and Naoki Kobayashi (Tokyo Institute of Technology)
Compiling Real Time Functional Reactive Programming to Automata
Dana N. Xu and Siau-Cheng Khoo (National University of Singapore)
16:20-16:40Break
16:20-18:00
Session 7: Specialization

Principal Type Specialisation
Pablo E. Martínez López (Universidad Nacional de La Plata) and John Hughes (Chalmers University)
Output-Constraint Specialization
Siau-Cheng Khoo and Kun Shi (National University of Singapore)

Saturday, September 14

09:00-10:15
Session 8: Invited Talk

Dependent ML: Unifying Objected-Oriented Programming with Functional Programming
Hongwei Xi (Boston University)
10:15-10:40Break
10:40-12:00
Session 9: Program Transformation

Using Circular Programs to Deforest in Accumulating Parameters
Janis Voigtländer (Dresden University of Technology)
A Note on Elimination of Simplest Recursions
Andrei P. Nemytykh (Wuhan University and PSI, Russian Academy of Science)

 

For more information, please email: asiapepm@comp.nus.edu.sg