Monday, December 17, 2001

Registration: 8:00-9:00

Session I: 9:00-10:15

0900   Dynamic Control Operators in Type Theory
Yukiyoshi Kameyama
0925 A Type System for the Push-Enter Model
Kwanghoon Choi and Taisook Han
0950 Verifying the CPS Transformation in Isabelle/HOL
Yasuhiko Minamide and Koji Okuma

Session II: 10:45-12:00

1045   Efficient Interpretation of Chart Pattern Language
Saswat Anand and Siau-Cheng Khoo
1110 Collaborative Constraint Functional Logic Programming in an Open Environment
Norio Kobayashi, Mircea Marin, and Tetsuo Ida
1135 Exploring Dataflow in Legacy Systems
M. A. Bulyonkov and N. N. Filatkina

Lunch: 12:00-14:00

Session III: 14:00-15:15

1400   Functional Quantum Programming
Shin-Cheng Mu and Richard Bird
1425 An Accumulative Parallel Skeleton for All
Zhenjiang Hu, Hideya Iwasaki, and Masato Takeichi
1450 Jones Optimality and the Strength of Program Spezializers
Robert Glück

Session IV: 15:45-17:00

1545   Higher-Order Polymorphic Sized Types for Safety Checks
Wei-Ngan Chin, Siau-Cheng Khoo, and Dana N. Xu
1610 An Effect System Combining Alias and Liveness for Explicit Memory Reuse
Oukseh Lee
1635 Resource Usage Analysis
Atsushi Igarashi and Naoki Kobayashi

Session V: 17:30-18:45

1730   Developing the Generic Path Algorithmic Program and Its Instantiations Using PAR Method
Jinyun Xue
1755 A Differential Evaluation of Fixpoint Iterations
Joonseon Ahn
1820 Abstract Interpretation over Infinite Abstract Domains (Tentative Report)
Mizuhito Ogawa

Banquet I: 19:00-21:00

Tuesday, December 18, 2001

Session VI: 9:00-10:15

0900   Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata
Mitsuharu Yamamoto and Masami Hagiya
0925 Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram
Farn Wang
0950 Analysis of Secure Information Flow by Model-Checking
Kyung-Goo Doh and Seung Cheol Shin

Session VII: 10:45-12:00

1045   Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis
Norio Kato and Kazunori Ueda
1110 On Modular Transformation of Structural Content
Tyng-Ruey Chuang and Jan-Li Lin
1135 VM$\lambda$: a Functional Calculus for Scientific Discovery
Eijiro Sumii and Hideo Bannai

Lunch: 12:00-14:00

Session VIII: 14:00-15:15

1400   Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus
Masahito Hasegawa
1425 Computability and Complexity Results for a Spatial Assertion Language for Data Structures
Cristiano Calcagno, Hongseok Yang, and Peter W. O'Hearn
1450 Proof-Directed Compilation for Inter-operable Languages
Atsushi Ohori

Session IX: 15:45-17:00

1545   Resource-Passing Concurrent Programming
Kazunori Ueda
1610 Simple Type Inference for Structural Polymorphism
Jacques Garrigue
1635 Static Monotonicity Analysis for -definable Functions over Lattices
Andrzej Murawski and Kwangkeun Yi

Session X: 17:30-18:20

1730   A Compositional Framework for Querying Optimized Ranges
Haiyan Zhao, Zhenjiang Hu, and Masato Takeichi
1755 Estimating Exception-Induced Control Flow for Java
Byeong-Mo Chang and Jang-Wu Jo

Banquet II: 19:00-21:00