| 2001 | Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis. | Norio Kato, Kazunori Ueda |
| 2001 | Dynamic Control Operators in Type Theory. | Yukiyoshi Kameyama |
| 2001 | Resource Usage Analysis. | Atsushi Igarashi, Naoki Kobayashi |
| 2001 | An Accumulative Parallel Skeleton for All. | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
| 2001 | Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. | Masahito Hasegawa |
| 2001 | Jones Optimality and the Strength of Program Specializers. | Robert Glck |
| 2001 | Simple Type Inference for Structural Polymorphism. | Jacques Garrigue |
| 2001 | Analysis of Secure Information Flow by Model-Checking. | Kyung-Goo Doh, Seung Cheol Shin |
| 2001 | On Modular Transformations of Structural Content. | Tyng-Ruey Chuang, Jan-Li Lin |
| 2001 | A Type System for the Push-Enter Model. | Kwanghoon Choi, Taisook Han |
| 2001 | Higher-Order Polymorphic Sized Types for Safety Checks. | Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu |
| 2001 | Estimating Exception-Induced Control Flow for Java. | Byeong-Mo Chang, Jang-Wu Jo |
| 2001 | Computability and Complexity Results for a Spatial Assertion Language for Data Structures. | Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn |
| 2001 | Exploring Dataflow in Legacy Systems. | Mikhail A. Bulyonkov, N. N. Filatkina |
| 2001 | Efficient Interpretation of Chart Pattern Language. | Saswat Anand, Siau-Cheng Khoo |
| 2001 | A Differential Evaluation of Fixpoint Iterations. | Joonseon Ahn |
| 2000 | Mining Optimized Ranges. | Haiyan Zhao, Zhenjiang Hu, Masato Takeichi |
| 2000 | An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Machines. | Hui Wu, Joxan Jaffar |
| 2000 | Linearity Analysis of Concurrent Logic Programs. | Kazunori Ueda |
| 2000 | Berlioz: Compiling Oz to Java Bytecode. | Le Xuan Thang |
| 2000 | Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection. | Koichi Takahashi, Masami Hagiya |
| 2000 | A Note on Model Checkers Reuse and Validation. | Nikolay V. Shilov, Kwangkeun Yi |
| 2000 | A Declarative Approach to Concurrency in Java. | Rafael Ramrez, Andrew E. Santosa |
| 2000 | Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. | Jeff Polakow, Kwangkeun Yi |
| 2000 | Light Logic and Resource Bounded Computation. | C.-H. Luke Ong |