| 2002 | Shrinkable Polymorphic Variants. | Koji Kagawa |
| 2002 | Pruning Unnecessary Computations using Improving Sequences. | Hideya Iwasaki |
| 2002 | Functional Logic Origami Programming. | Tetsuo Ida |
| 2002 | Recursion Removal from Recursive Programs with One Descent Function. | Yusuke Ichikawa, Zenjiro Konishi, Yoshihiko Futamura |
| 2002 | Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
| 2002 | Specification based on Backus-Naur Formalism and Programming Language. | Guoyong, Peimin Deng, Jiali Feng |
| 2002 | An Automatic Program Inverter for Lisp: Potential and Limitations. | Robert Glck, Masahiko Kawabe |
| 2002 | Relaxing the Value Restriction. | Jacques Garrigue |
| 2002 | On Quasi-Open Bisimulation. | Yuxi Fu |
| 2002 | An Improved Differential Fixpoint Iteration Method for Program Analysis. | Hyunjun Eo, Kwangkeun Yi |
| 2002 | Data Flow Analysis of Secure Information-Flow. | Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi |
| 2002 | Extending Sized Type with Collection Analysis. | Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu |
| 2001 | A Compositional Framework for Querying Optimized Ranges. | Haiyan Zhao, Zhenjiang Hu, Masato Takeichi |
| 2001 | Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata. | Mitsuharu Yamamoto, Masami Hagiya |
| 2001 | Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method. | Jinyun Xue |
| 2001 | Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram. | Farn Wang |
| 2001 | Resource-Passing Concurrent Programming. | Kazunori Ueda |
| 2001 | VM lambda: a Functional Calculus for Scientific Discovery. | Eijiro Sumii, Hideo Bannai |
| 2001 | Proof-Directed Compilation for Inter-operable Languages. | Atsushi Ohori |
| 2001 | Abstract Interpretation over Infinite Abstract Domains (Tentative Report). | Mizuhito Ogawa |
| 2001 | Static Monotonicity Analysis for lambda-Definable Functions. over Lattices. | Andrzej S. Murawski, Kwangkeun Yi |
| 2001 | Functional Quantum Programming. | Shin-Cheng Mu, Richard S. Bird |
| 2001 | Verifying the CPS Transformation in Isabelle/HOL. | Yasuhiko Minamide, Koji Okuma |
| 2001 | An Effect System Combining Alias and Liveness for Explicit Memory Reuse. | Oukseh Lee |
| 2001 | Collaborative Constraint Functional Logic Programming in an Open Environment. | Norio Kobayashi, Mircea Marin, Tetsuo Ida |