March 15th, Thursday
9:50-10:00 Opening 10:00-12:00 Session 1. Chair: Masato Takeichi (University of Tokyo)
- Jeremy Gibbons (University of Oxford), Graham Hutton and Thorsten Altenkirch (University of Nottingham)
- When is a Function a Fold or an Unfold?
- Isao Sasano (University of Tokyo), Zhenjiang Hu (University of Tokyo), Masato Takeichi (University of Tokyo)
- Solving More General Maximum-Marking Problems on Recursive data structures
- Mizuhito Ogawa (NTT)
- Complete aximatization of an algebraic construction of graphs
12:00-13:30 Lunch 13:30-14:50 Session 2. Chair: Zhenjiang Hu (University of Tokyo)
- Oege de Moor (University of Oxford)
- Attributed Term Rewriting
- Tetsuo Ida (Tuskuba University), Mircea Marin (Tsukuba University)
- Application of higher-order lazy narrowing calculus to program transformation
14:50-15:00 Coffee break 15:00-17:00 Session 3. Chair: Mizuhito Ogawa (NTT)
- Haiyan Zhao (University of Tokyo), Tetsuo Yokoyama (University of Tokyo), Zhenjiang Hu (University of Tokyo), Masato Takeichi (University of Tokyo)
- Mining Optimized Ranges: A Functional Approach
- Yutaka Oiwa (University of Tokyo)
- DynJava: Type Safe Dynamic Code Generation in Java
- Yasuhiko Minamide (University of Tsukuba)
- Keeping Slowdown by Local Transformations under Control
17:00-17:10 Coffee break 17:10-18:30 Session 4. Chair: Jeremy Gibbons (University of Oxford)
- Kazuhiko Kakehi (Wasseda University), Robert Glueck (Wasseda University), Yoshihiko Futamura (Wasseda University)
- Abstraction from Constructing Expressions and its Applications
- David Lancey (University of Oxford)
- Imperative program transformation with temporal logic side conditions
19:00-21:00 Banquet
9:00-10:20 Seesion 5. Char: Akihoko Takano (National Institute of Informatics)
- Yoshihiko Futamura (Waseda University), Zenjiro Konishi (Waseda University), Robert GlN|ck (Waseda University)
- Automatic Generation of Very Efficient Programs by Generalized Partial Computation
- Kenichi Asai (University of Tokyo)
- Integrating Partial Evaluators into Interpreters (Preliminary Version)
10:20-10:30 Coffee break 10:30-12:00 Session 6. Chair: Oege de Moor (University of Oxford)
- Shin-Cheng Mu (University of Oxford)
- The Burrows-Wheeler Transform and its Inverse
- Ralf Laemmel (CWI, Amsterdam), Jeremy Gibbons (University of Oxford)
- Refactoring Haskell Programs (20)
- Yasunori Sakai (University of Tokyo), Zhenjiang Hu (University of Tokyo), Masato Takeichi (University of Tokyo)
- Yicho: Yet another Interactive Calculation System (30)
12:00- Closing