[YL]Publications

NOTE: Previous ABCL papers are not currently available for ftp; they are published in a book "ABCL: an Object-Oriented Concurrent System" edited by Akinori Yonezawa, The MIT Press, 1990
The actual directory is ftp.yl.is.s.u-tokyo.ac.jp:pub/papers.
Keywords:

2006

Toshiyuki Maeda and Akinori Yonezawa
Writing practical memory management code with a strictly typed assembly language
In Proceedings of the 3rd Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management (SPACE 2006), Jan. 2006
Nicolas Marti, Reynald Affeldt, and Akinori Yonezawa
Verification of the heap manager of an operating system using separation logic
In Proceedings of the 3rd Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management (SPACE 2006), Jan. 2006
Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa
Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference
In Proceedings of the ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2006), Jun. 2006
Khaled Ragab, Yoshihiro Oyama, and Akinori Yonezawa
K-Interleaving Rendezvous Overlay Network Construction Scheme
In Proceedings of the 5th IEEE/ACIS International Conference on Computer and Information Science and 1st IEEE/ACIS International Workshop on Component-Based Software Engineering, Software Architecture and Reuse (ICIS-COMSAR '06), Jul. 2006
Nicolas Marti, Reynald Affeldt, and Akinori Yonezawa
Model-checking of a Multi-threaded Operating System
In Proceedings of the 23rd Workshop of the Japan Society for Software Science and Technology, Sep. 2006
Nicolas Marti, Reynald Affeldt, Akinori Yonezawa
Formal Verification of the Heap Manager of an Operating System using Separation Logic
In Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM 2006), Oct. 2006
Koichi Onoue, Yoshihiro Oyama, Akinori Yonezawa
A Virtual Machine Migration System Based on a CPU Emulator
In Proceedings of the 1st International Workshop on Virtualization Technology in Distributed Computing (VTDC 2006), Nov. 2006
Hidehiko Masuhara, Yusuke Endoh, Akinori Yonezawa
A Fine-Grained Join Point Model for More Reusable Aspects
In Proceedings of the 4th ASIAN Symposium on Programming Languages and Systems (APLAS 2006), Nov. 2006
Reynald Affeldt and Nicolas Marti
An approach to formal verification of arithmetic functions in assembly
In Proceedings of the 11th Annual Asian Computing Science Conference (ASIAN 2006), Focusing on Secure Software and Related Issues, Dec. 2006

2005

Hideaki Tatsuzawa, Hidehiko Masuhara, and Akinori Yonezawa
Aspectual Caml: an Aspect-Oriented Functional Language
In Proceedings of Foundations of Aspect-Oriented Languages (FOAL), 2005
Yoshihiro Oyama, Koichi Onoue, and Akinori Yonezawa
Speculative Security Checks in Sandboxing Systems
In In Proceedings of The 1st International Workshop on Security in Systems and Networks (SSN2005), Denver, USA, April 2005
Reynald Affeldt, Naoki Kobayashi
Verification of Concurrent Programs using the Coq Proof Assistant: a Case Study
In IPSJ SIG1(PRO24) vol. 46, pp. 110-120, 2005

2004

