| 2001 | A Compositional Framework for Querying Optimized Ranges. Haiyan Zhao, Zhenjiang Hu, Masato Takeichi |
| 2001 | A Differential Evaluation of Fixpoint Iterations. Joonseon Ahn |
| 2001 | A Type System for the Push-Enter Model. Kwanghoon Choi, Taisook Han |
| 2001 | Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata. Mitsuharu Yamamoto, Masami Hagiya |
| 2001 | Abstract Interpretation over Infinite Abstract Domains (Tentative Report). Mizuhito Ogawa |
| 2001 | An Accumulative Parallel Skeleton for All. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
| 2001 | An Effect System Combining Alias and Liveness for Explicit Memory Reuse. Oukseh Lee |
| 2001 | Analysis of Secure Information Flow by Model-Checking. Kyung-Goo Doh, Seung Cheol Shin |
| 2001 | Collaborative Constraint Functional Logic Programming in an Open Environment. Norio Kobayashi, Mircea Marin, Tetsuo Ida |
| 2001 | Computability and Complexity Results for a Spatial Assertion Language for Data Structures. Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn |
| 2001 | Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method. Jinyun Xue |
| 2001 | Dynamic Control Operators in Type Theory. Yukiyoshi Kameyama |
| 2001 | Efficient Interpretation of Chart Pattern Language. Saswat Anand, Siau-Cheng Khoo |
| 2001 | Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram. Farn Wang |
| 2001 | Estimating Exception-Induced Control Flow for Java. Byeong-Mo Chang, Jang-Wu Jo |
| 2001 | Exploring Dataflow in Legacy Systems. Mikhail A. Bulyonkov, N. N. Filatkina |
| 2001 | Functional Quantum Programming. Shin-Cheng Mu, Richard S. Bird |
| 2001 | Higher-Order Polymorphic Sized Types for Safety Checks. Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu |
| 2001 | Jones Optimality and the Strength of Program Specializers. Robert Glück |
| 2001 | Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. Masahito Hasegawa |
| 2001 | On Modular Transformations of Structural Content. Tyng-Ruey Chuang, Jan-Li Lin |
| 2001 | Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis. Norio Kato, Kazunori Ueda |
| 2001 | Proof-Directed Compilation for Inter-operable Languages. Atsushi Ohori |
| 2001 | Resource Usage Analysis. Atsushi Igarashi, Naoki Kobayashi |
| 2001 | Resource-Passing Concurrent Programming. Kazunori Ueda |
| 2001 | Simple Type Inference for Structural Polymorphism. Jacques Garrigue |
| 2001 | Static Monotonicity Analysis for lambda-Definable Functions. over Lattices. Andrzej S. Murawski, Kwangkeun Yi |
| 2001 | The Second Asian Workshop on Programming Languages and Systems, APLAS'01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings |
| 2001 | VM lambda: a Functional Calculus for Scientific Discovery. Eijiro Sumii, Hideo Bannai |
| 2001 | Verifying the CPS Transformation in Isabelle/HOL. Yasuhiko Minamide, Koji Okuma |