| 2000 | A Declarative Approach to Concurrency in Java. Rafael Ramírez, Andrew E. Santosa |
| 2000 | A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms. Oukseh Lee, Kwangkeun Yi |
| 2000 | A New Criterion for Safe Program Transformations. Yasuhiko Minamide |
| 2000 | A Note on Algebraic Structure of Tree Decomposition of Graphs. Mizuhito Ogawa |
| 2000 | A Note on Model Checkers Reuse and Validation. Nikolay V. Shilov, Kwangkeun Yi |
| 2000 | Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection. Koichi Takahashi, Masami Hagiya |
| 2000 | An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Machines. Hui Wu, Joxan Jaffar |
| 2000 | An Open Environment for Cooperative Equational Solving. Tetsuo Ida, Mircea Marin |
| 2000 | Automatic Generation of Very Efficient Programs by Generalized Partial Computation. Yoshihiko Futamura, Zenjiro Konishi, Robert Glück |
| 2000 | Berlioz: Compiling Oz to Java Bytecode. Le Xuan Thang |
| 2000 | Conditional Analysis and Verification. Nevin Heintze, Joxan Jaffar, Razvan Voicu |
| 2000 | Deriving Pre-Conditions for Array Bound Check Elimination. Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu |
| 2000 | Generic Validation of Structural Content with Parametric Modules. Tyng-Ruey Chuang |
| 2000 | Kima - An Automated Error Correction System for Concurrent Logic Programs. Yasuhiro Ajiro, Kazunori Ueda |
| 2000 | Light Logic and Resource Bounded Computation. C.-H. Luke Ong |
| 2000 | Linearity Analysis of Concurrent Logic Programs. Kazunori Ueda |
| 2000 | Logical Analysis of Assembly Language. Atsushi Ohori |
| 2000 | Mining Optimized Ranges. Haiyan Zhao, Zhenjiang Hu, Masato Takeichi |
| 2000 | On Building Trees with Minimum Height, Relationally. Shin-Cheng Mu |
| 2000 | Partial CPS Transformation Using Static Annotation. Jungtaek Kim, Kwangkeun Yi |
| 2000 | Principles of Inverse Computation in a Functional Language. Sergei M. Abramov, Robert Glück |
| 2000 | Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. Jeff Polakow, Kwangkeun Yi |
| 2000 | The First Asian Workshop on Programming Languages and Systems, APLAS 2000, National University of Singapore, Singapore, December 18-20, 2000, Proceedings |