Kokichi Futatsugi, Naoki Yonezaki and Fumio Mizoguchi
Software Security Ⅱ
In Software Security Ⅱ
Takashi Masuyama, Frederic Peschanski, Yoshihiro Oyama and Akinori Yonezawa
MobileScope: a Programming Language with Objective Mobility
In International Workshop on Mobile Distributed Computing(MDC'04), 2004/3
Frederic Peschanski, Reynald Affeldt and Jean-Pierre Briot
Interaction Spaces: Towards a Geometry of Mobile Agent Systems
In Langages et Modeles Objects 2004 vol. RESTIL'Object, 2004
Frederic Peschanski, Jean-Pierre Briot
Dynamic Adaptation of Distributed Components
In Technique et Science Informatique vol. 23 no. 2, 2004
Kenji Kaneda, Kenjiro Taura, and Akinori Yonezawa
Routing and Resource Discovery in Phoenix Grid-Enabled Message Passing Library
In 4th IEEE/ACM International Symposium on Cluster Computing and the Grid, pp. 670-677, April 2004
Toshio Endo, Kenjiro Taura, Kenji Kaneda, and Akinori Yonezawa
High Performance LU Factorization for Non-Dedicated Clusters
In 4th IEEE/ACM International Symposium on Cluster Computing and the Grid, pp. 678-685, April 2004
Akihito Nagata, Naoki Kobayashi, and Akinori Yonezawa
Region-Based Memory Management for a Dynamically-Typed Language
In Proceedings of 2nd Asian Symposium on Programming Language and Systems (APLAS 2004), Springer LNCS 3302, pp.229-245, 2004
Koichi Kodama, Kohei Suenaga, and Naoki Kobayashi
Translation of Tree-processing Programs into Stream-processing Programs based on Ordered Linear Type
In Proceedings of 2nd Asian Symposium on Programming Language and Systems (APLAS 2004), Springer LNCS 3302, pp.41-56, 2004
Reynald Affeldt and Naoki Kobayashi
Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes
In 11th International Workshop on Expressiveness in Concurrency (EXPRESS'04), August 2004, London, UK
Reynald Affeldt and Naoki Kobayashi
A Coq Library for Verification of Concurrent Programs
In 4th International Workshop on Logical Frameworks and Meta-languages (LFM'04), July 2004, Cork, Ireland

2003

Etsuya Shibayama and Akinori Yonezawa
Secure Software Infrastructure in the Internet Age
In New Generation Comput. 21(2): (2003), pages 87-106.
Eric Y. Chen, Hitoshi Fuji and Akinori Yonezawa
Federation of Network Service Providers and Its Applications
In The Eighth IEEE Symposium on Computers and Communications, 2003/6
Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii and Akinori Yonezawa
Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure(Progress Report)
In Proceedings of the International Symposium on Software Security, 2003, Lecture Notes in Computer Science vol. 2609 pp. 133--153
Toshiyuki Maeda and Akinori Yonezawa
Kernel Mode Linux: Toward an Operating System Protected by a Type Theory
In Proceedings of the 8th Asian Computing Science Conference(ASIAN '03), 2003/12, LNCS vol. 2896 pp. 3-17
Kenjiro Taura, Kenji Kaneda, Toshio Endo and Akinori Yonezawa
Phoenix: a Parallel Programming Model for Accommodating Dynamically Joining/Leaving Resources
In 9th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming pp. 216-229, 2003/6
Frederic Peschanski, Reynald Affeldt and Akinori Yonezawa
Interaction Spaces: A Model for Distributed and Mobile Systems
In Journees Scientifique Francophone 2003
Frederic Peschanski, Jean-Pierre Briot and Akinori Yonezawa
Fine-grained Dynamic Adaptation of Distributed Components
In Proceedings of International Middleware Conference 2003, LNCS vol. 2672 pp. 123-142
Frederic Peschanski, David Julien
When Concurrent Control Meets Functional Requirements, or Z + Petri Nets
In Proceedings of International Conference of Z and B Users ZB2003, LNCS vol. 2651 pp. 79-97
Kenji Kaneda, Kenjiro Taura and Akinori Yonezawa
Virtual Private Grid: A Command Shell for Utilizing Hundreds of Machines Efficiently
In Future Generation Computer System(FGCS) vol. 19 no. 4 pp. 563-573, 2003
Reynald Affeldt and Naoki Kobayashi
Formalization and Verification of a Mail Server in Coq
In International Symposium on Software Security, 2002/11, Lecture Notes in Computer Science vol. 2609 pp. 217-233
Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii and Akinori Yonezawa
The Interface Definition Language for Fail-Safe C
In Proceedings of International Symposium on Software Security(ISSS2003), 2003/11

2002

Kaneda Kenji, Kenjiro Taura, and Akinori Yonezawa
Virtual Private Grid (VPG) : A Command Shell for Utilizing Hundreds of Machines Efficiently
In 2nd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2002)
Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa
Supporting Objects in Run-time Bytecode Specialization
In ACM SIGPLAN ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (ASIA-PEPM 2002)
Eijiro Sumii and Hideo Bannai
VMlambda: A Functional Calculus for Scientific Discovery
To appear after revision in Proceedings of 6th International Symposium on Functional and Logic Programming (A preliminary version appeared in the informal proceedings of The 2nd Asian Workshop on Programming Languages and Systems 2001)
Naoshi Tabuchi, Eijiro Sumii, and Akinori Yonezawa.
Regular Expression Types for Strings in a Text Processing Language
To appear after revision in Proceedings of Workshop on Types in Programming (TIP 2002)
Viet Ha Nguyen, Kenjiro Taura and Akinori Yonezawa
Parallelizing Programs Using Access Traces
In 6th Workshop on Languages, Compilers, and Run-time Systems for Scalable Computers (LCR 2002)

2001

Toshio Endo, Kenjiro Taura, and Akinori Yonezawa
Predicting Scalability of Parallel Garbage Collectors on Shared Memory Multiprocossors. In Proceedings of International Parallel and Distributed Processing Symposium (IPDPS 2001)
( gzipped Postscript, PDF)
Tatsurou Sekiguchi, Takahiro Sakamoto, and Akinori Yonezawa
Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling. In Advances in Exception Handling Techniques, to appear
( PDF)
Yutaka Oiwa, Hidehiko Masuhara, Akinori Yonezawa
DynJava: Type Safe Dynamic Code Generation in Java
In 3rd JSSST Workshop on Programming and Programming Languages (PPL 2001)
Daisuke Hoshina, Eijiro Sumii, and Akinori Yonezawa
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation
In 4th International Symposium on Theoretical Aspects of Computer Software (TACS 2001). Lecture Notes in Computer Science, Springer-Verlag, Germany, vol. 2215
Eijiro Sumii and Benjamin Pierce
Logical Relations for Encryption
To appear after revision in Journal of Computer Security (An extended abstract appeared in Proceedings of 14th IEEE Computer Security Foundations Workshop 2001) (A preliminary version appeared as "The Cryptographic lambda-Calculus: Syntax, Semantics, Type System and Logical Relations" in Proceedings of JSSST Workshop on Programming and Programming Languages (PPL 2001))
Eijiro Sumii and Naoki Kobayashi
A Hybrid Approach to Online and Offline Partial Evaluation
In Higher-Order and Symbolic Computation, Kluwer Academic Publishers An extended abstract appeared as "Online-and-Offline Partial Evaluation: A Mixed Approach" in Proceedings of 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'00) (ACM SIGPLAN Notices, ACM Press vol. 34, no. 11, 1999)

2000

Hiroshi Yamauchi, Hidehiko Masuhara, Daisuke Hoshina, Tatsurou Sekiguchi and Akironi Yonezawa
Wrapping Class Libraries for Migration-Transparent Resource Access by Using Compile-Time Reflection. In Workshop on Reflective Middleware Proceedings (RM2000) , pp. 19--20, Apr. 2000.
(2 pages, gzipped PostScript (106k bytes), PDF (64k bytes))
Yoshihiro Oyama, Kenjiro Taura, and Akinori Yonezawa
Online Computation of Critical Paths for Multithreaded Languages. In Proceedings of 5th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS 2000), held in conjunction with IPDPS 2000, volume 1800 of Lecture Notes in Computer Science, Cancun, Mexico, pages 301--313, May, 2000.
( gzipped Postscript, PDF)
Kenjiro Taura and Andrew Chien
A Heuristic Algorithm for Mapping Communicating Tasks on Heterogeneous Resources. In Proceedings of the Heterogeneous Computing Workshop 2000
( PDF)
Hyo Jung Song, Xin Liu, Dennis Jakobsen, Ranjita Bhagwan, Xianan Zhang, Kenjiro Taura and Andrew Chien
The MicroGrid: a Scientific Tool for Modeling Computational Grids. In Proceedings of the SC2000
( PDF)
Hiroshi Yamauchi, Hidehiko Masuhara, Daisuke Hoshina, Tatsurou Sekiguchi, and Akironi Yonezawa
Wrapping Class Libraries for Migration-Transparent Resource Access by Using Compile-Time Reflection. In Proceedings of Workshop on Reflective Middleware 2000
( gzipped postscript)
Yoshizumi Tanaka, Kenjiro Taura, Mitsuhisa Sato, and Akinori Yonezawa
Performance Evaluation of OpenMP Applications with Nested Parallelism. In Proceedings of 5th International Workshop on Languages, Ccompiers and Runtime Systems for Scalable Computers (LCR 2000)
( gzipped postscript)
Takahiro Sakamto, Tatsurou Sekiguchi, and Akinori Yonezawa
Bytecode Transformation for Portable Thread Migration in Java. In Proceedings of Agent Systems, Mobile Agents, and Applications, LNCS 1882
( PDF)
Tatsurou Sekiguchi, Takahiro Sakamoto, and Akinori Yonezawa
Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling. In Advances in Exception Handling Techniques, to appear
( PDF)
Yutaka Oiwa and Kenjiro Taura and Akinori Yonezawa
Extending Java Virtual Machine with Integer-Reference Conversion. In Concurrency: Practice and Experience, 407--422
( gzipped postscript)
Hidehiko Masuhara and Akinori Yonezawa
Run-time Bytecode Specialization: A Portable Approach to Generating Optimized Specialized Code. In Second Symposium on Programs as Data Objects (PADO II), to appear
( gzipped postscript)
Hidehiko Masuhara and Yuuya Sugita and Akinori Yonezawa
Dynamic Compilation of a Reflective Language Using Run-Time Specialization. In International Symposium on Principles of Software Evolution, 125--134
( PDF)
Hidehiko Masuhara and Akinori Yonezawa
An Object-Oriented Concurrent Reflective Language ABCL/R3: Its Meta-level Design and Efficient Implementation Techniques. In Object-Oriented Parallel and Distributed Programming, 151--165, HERMES Science Publications, Jean-Paul Bahsoun, Takanobu Baba, Jean-Pierre Briot, and Akinori Yonezawa, editor
( PDF)
Masatomo Hashimoto and Akinori Yonezawa
MobileML: A Programming Language for Mobile Computation. In Proc. 4th International Conference on Coordination Languages and Models (COORDINATION 2000), 198--215, LNCS 1906
( PDF)
Benjamin Pierce and Eijiro Sumii
Relating Cryptography and Polymorphism
Manuscript
Eijiro Sumii
An Implementation of Transparent Migration on Standard Scheme
In Proceedings of Workshop on Scheme and Functional Programming (2000)
Eijiro Sumii and Naoki Kobayashi
Online Type-Directed Partial Evaluation for Dynamically-Typed Languages
In Computer Software An extended abstract appeared in Proceedings of JSSST Workshop on Programming and Programming Languages (PPL 1999)

1999

Yoshihiro Oyama, Kenjiro Taura, and Akinori Yonezawa
Executing Parallel Programs with Synchronization Bottlenecks Efficiently. In Proceedings of International Workshop on Parallel and Distributed Computing for Symbolic and Irregular Applications (PDSIA '99), Sendai, Japan, pages 182--204, World Scientific, July, 1999.
( gzipped Postscript, PDF)
Hidehiko Masuhara and Akinori Yonezawa
Generating Optimized Residual Code in Run-Time Specialization. In Technical Report on Partial Evaluation and Program Transformation Day (PE Day'99) , Nov. 1999, to appear.
(20 pages, gzipped PostScript (232k bytes), PDF (173k bytes))
Kenjiro Taura, Kunio Tabata, and Akinori Yonezawa
StackThreads/MP: Integrating Futures into Calling Standard. In Proceedings of the seventh ACM SIGPLAN symposium on Principles and practice of parallel programming (PPoPP99)
( gzipped Postscript (letter), gzipped Postscript (A4), PDF)
Tatsurou Sekiguchi, Hidehiko Masuhara, and Akinori Yonezawa
A Simple Extension of Java Language for Controllable Transparent Migration and its Portable Implementation. In Coordination Languages and Models (Lecture Notes in Computer Science 1594)
( gzipped Postscript (A4))
Naoki Kobayashi, Toshihiro Shimizu, and Akinori Yonezawa
Distributed Concurrent Linear Logic Programming
In Theoretical Computer Science, Vol.227, No.2, pp.185-220, Elsevier Science
Naoki Kobayashi and Akinori Yonezawa
Distributed and Concurrent Objects Based on Linear Logic (Invited Talk)
In International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS 1999)

1998

Hidehiko Masuhara and Akinori Yonezawa.
A Reflective Approach to Support Software Evolution. In International Workshop on Principles of Software Evolution (IWPSE'98) , pp.135-139, Apr. 1998.
(5 pages, gzipped PostScript (87k bytes))
Hidehiko Masuhara and Akinori Yonezawa.
Design and partial evaluation of meta-objects for a concurrent reflective language. In Proceedings of European Conference on Object-Oriented Programming (ECOOP'98) (LNCS 1445), pp.418-439, July 1998.
(22 pages, compressed PostScript version (115k bytes), a4 size (115k bytes), PDF format (293k bytes))
Haruo Hosoya and Akinori Yonezawa.
Garbage Collection via Dynamic Type Inference --- A Formal Treatment --- . In proceedings of the Second Workshop on Types in Compilation, 1998, to appear. (compressed PostScript a4 version)
Yoshihiro Oyama.
An Efficient Compilation Framework for Parallel Programming Languages Based on a Concurrent Process Calculus. Master's thesis, University of Tokyo, Tokyo, February 1998. (gzipped PostScript a4 version)
Yuuya Sugita, Hidehiko Masuhara, Ken'ichi Harada, and Akinori Yonezawa
On-the-fly Specialization of Reflective Programs Using Dynamic Code Generation Techniques. in Proceedings of OOPSLA'98 workshop on Reflective Programming in C++ and Java, October 1998. (gzipped Postscript)
Eijiro Sumii and Naoki Kobayashi
A Generalized Deadlock-Free Process Calculus
In Proceedings of HLCL '98 3rd International Workshop on High-Level Concurrent Languages (Electronic Notes in Theoretical Computer Science, Elsevier Science)

1997

Tatsurou Sekiguchi and Akinori Yonezawa.
A Calculus with Code Mobility. In Proceedings of Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems , 1997. (compressed PostScript a4 version)
Kenjiro Taura and Akinori Yonezawa.
Fine-grain Multithreading with Minimal Compiler Support---A Cost Effective Approach to Implementing Efficient Multithreading Languages . In Proceedings of the ACM SIGPLAN Conference on Programming Language Design & Implementation , pages 320--333, Las Vegas, Nevada, June 1997. (gzipped PostScript version, a4 size)
Kenjiro Taura and Akinori Yonezawa.
An Effective Garbage Collection Strategy for Parallel Programming Languages on Large Scale Distributed-Memory Machines . In Proceedings of the ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), pages 264--275, Las Vegas, Nevada, June 1997. (gzipped PostScript version, a4 size)
Kenjiro Taura and Akinori Yonezawa.
Efficient and Reusable Implementation of Fine-Grain Multithreading and Garbage Collection on Distributed-Memory Parallel Computers . PhD Thesis, University of Tokyo 1997. (gzipped PostScript version, a4 size)
Atsushi Igarashi and Naoki Kobayashi
Type-based Analysis of Communication for Concurrent Programming Languages. Technical Report 97-03, Department of Information Science, Faculty of Science, University of Tokyo, June 1997. (gzipped PostScript a4 version)
Atsushi Igarashi and Naoki Kobayashi
Type-based Analysis of Communication for Concurrent Programming Languages. In Proceedings of International Static Analysis Symposium (SAS'97), volume 1302 of LNCS, pages 187--201, Paris, September 1997. (gzipped PostScript A4 version)
Hidehiko Masuhara and Akinori Yonezawa.
Reasoning-conscious Meta-object Design of a Reflective Concurrent Language. In Proceedings of IMSA'97 International Symposium on Biologically Inspired Computation, Tsukuba, Oct., 1997, pp.42-56. (compressed PostScript version, a4 size,)
Toshio Endo, Kenjiro Taura and Akinori Yonezawa
A Scalable Mark-Sweep Garbage Collector on Large-Scale Shared-Memory Machines. In Proceedings of High Performance Networking and Computing(SC97) , November 1997. (gzipped PostScript A4 version)
Naohito Sato, Satoshi Matsuoka, Jean-Marc Jezequel and Akinori Yonezawa
A Methodology for Specifying Data Distribution using only Standard Object-Oriented Features. In the 11th ACM International Conference on Supercomputing, July 1997. (gzipped PostScript version, A4 size)
Yoshihiro Oyama, Kenjiro Taura and Akinori Yonezawa.
An Efficient Compilation Framework for Languages Based on a Concurrent Process Calculus. In proceedings of Euro-Par'97 Parallel Processing, 546-553, LNCS 1300, 1997. (gzipped PostScript a4 version)
Yoshihiro Oyama, Kenjiro Taura and Akinori Yonezawa.
An Efficient Compilation Framework for Languages Based on a Concurrent Process Calculus. Technical Report 97-07, Department of Information Science, Faculty of Science, University of Tokyo, July 1997. (gzipped PostScript a4 version)
Asai, K., H. Masuhara, and A. Yonezawa
Partial Evaluation of Call-by-value Lambda-calculus with Side-effects
In ACM SIGPLAN Conference on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97). ACM SIGPLAN Notices, Vol. 32, No. 12
Toshiyuki Takahashi, Yutaka Ishikawa, Mitsuhisa Sato, Akinori Yonezawa
A Compile-Time Meta-Level Architecture Supporting Class Specific Optimization
In ISCOPE 1997

1996

Naohito Sato, Satoshi Matsuoka, and Akinori Yonezawa.
Hierarchical collections: an efficient scheme to build an object-oriented distributed class library for massively parallel computation. In the 2nd International Symposium on Object Technologies for Advanced Software, LNCS1047, March 1996. (compressed PostScript a4 version)
Kenjiro Taura and Akinori Yonezawa.
Schematic: A concurrent object-oriented extension to scheme. Technical report, University of Tokyo, 1996. (compressed PostScript version, a4 size)
Hidehiko Masuhara, Satoshi Matsuoka, and Akinori Yonezawa.
Implementing parallel language constructs using a reflective object-oriented language. In Reflection'96, San Francisco, April 1996. (compressed PostScript version, a4 size)
Tomio Kamada and Akinori Yonezawa.
A Debugging Scheme for Fine-Grain Threads on Massively Parallel Processors with a Small Amount of Log Information --- Replay and Race Detection---. In Proceedings of International Workshops of Parallel Symbolic Languages and Systems (PSLS'95), Beaune, France, Lecture Notes in Computer Science, No.1068, pages 108-127 1996. (compressed PostScript a4 version)
Haruo Hosoya, Naoki Kobayashi and Akinori Yonezawa.
Partial Evaluation Scheme for Concurrent Languages and its Correctness. In proceedings of Euro-Par'96 Parallel Processing, 625-632, LNCS 1123, 1996. (compressed PostScript a4 version)
Asai, K., S. Matsuoka, and A. Yonezawa
Duplication and Partial Evaluation - For a Better Understanding of Reflective Languages -
In Lisp and Symbolic Computation, Vol. 9, Nos. 2/3 (Kluwer Academic Publishers)

1995

Naoki Kobayashi, Motoki Nakade, and Akinori Yonezawa.
Static analysis on communication for asynchronous concurrent programming languages. Technical Report 95-04, Department of Information Science, Faculty of Science, University of Tokyo, April 1995. (compressed PostScript a4 version)
Hidehiko Masuhara, Satoshi Matsuoka, Kenichi Asai, and Akinori Yonezawa.
Compiling away the meta-level in object-oriented concurrent reflective languages using partial evaluation. In Proceedings of Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'95) (ACM SIGPLAN Notices 30(10)), pages 300-315, October 1995. (compressed PostScript version, a4 size)
Naoki Kobayashi, Motoki Nakade, and Akinori Yonezawa.
Static analysis of communication for asynchrnous concurrent programming languages. In Proceedings of International Static Analysis Symposium, Lecture Notes in Computer Science, 1995. (compressed PostScript version, a4 size)
Naoki Kobayashi and Akinori Yonezawa.
Towards foundations for concurrent object-oriented programming - types and language design. Theory and Practice of Object Systems, John Wiley & Sons. (compressed PostScript version, a4 size)

1994

Jacques Garrigue and Hassan Aït-Kaci.
The typed polymorphic label-selective $\lambda$-calculus. In Proc. ACM Symposium on Principles of Programming Languages, pages 35-47, 1994. ( abstract, compressed PostScript version, a4 size)
Masahiro Yasugi.
A concurrent object-oriented programming language system for highly parallel data-driven computers and its applications. Technical Report 94-7e, Department of Information Science, Faculty of Science, University of Tokyo, April 1994. (Doctoral Thesis, Mar. 1994). (compressed PostScript version, a4 size)
Jacques Garrigue.
The transformation calculus. Technical Report 94-09, Department of Information Science, Faculty of Science, University of Tokyo, April 1994. (abstract, compressed PostScript version, a4 size)
Tatsurou Sekiguchi and Akinori Yonezawa.
A complete type inference system for subtyped recursive types. In Proc. of Theoretical Aspects of Computer Software, volume 789 of Lecture Notes in Computer Science, pages 667-686. Springer-Verlag, April 1994. (compressed PostScript version, a4 size)
Kenjiro Taura.
Design and implementation of concurrent object-oriented programming languages on stock multicomputers. Master's thesis, The University of Tokyo, Tokyo, February 1994. (compressed PostScript version, a4 size)
Kenjiro Taura, Satoshi Matsuoka, and Akinori Yonezawa.
ABCL/f: A future-based polymorphic typed concurrent object-oriented language - its design and implementation -. In G. Blelloch, M. Chandy, and S. Jagannathan, editors, Proceedings of the DIMACS workshop on Specification of Parallel Algorithms, number 18 in Dimacs Series in Discrete Mathematics and Theoretical Computer Science, pages 275-292. American Mathematical Society, 1994.
Hidehiko Masuhara.
Study on a reflective architecture to provide efficient dynamic resource management for highly-parallel object-oriented applications. Master's thesis, Department of Information Science, The University of Tokyo, February 1994. (compressed PostScript version, a4 size)
Laurent Thomas.
Inheritance anomaly in true concurrent object oriented languages: A proposal. In IEEE TENCON'94, pages 541-545, August 1994. (compressed PostScript a4 version)
Shin Takahashi, Ken Miyashita, Satoshi Matsuoka, and Akinori Yonezawa.
A framework for constructing animations via declarative mapping rules. In IEEE VL'94, 1994. (compressed PostScript version, a4 size)
Konno Kazuhiro, Nagatsuka Masaaki, Kobayashi Naoki, Matsuoka Satoshi, and Yonezawa Akinori.
PARCS: An MPP-Oriented CLP language. In Proceedings of the First International Symposium on Parallel Symbolic Computation (PASCO'94), pages 254-263. World Scientific, September 1994. (compressed PostScript version, a4 size)
Masahiro Yasugi, Satoshi Matsuoka, and Akinori Yonezawa.
The plan-do style compilation technique for eager data transfer in thread-based execution. In Proc. of the IFIP WG10.3 International Conference on Parallel Architectures and Compilation Techniques, Montr&{acute;e}al, Canada, pages 57-66, August 1994. (compressed PostScript version, a4 size)
Hidehiko Masuhara, Satoshi Matsuoka, and Akinori Yonezawa.
An object-oriented concurrent reflective language for dynamic resource management in highly parallel computing. IPSJ SIG Notes, 94-PRG-18:57-64, July 1994. (compressed PostScript version, a4 size)
Ken Miyashita, Satoshi Matsuoka, Shin Takahashi, and Akinori Yonezawa.
Interactive generation of graphical user interfaces by multiple visual examples. In Proceedings of the ACM User Interface Software and Technology '94 (UIST'94), 1994. (compressed PostScript a4 version)
Hiroshi Hosobe, Ken Miyashita, Shin Takahashi, Satoshi Matsuoka, and Akinori Yonezawa.
Locally simultaneous constraint satisfaction. In Alan Borning, editor, PPCP'94: Principles and Practice of Constraint Programming, number 874 in Lecture Notes in Computer Science, pages 51-62. Springer-Verlag, 1994. (compressed PostScript a4 version)
Naoki Kobayashi and Akinori Yonezawa.
Higher-order concurrent linear logic programming. In Proceedings of Theory and Practice of Parallel Programming (TPPP'94), Sendai, Japan, Lecture Notes in Computer Science, 1994. (compressed PostScript a4 version)
Naoki Kobayashi and Akinori Yonezawa.
Type-theoretic foundations for concurrent object-oriented programming. In Proceedings of ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'94), pages 31-45, 1994. (compressed PostScript a4 version)
Naoki Kobayashi and Akinori Yonezawa.
Asynchronous communication model based on linear logic. Journal of the Formal Aspects of Computing, Springer-Verlag, 1994. (compressed PostScript a4 version)
Tomio Kamada, Satoshi Matsuoka, and Akinori Yonezawa.
Efficient parallel global garbage collection on massively parallel computers. In Proceedings of Supercomputing, pages 79-88, 1994. (compressed PostScript version, a4 size)
Jacques Garrigue.
Label-Selective Lambda-Calculi and Transformation Calculi. PhD thesis, The University of Tokyo, Department of Information Science, December 1994. (compressed PostScript version, a4 size)
Kenjiro Taura, Satoshi Matsuoka, and Akinori Yonezawa.
StackThreads: An abstract machine for scheduling fine-grain threads on stock cpus. In Proceedings of Workshop on Theory and Practice of Parallel Programming, number 907 in Lecture Notes on Computer Science, pages 121-136. Springer Verlag, 1994. (compressed PostScript version, a4 size)

1993

Satoshi Matsuoka and Akinori Yonezawa.
Analysis of inheritance anomaly in object-oriented concurrent programming language. In Gul Agha, Peter Wegner, and Akinori Yonezawa, editors, Research Directions in Concurrent Object-Oriented Programming, pages 107-150. MIT Press, 1993. (compressed PostScript version, a4 size)
Kenichi Asai, Satoshi Matsuoka, and Akinori Yonezawa.
Model checking of control-finite CSP programs. In Proceedings of the Twenty-Sixth Annual Hawaii International Conference on System Sciences, Jan. 5-9 1993. (compressed PostScript version, a4 size)
Satoshi Matsuoka.
Language Features for Extensibility and Re-use in Concurrent Object-Oriented Languages. PhD thesis, Department of Information Science, the University of Tokyo, 1993. (compressed PostScript version, a4 size)
Kenjiro Taura, Satoshi Matsuoka, and Akinori Yonezawa.
An efficient implementation scheme of concurrent object-oriented languages on stock multicomputers. In Proceedings of the ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming PPOPP, pages 218-228, San Diego, California, May 1993. (compressed PostScript version, a4 size)
Akinori Yonezawa, Satoshi Matsuoka, Masahiro Yasugi, and Kenjiro Taura.
Implementing concurrent object-oriented languages on multicomputers. IEEE Parallel & Distributed Technology, 1(2):49-61, May 1993. (compressed PostScript version, a4 size)
Satoshi Matsuoka, Kenjiro Taura, and Akinori Yonezawa.
Highly efficient and encapsulated re-use of synchronization code in concurrent object-oriented languages. In ACM OOPSLA'93, Washington D.C., Sep 1993. (compressed PostScript version, a4 size)
Naoki Kobayashi and Akinori Yonezawa.
ACL - a concurrent linear logic programming paradigm. In Proceedings of International Logic Programming Symposium, pages 279-294. MIT Press, 1993. (compressed PostScript a4 version)
Jacques Garrigue and Hassan Aït-Kaci.
Typing of selective λ-calculus. Technical Report 93-1, Department of Information Science, the University of Tokyo, 1993. Subsumed by popl94-typed-sel. (compressed PostScript version, a4 size)
Jacques Garrigue.
Introducing stateful objects in a transformation calculus. In Proc. of the JSSST Workshop on Object-Oriented Computing, Hakone, March 1993. (abstract, compressed PostScript a4 version)
Jacques Garrigue.
Transformation calculus and its typing. In Proc. of the workshop on Type Theory and its Applications to Computer Systems, pages 34-45. Kyoto University RIMS Lecture Notes 851, August 1993. (abstract, compressed PostScript a4 version)
Hassan Aït-Kaci and Jacques Garrigue.
Label-selective $\lambda$-calculus: Syntax and confluence. In Proc. of the conf. on Foundations of Software Technology and Theoretical Computer Science, pages 24-40. Springer-Verlag LNCS 761, 1993. (abstract, compressed PostScript a4 version)
Naoki Kobayashi and Akinori Yonezawa.
Logical, testing, and observation equivalence for processes in a linear logic programming. Technical Report 93-4, Department of Information Science, the University of Tokyo, 1993. presented at Linear Logic Workshop, Cornell University. (compressed PostScript a4 version)

1992

Hidehiko Masuhara, Satoshi Matsuoka, Takuo Watanabe, and Akinori Yonezawa.
Object-oriented concurrent reflective languages can be implemented efficiently. In ACM OOPSLA'92, Vancouver, Canada, October 1992. (compressed PostScript version, a4 size)
Masahiro Yasugi, Satoshi Matsuoka, and Akinori Yonezawa.
ABCL/onEM-4: A new software/hardware architecture for object-oriented concurrent computing on an extended dataflow supercomputer. In ACM International Conference on Supercomputing, Washington D.C., July 1992. (compressed PostScript version, a4 size)
Yuuji Ichisugi, Satoshi Matsuoka, and Akinori Yonezawa.
RbCl: A reflective object-oriented concurrent language without a run-time kernel. In Proceedings of IMSA'92 Int. Workshop on Reflection and Meta-Level Architecture, 1992. (compressed PostScript version, a4 size)
Ken Miyashita, Satoshi Matsuoka, Shin Takahashi, Akinori Yonezawa, and Tomihisa Kamada.
Declarative programming of graphical interfaces by visual examples. In Proceedings of the ACM User Interface Software and Technology '92 (UIST'92), Montrey, CA, USA, 1992. (compressed PostScript version, a4 size)
Masahiro Yasugi and Akinori Yonezawa.
An object-oriented parallel algorithm for the Newtonian N-body problem. Technical Report 92-6, Department of Information Science, the University of Tokyo, 1992. (compressed PostScript version, a4 size)
Naoki Kobayashi and Akinori Yonezawa.
Asynchronous communication model based on linear logic. Technical Report 92-5, Department of Information Science, the University of Tokyo, 1992. (compressed PostScript a4 version)
Satoshi Matsuoka, Shin Takahashi, Tomihisa Kamada, and Akinori Yonezawa.
A General Framework for Bi-directional Translation between Abstract and Pictorial Data. ACM Transactions on Information Systems, 10(4):408-437, October 1992. (compressed PostScript version, a4 size)
Toshio Tonouchi, Ken Nakayama, Satoshi Matsuoka, and Satoru Kawai.
Creating visual objects by direct manipulation. In Proceedings of the 1992 IEEE Workshop on Visual Languages, pages 95-101, September 1992. (compressed PostScript version, a4 size)

1991

Satoshi Matsuoka, Takuo Watanabe, and Akinori Yonezawa.
Hybrid group reflective architecture for object-oriented concurrent reflective programming. In Proc. ECOOP'91, Geneva, Switzerland, July 1991. (compressed PostScript version, a4 size)
Naoki Kobayashi, Satoshi Matsuoka, and Akinori Yonezawa.
Control in parallel constraint logic programming. In LPC'91, Tokyo, Japan, July, 1991. Lecture Notes in Artificial Intelligence, Springer-Verlag. (compressed PostScript version)
Satoshi Matsuoka, Takuo Watanabe, Yuuji Ichisugi, and Akinori Yonezawa.
Object-oriented concurrent reflective architectures. In Mario Tokoro, editor, Workshop on Object-Based Concurrent Programming, Geneve, Switzerland, July 1991. LNCS, Springer-Verlag. (compressed PostScript version, a4 size)
Shin Takahashi, Satoshi Matsuoka, Akinori Yonezawa, and Tomihisa Kamada.
A general framework for bi-directional translation between abstract and pictorial data. In Proceedings of the ACM User Interface Software and Technology '91 (UIST'91), Hilton Head, South Carolina, Nov 1991. (compressed PostScript version)
Satoshi Matsuoka, Shin'ichi Furuso, and Akinori Yonezawa.
A fast parallel conservative garbage collector for concurrent object-oriented systems. In Marc Shapiro Luis-Felipe Cabera, Vincent Russo, editor, Proceedings of IEEE International Workshop on Object Orientation in Operating Systems (I-WOOS '91), pages 87-93, Palo Alto, CA, Oct 1991. IEEE Computer Society Press. (compressed PostScript version, a4 size)

1990

Takuo Watanabe and Akinori Yonezawa.
An actor-based metalevel architecture for group-wide reflection. In Proc. REX School/Workshop on Foundations of Object- Oriented Languages (REX/FOOL), Noordwijkerhout, The Netherlands, May 1990. Lecture Notes in Computer Science #489. (compressed PostScript version, a4 size)
Satoshi Matsuoka and Akinori Yonezawa.
Metalevel solution to inheritance anomaly in concurrent object-oriented languages (extended abstract). In ECOOP/OOPSLA'90 Workshop on Reflections and Metalevel Architectures in Object-Oriented Languages, Ottawa, Canada, Oct 1990. (compressed PostScript version, a4 size)

1989

Yuuji Ichisugi and Akinori Yonezawa.
Distributed garbage collection using group reference counting. In Annual Workshop on the Software Science and Engineering, ASTEM Kyoto Japan, December 1989. Also presented at the Workshop on Garbage Collection in Object-Oriented Systems held at Ottawa, November 1990. (compressed PostScript a4 version)
Satoshi Matsuoka, Ken Wakita, and Akinori Yonezawa.
Synchronization constraints with inheritance: What is not possible -- so what is? Technical Report 90-010, Department of Information Science, the University of Tokyo, 1989. (compressed PostScript version, a4 size)

1988

Satoshi Matsuoka and Satoru Kawai.
Using tuple space communication in distributed object-oriented languages. In Proceedings of ACM OOPSLA'88, pages 276-284. SIGPLAN Notices Vol. 23-11, 1988. (compressed PostScript a4 version)
WWW administrator