= Publications in English = #titleheading
([wiki:PublicationsJa.ja → Publications in Japanese])
= 2011 =
 Toshiyuki Maeda, Haruki Sato, and Akinori Yonezawa::
 '''Extended Alias Type System using Separating Implication'''[[br]]
 In ''Proceedings of the 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2011), pp. 29-42, Austin, USA, January 2011''

 Tomohiro Suzuki, Kevin Pinte, Tom Van Cutsem, Wolfgang De Meuter, and Akinori Yonezawa::
 '''Programming Language Support for Routing in Pervasive Networks'''[[br]]
 In ''Proceedings of the 8th International IEEE Workshop on Middleware and System Support for Pervasive Computing (!PerWare 2011), Austin, USA, March 2011''

= 2010 =
 Masaaki Shimizu and Akinori Yonezawa::
 '''Remote Process Execution and Remote I/O for Heterogeneous Processors in Cluster Systems'''[[br]]
 In ''Proceedings of the 10th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2010), pp. 145.154, Melbourne, Australia, May 2010''

 Nan Dun, Kenjiro Taura, and Akinori Yonezawa::
 '''!ParaTrac: A Fine-Grained Profiler for Data-Intensive Workflows'''[[br]]
 In ''Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing (HPDC2010), pp. 37.48, Chicago, USA, June 2010''

 Toshiyuki Maeda and Akinori Yonezawa::
 '''Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments with Interrupts'''[[br]]
 In ''Proceedings of the 5th International Workshop on Systems Software Verification (SSV 2010), Vancouver, Canada, October 2010''

 Nan Dun, Kenjiro Taura, and Akinori Yonezawa::
 '''Easy and Instantaneous Processing for Data-Intensive Workflows'''[[br]]
 In ''Proceedings of the 3rd IEEE Workshop on Many-Task Computing on Grids and Supercomputers (MTAGS2010), New Orleans, USA, November 2010''

 Junya Sawazaki, Toshiyuki Maeda, and Akinori Yonezawa::
 '''Implementing a Hybrid Virtual Machine Monitor for Flexible and Efficient Security Mechanisms'''[[br]]
 In ''Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2010), pp. 37-46, Tokyo, Japan, December 2010''

= 2009 =
 Motohiko Matsuda, Toshiyuki Maeda and Akinori Yonezawa::
 '''Towards Design and Implementation of Model Checker for System Software'''[[br]]
 In ''Proceedings of the 1st International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD 2009), Tokyo, January, 2009''

 Toshiyuki Maeda and Akinori Yonezawa::
 '''Writing an OS Kernel in a Strictly and Statically Typed Language'''[[br]]
 ''Lecture Notes in Computer Science Vol. 5458, pp. 181-197, Springer, 2009.''

 Nan Dun, Kenjiro Taura, Akinori Yonezawa::
 '''GMount: An Ad Hoc and Locality-Aware Distributed File System by Using SSH and FUSE'''[[br]]
 In ''Proceedings of CCGRID 2009, pp. 188-195, May, 2009''

= 2008 =

 Koichi Onoue, Yoshihiro Oyama, Akinori Yonezawa::
 '''Control of System Calls from Outside of Virtual Machines'''[[br]]
 ''The 23rd Annual ACM Symposium on Applied Computing (SAC 2008), March 2008''

 Nan Dun, Kenjiro Taura, Akinori Yonezawa::
 '''GMount: Build your grid file system on the fly'''[[br]]
 ''GRID 2008, pp. 328-333, September, 2008'' (poster)

= 2007 =
 Takahiro Kosakai, Toshiyuki Maeda and Akinori Yonezawa::
 '''Compiling C Programs into a Strongly Typed Assembly Language'''[[br]]
 In ''Proceedings of the 12th Asian Computing Science Conference, LNCS 4846, pp.17-32, December, 2007''

 Reynald Affeldt, Miki Tanaka and Nicolas Marti::
 '''Formal proof of provable security by game-playing in a proof assistant'''[[br]]
 In ''Proceedings of the 1st International Conference on Provable Security, 2007''

 Nicolas Marti, Reynald Affeldt::
 '''A certified verifier for a fragment of separation logic'''[[br]]
 In ''Proceedings of the 9th JSSST Workshop on Programming and Programming Languages, March, 2007''

= 2006 =
 Toshiyuki Maeda and Akinori Yonezawa::
 '''Writing practical memory management code with a strictly typed assembly language'''[[br]]
 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'''[[br]]
 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'''[[br]]
 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'''[[br]]
 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'''[[br]]
 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'''[[br]]
 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'''[[br]]
 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'''[[br]]
 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'''[[br]]
 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'''[[br]]
 In ''Proceedings of Foundations of Aspect-Oriented Languages (FOAL), 2005''

 Yoshihiro Oyama, Koichi Onoue, and Akinori Yonezawa::
 '''Speculative Security Checks in Sandboxing Systems'''[[br]]
 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'''[[br]]
 In ''IPSJ SIG1(PRO24) vol. 46, pp. 110-120, 2005''

= 2004 =
 Kokichi Futatsugi, Naoki Yonezaki and Fumio Mizoguchi::
 '''Software Security II'''[[br]]
 In ''Software Security II''

 Takashi Masuyama, Frederic Peschanski, Yoshihiro Oyama and Akinori Yonezawa::
 '''!MobileScope: a Programming Language with Objective Mobility'''[[br]]
 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'''[[br]]
 In ''Langages et Modeles Objects 2004 vol. RESTIL'Object, 2004''

 Frederic Peschanski, Jean-Pierre Briot::
 '''Dynamic Adaptation of Distributed Components'''[[br]]
 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'''[[br]]
 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'''[[br]]
 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'''[[br]]
 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'''[[br]]
 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'''[[br]]
 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'''[[br]]
 In ''4th International Workshop on Logical Frameworks and Meta-languages (LFM'04), July 2004, Cork, Ireland''

{{{
#!comment
= 2003 =
 Etsuya Shibayama and Akinori Yonezawa::
 '''Secure Software Infrastructure in the Internet Age'''[[br]]
 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'''[[br]]
 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)'''[[br]]
 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'''[[br]]
 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'''[[br]]
 In ''9th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming pp. 216-229, 2003/6''
}}}
{{{
#!comment
 Frederic Peschanski, Reynald Affeldt and Akinori Yonezawa::
 '''Interaction Spaces: Towards a Geometry of Mobile Agent Systems'''[[br]]
 In ''Langages et Modeles Objects 2004 vol. RESTIL'Object, 2004''
}}}

{{{
#!comment
 Frederic Peschanski, Jean-Pierre Briot::
 '''Dynamic Adaptation of Distributed Components'''[[br]]
 In ''Technique et Science Informatique vol. 23 no. 2, 2004''
}}}

{{{
#!comment
 Kenji Kaneda, Kenjiro Taura, and Akinori Yonezawa::
 '''Routing and Resource Discovery in Phoenix Grid-Enabled Message Passing Library'''[[br]]
 In ''4th IEEE/ACM International Symposium on Cluster Computing
 and the Grid, pp. 670-677, April 2004''
}}}

{{{
#!comment
 Toshio Endo, Kenjiro Taura, Kenji Kaneda, and Akinori Yonezawa::
 '''High Performance LU Factorization for Non-Dedicated Clusters'''[[br]]
 In ''4th IEEE/ACM International Symposium on Cluster Computing
 and the Grid, pp. 678-685, April 2004''
}}}

{{{
#!comment
 Akihito Nagata, Naoki Kobayashi, and Akinori Yonezawa::
 '''Region-Based Memory Management for a Dynamically-Typed Language'''[[br]]
 In ''Proceedings of 2nd Asian Symposium on Programming Language and Systems (APLAS 2004), Springer LNCS 3302, pp.229-245, 2004''
}}}

{{{
#!comment
 Koichi Kodama, Kohei Suenaga, and Naoki Kobayashi::
 '''Translation of Tree-processing Programs into Stream-processing Programs based on Ordered Linear Type'''[[br]]
 In ''Proceedings of 2nd Asian Symposium on Programming Language and Systems (APLAS 2004), Springer LNCS 3302, pp.41-56, 2004''
}}}

{{{
#!comment
 Reynald Affeldt and Naoki Kobayashi::
 '''Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes'''[[br]]
 In ''11th International Workshop on Expressiveness in Concurrency (EXPRESS'04), August 2004, London, UK''
}}}

{{{
#!comment
 Reynald Affeldt and Naoki Kobayashi::
 '''A Coq Library for Verification of Concurrent Programs'''[[br]]
 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'''[[br]]
 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'''[[br]]
 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)'''[[br]]
 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'''[[br]]
 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'''[[br]]
 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'''[[br]]
 In ''Journees Scientifique Francophone 2003''

 Frederic Peschanski, Jean-Pierre Briot and Akinori Yonezawa::
 '''Fine-grained Dynamic Adaptation of Distributed Components'''[[br]]
 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'''[[br]]
 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'''[[br]]
 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'''''[[br]]
 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'''[[br]]
 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'''[[br]]
 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'''[[br]]
 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'''[[br]]
 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'''[[br]]
 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'''[[br]]
 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'''[[br]]
 In ''Proceedings of International Parallel and Distributed Processing Symposium (IPDPS 2001)''
 [[br]]
 ([ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/endo-ipdps2001-gc.ps.gz gzipped Postscript],
 [ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/endo-ipdps2001-gc.pdf PDF])

 Tatsurou Sekiguchi, Takahiro Sakamoto, and Akinori Yonezawa::
 '''Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling'''[[br]]
 In ''Advances in Exception Handling Techniques, to appear''
 [[br]]
 ([ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/sekiguchi-2001-ehbook.pdf PDF])

 Yutaka Oiwa, Hidehiko Masuhara, Akinori Yonezawa::
 '''!DynJava: Type Safe Dynamic Code Generation in Java'''[[br]]
 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'''[[br]]
 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'''[[br]]
 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'''[[br]]
 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'''[[br]]
 In ''Workshop on Reflective Middleware Proceedings (RM2000)'', pp. 19--20,
 Apr. 2000.
 (2 pages,
 [rm2000-wrapping-a4.ps.gz gzipped PostScript (106k
 bytes)], [rm2000-wrapping-a4.pdf PDF (64k
 bytes)])

 Yoshihiro Oyama, Kenjiro Taura, and Akinori Yonezawa::
 '''Online Computation of Critical Paths for Multithreaded Languages'''[[br]]
 In ''Proceedings of
 5th International Workshop on
 High-Level Parallel Programming Models and Supportive Environments
 ([http://wwwbode.in.tum.de/events/hips2000/ HIPS 2000]),
 held in conjunction with
 [http://www.ipdps.org/ipdps2000.htm IPDPS 2000],
 volume 1800 of Lecture Notes in Computer Science, Cancun, Mexico,
 pages 301--313, May, 2000.''
 [[br]]
 ([ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/hips2000-critical-path-a4.ps.gz gzipped Postscript],
 [ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/hips2000-critical-path-a4.pdf PDF])

 Kenjiro Taura and Andrew Chien::
 '''A Heuristic Algorithm for Mapping Communicating Tasks on Heterogeneous Resources'''[[br]]
 In ''Proceedings of the Heterogeneous Computing Workshop 2000''
 [[br]]
 ([ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/hcw2000-heuristic.pdf 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'''[[br]]
 In ''Proceedings of the SC2000''
 [[br]]
 ([ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/sc2000-microgrid.pdf 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'''[[br]]
 In ''Proceedings of Workshop on Reflective Middleware 2000''
 [[br]]
 ([ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/yamauchi-rm2000.ps.gz gzipped postscript])

 Yoshizumi Tanaka, Kenjiro Taura, Mitsuhisa Sato, and Akinori Yonezawa::
 '''Performance Evaluation of OpenMP Applications with Nested Parallelism'''[[br]]
 In ''Proceedings of 5th International Workshop on Languages, Ccompiers and Runtime Systems for Scalable Computers (LCR 2000)''
 [[br]]
 ([ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/tanaka-lcr2000-omnist.ps.gz gzipped postscript])

 Takahiro Sakamto, Tatsurou Sekiguchi, and Akinori Yonezawa::
 '''Bytecode Transformation for Portable Thread Migration 
 in Java'''[[br]]
 In ''Proceedings of Agent Systems, Mobile Agents, and Applications, LNCS 1882''
 [[br]]
 ([ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/takas-asama2000.ps.gz PDF])

 Tatsurou Sekiguchi, Takahiro Sakamoto, and Akinori Yonezawa::
 '''Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling'''[[br]]
 In ''Advances in Exception Handling Techniques, to appear''
 [[br]]
 ([ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/sekiguchi-2001-ehbook.pdf PDF])

 Yutaka Oiwa and Kenjiro Taura and Akinori Yonezawa::
 '''Extending Java Virtual Machine with Integer-Reference Conversion'''[[br]]
 In ''Concurrency: Practice and Experience, 407--422''
 [[br]]
 ([ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/oiwa-cpe2000-javaext.ps.gz gzipped postscript])

 Hidehiko Masuhara and Akinori Yonezawa::
 '''Run-time Bytecode Specialization: A Portable
 Approach to Generating Optimized Specialized Code'''[[br]]
 In ''Second Symposium on Programs as Data Objects (PADO II), to appear''
 [[br]]
 ([ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/masuhara-pado2-runtime.ps.gz gzipped postscript])

 Hidehiko Masuhara and Yuuya Sugita and Akinori Yonezawa::
 '''Dynamic Compilation of a Reflective Language Using
 Run-Time Specialization'''[[br]]
 In ''International Symposium on Principles of Software
 Evolution, 125--134''
 [[br]]
 ([ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/masuhara-ispse2000-dynamic.pdf PDF])

 Hidehiko Masuhara and Akinori Yonezawa::
 '''An Object-Oriented Concurrent Reflective Language
 ABCL/R3: Its Meta-level Design and Efficient
 Implementation Techniques'''[[br]]
 In ''Object-Oriented Parallel and Distributed Programming, 151--165, 
 HERMES Science Publications, Jean-Paul Bahsoun, Takanobu Baba, Jean-Pierre Briot, and Akinori Yonezawa, editor''
 [[br]]
 ([ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/masuhara-obpdc2000-object.pdf PDF])

 Masatomo Hashimoto and Akinori Yonezawa::
 '''MobileML: A Programming Language for
 Mobile Computation'''[[br]]
 In ''Proc. 4th International Conference on Coordination
 Languages and Models (COORDINATION 2000), 198--215, LNCS 1906''
 [[br]]
 ([ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/masatomo-coord2000.pdf PDF])

 Benjamin Pierce and Eijiro Sumii::
 '''Relating Cryptography and Polymorphism'''[[br]]
 ''Manuscript''

 Eijiro Sumii::
 '''An Implementation of Transparent Migration on Standard Scheme'''[[br]]
 In ''Proceedings of Workshop on Scheme and Functional Programming (2000)''

 Eijiro Sumii and Naoki Kobayashi::
 '''Online Type-Directed Partial Evaluation for Dynamically-Typed Languages'''[[br]]
 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'''[[br]]
 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.
 [[br]]
 ([ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/pdsia99-bottleneck-a4.ps.gz gzipped Postscript],
 [ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/pdsia99-bottleneck-a4.pdf PDF])

 Hidehiko Masuhara and Akinori Yonezawa::
 '''Generating Optimized Residual Code in Run-Time Specialization'''[[br]]
 In ''Technical Report on Partial Evaluation and Program
 Transformation Day (PE Day'99)'', Nov. 1999, to appear.
 (20 pages,
 [peday99-generating-a4.ps.gz gzipped PostScript (232k
 bytes)], [peday99-generating.pdf PDF (173k
 bytes)])

 Kenjiro Taura, Kunio Tabata, and Akinori Yonezawa::
 '''!StackThreads/MP: Integrating Futures into Calling Standard'''[[br]]
 In ''Proceedings of the seventh ACM SIGPLAN symposium on Principles
 and practice of parallel programming (PPoPP99)''
 [[br]]
 ([ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/ppopp99-stackthreadsmp-letter.ps.gz gzipped Postscript (letter)],
 [ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/ppopp99-stackthreadsmp-a4.ps.gz gzipped Postscript (A4)],
 [ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/ppopp99-stackthreadsmp.pdf PDF])

 Tatsurou Sekiguchi, Hidehiko Masuhara, and Akinori Yonezawa::
 '''A Simple Extension of Java Language for
 Controllable Transparent Migration and
 its Portable Implementation'''[[br]]
 In ''Coordination Languages and Models (Lecture Notes in Computer Science 1594)'' 
 [[br]]
 ([ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/sekiguchi-coordination99.ps.gz gzipped Postscript (A4)])

 Naoki Kobayashi, Toshihiro Shimizu, and Akinori Yonezawa::
 '''Distributed Concurrent Linear Logic Programming'''[[br]]
 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)'''[[br]]
 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'''[[br]] 
 In ''International Workshop on Principles of Software Evolution
 (IWPSE'98)'', pp.135-139, Apr. 1998.
 (5 pages,
 [iwpse98-reflective-a4.ps.gz gzipped PostScript (87k bytes)])

 Hidehiko Masuhara and Akinori Yonezawa.::
 '''Design and partial evaluation of meta-objects for a concurrent reflective language'''[[br]] 
 In ''Proceedings of European Conference on Object-Oriented Programming (ECOOP'98)'' (LNCS 1445), pp.418-439, July 1998.
 (22 pages,
 [ecoop98-abclr3-letter.ps.gz compressed PostScript version (115k bytes)],
 [ecoop98-abclr3-a4.ps.gz a4 size (115k bytes)],
 [ecoop98-abclr3.pdf PDF format (293k bytes)])

 Haruo Hosoya and Akinori Yonezawa.::
 '''Garbage Collection via Dynamic Type Inference --- A Formal Treatment ---'''[[br]] 
 ''In proceedings of the Second Workshop on Types in Compilation'', 1998, to appear.
 ([tigc98.ps.gz compressed PostScript a4 version])

 Yoshihiro Oyama.::
 '''An Efficient Compilation Framework for Parallel Programming
 Languages Based on a Concurrent Process Calculus'''[[br]] 
 Master's thesis, University of Tokyo, Tokyo, February 1998. 
 ([oyama-master-thesis-a4.ps.gz 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'''[[br]]
 in Proceedings of ''OOPSLA'98 workshop on Reflective Programming in C++ and Java'', October 1998.
 ([oopsla98-onthefly.ps.gz gzipped Postscript])

 Eijiro Sumii and Naoki Kobayashi::
 '''A Generalized Deadlock-Free Process Calculus'''[[br]]
 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'''[[br]]
 In ''Proceedings of Second IFIP International Conference
 on Formal Methods for Open Object-based Distributed
 Systems'', 1997.
 ([cocoa-fmoods97-a4.ps.gz 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'''[[br]] 
 In ''Proceedings of the ACM SIGPLAN Conference on Programming
 Language Design & Implementation'', pages 320--333, Las Vegas,
 Nevada, June 1997.  
 ([pldi97-finegrain-letter.ps.gz gzipped PostScript version],
 [pldi97-finegrain-a4.ps.gz a4 size])

 Kenjiro Taura and Akinori Yonezawa.::
 '''An Effective Garbage Collection Strategy 
 for Parallel Programming Languages 
 on Large Scale Distributed-Memory Machines'''[[br]] 
 In ''Proceedings of the ACM SIGPLAN Symposium on Principles &
 Practice of Parallel Programming (PPOPP)'', pages 264--275, Las Vegas,
 Nevada, June 1997.   
 ([ppopp97-effective-letter.ps.gz gzipped PostScript version],
 [ppopp97-effective-a4.ps.gz a4 size])

 Kenjiro Taura and Akinori Yonezawa.::
 '''Efficient and Reusable Implementation of 
 Fine-Grain Multithreading and Garbage Collection
 on Distributed-Memory Parallel Computers'''[[br]] 
 PhD Thesis, University of Tokyo 1997.  
 ([taura-thesis-letter.ps.gz gzipped PostScript version],
 [taura-thesis-a4.ps.gz a4 size])

 Atsushi Igarashi and Naoki Kobayashi::
 '''Type-based Analysis of Communication for Concurrent Programming Languages'''[[br]]
 Technical Report 97-03, Department of Information Science, Faculty of Science, University of Tokyo, June 1997. 
 ([TR97-03-linear-a4.ps.gz gzipped PostScript a4 version])

 Atsushi Igarashi and Naoki Kobayashi::
 '''Type-based Analysis of Communication for Concurrent Programming Languages'''[[br]] In ''Proceedings of International Static Analysis Symposium (SAS'97)'', volume 1302 of LNCS, pages 187--201, Paris, September 1997.
 ([sas97-linear-a4.ps.gz gzipped PostScript A4 version])

 Hidehiko Masuhara and Akinori Yonezawa.::
 '''Reasoning-conscious Meta-object Design of a Reflective Concurrent 
 Language'''[[br]] 
 In ''Proceedings of IMSA'97 International Symposium on Biologically Inspired
 Computation'', Tsukuba, Oct., 1997, pp.42-56.
 ([imsa97-metaobject-letter.ps.gz compressed PostScript version,]
 [imsa97-metaobject-a4.ps.gz a4 size,])

 Toshio Endo, Kenjiro Taura and Akinori Yonezawa::
 '''A Scalable Mark-Sweep Garbage Collector on Large-Scale Shared-Memory
 Machines'''[[br]]
 In ''Proceedings of High Performance Networking and Computing(SC97)'', November 1997.
 ([sc97-gc-a4.ps.gz 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'''[[br]] 
 In ''the 11th ACM International Conference on Supercomputing'', July 1997.
 ([LETTER-SIZE-FILE-NAME.ps.gz gzipped PostScript version],
 [A4-SIZE-FILE-NAME.ps.gz A4 size])

 Yoshihiro Oyama, Kenjiro Taura and Akinori Yonezawa.::
 '''An Efficient Compilation Framework for Languages Based on a Concurrent Process Calculus'''[[br]] 
 ''In proceedings of Euro-Par'97 Parallel Processing,''546-553, LNCS 1300, 1997.
 ([europar97-hacl-compile-a4.ps.gz gzipped PostScript a4 version])

 Yoshihiro Oyama, Kenjiro Taura and Akinori Yonezawa.::
 '''An Efficient Compilation Framework for Languages Based on a Concurrent Process Calculus'''[[br]] 
 Technical Report 97-07,
 Department of Information Science,
 Faculty of Science,
 University of Tokyo,
 July 1997. 
 ([TR97-07-hacl-compile-a4.ps.gz gzipped PostScript a4 version])

 Asai, K., H. Masuhara, and A. Yonezawa::
 '''Partial Evaluation of Call-by-value Lambda-calculus with Side-effects'''[[br]]
 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'''[[br]]
 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'''[[br]] 
 In the 2nd''International Symposium on
 Object Technologies for Advanced Software'', LNCS1047, March 1996. 
 ([isotas96-a4.ps.gz compressed PostScript a4 version])

 Kenjiro Taura and Akinori Yonezawa.::
 '''Schematic: A concurrent object-oriented extension to scheme'''[[br]] 
 Technical report, University of Tokyo, 1996. 
 ([schemaTR-letter.ps.Z compressed PostScript version],
 [schemaTR-a4.ps.Z a4 size])

 Hidehiko Masuhara, Satoshi Matsuoka, and Akinori Yonezawa.::
 '''Implementing parallel language constructs using a reflective object-oriented language'''[[br]] 
 In ''Reflection'96'', San Francisco, April 1996. 
 ([reflection96-abclr3-letter.ps.gz compressed PostScript version],
 [reflection96-abclr3-a4.ps.gz 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---'''[[br]] 
 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. 
 ([psls95-kamada-a4.ps.gz compressed PostScript a4 version])

 Haruo Hosoya, Naoki Kobayashi and Akinori Yonezawa.::
 '''Partial Evaluation Scheme for Concurrent Languages 
 and its Correctness'''[[br]] 
 ''In proceedings of Euro-Par'96 Parallel Processing,''625-632, LNCS 1123, 1996.
 ([hosoya-europar96.ps.gz compressed PostScript a4 version])

 Asai, K., S. Matsuoka, and A. Yonezawa::
 '''Duplication and Partial Evaluation - For a Better Understanding of Reflective Languages -'''[[br]]
 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'''[[br]] 
 Technical Report 95-04, Department of Information Science, Faculty of Science, University of Tokyo, April 1995. 
 ([TR95-04-analysis-a4.ps.Z 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'''[[br]] 
 In ''Proceedings of Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'95) (ACM SIGPLAN Notices 30(10))'', pages 300-315, October 1995. 
 ([oopsla95-abclr3-letter.ps.gz compressed PostScript version],
 [oopsla95-abclr3-a4.ps.gz a4 size])

 Naoki Kobayashi, Motoki Nakade, and Akinori Yonezawa.::
 '''Static analysis of communication for asynchrnous concurrent programming languages'''[[br]] 
 In ''Proceedings of International Static Analysis Symposium'', Lecture Notes in Computer Science, 1995. 
 ([sas95-hacl-analysis-letter.ps.Z compressed PostScript version],
 [sas95-hacl-analysis-a4.ps.Z a4 size])

 Naoki Kobayashi and Akinori Yonezawa.::
 '''Towards foundations for concurrent object-oriented programming - types and language design'''[[br]] 
 ''Theory and Practice of Object Systems, John Wiley & Sons''. 
 ([tapos-hacl-coop-letter.ps.Z compressed PostScript version],
 [tapos-hacl-coop-a4.ps.Z a4 size])

= 1994 =
 Jacques Garrigue and Hassan Aït-Kaci.::
 '''The typed polymorphic label-selective λ-calculus'''[[br]] 
 In ''Proc. ACM Symposium on Principles of Programming Languages'', pages 35-47, 1994. 
 ([http://web.yl.is.s.u-tokyo.ac.jp/members/garrigue/papers/popl.html abstract],
 [popl94-typed-sel-letter.ps.Z compressed PostScript version],
 [popl94-typed-sel-a4.ps.Z a4 size])

 Masahiro Yasugi.::
 '''A concurrent object-oriented programming language system for highly parallel data-driven computers and its applications'''[[br]] 
 Technical Report 94-7e, Department of Information Science, Faculty of Science, University of Tokyo, April 1994. 
 (Doctoral Thesis, Mar. 1994). 
 ([YasugiThesis-TR94-07-letter.ps.Z compressed PostScript version],
 [YasugiThesis-TR94-07-a4.ps.Z a4 size])

 Jacques Garrigue.::
 '''The transformation calculus'''[[br]] 
 Technical Report 94-09, Department of Information Science, Faculty of Science, University of Tokyo, April 1994. 
 ([http://web.yl.is.s.u-tokyo.ac.jp/members/garrigue/papers/transfo.html abstract],
 [TR94-09-transfo-letter.ps.gz compressed PostScript version],
 [TR94-09-transfo-a4.ps.gz a4 size])

 Tatsurou Sekiguchi and Akinori Yonezawa.::
 '''A complete type inference system for subtyped recursive types'''[[br]] 
 In ''Proc. of Theoretical Aspects of Computer Software'', volume 789 of ''Lecture Notes in Computer Science'', pages 667-686. Springer-Verlag, April 1994. 
 ([tacs94-oo-type-letter.ps.Z compressed PostScript version],
 [tacs94-oo-type-a4.ps.Z a4 size])

 Kenjiro Taura.::
 '''Design and implementation of concurrent object-oriented programming languages on stock multicomputers'''[[br]] 
 Master's thesis, The University of Tokyo, Tokyo, February 1994. 
 ([taura-master-thesis-letter.ps.Z compressed PostScript version],
 [taura-master-thesis-a4.ps.Z a4 size])

 Kenjiro Taura, Satoshi Matsuoka, and Akinori Yonezawa.::
 '''ABCL/'''''f''''': A future-based polymorphic typed concurrent object-oriented language - its design and implementation -'''[[br]] 
 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'''[[br]] 
 Master's thesis, Department of Information Science, The University of Tokyo, February 1994. 
 ([masuhara-masterthesis-letter.ps.Z compressed PostScript version],
 [masuhara-masterthesis-a4.ps.Z a4 size])

 Laurent Thomas.::
 '''Inheritance anomaly in true concurrent object oriented languages: A proposal'''[[br]] 
 In ''IEEE TENCON'94'', pages 541-545, August 1994.
 ([tencon94.a4.ps.Z compressed PostScript a4 version])

 Shin Takahashi, Ken Miyashita, Satoshi Matsuoka, and Akinori Yonezawa.::
 '''A framework for constructing animations via declarative mapping rules'''[[br]]
 In ''IEEE VL'94'', 1994. 
 ([vl94-trip2a-letter.ps.Z compressed PostScript version],
 [vl94-trip2a-A4.ps.Z a4 size])

 Konno Kazuhiro, Nagatsuka Masaaki, Kobayashi Naoki, Matsuoka Satoshi, and Yonezawa Akinori.::
 '''PARCS: An MPP-Oriented CLP language'''[[br]] 
 In ''Proceedings of the First International Symposium on Parallel Symbolic Computation (PASCO'94)'', pages 254-263. World Scientific, September 1994. 
 ([pasco94-parcs-letter.ps.Z compressed PostScript version],
 [pasco94-parcs-a4.ps.Z a4 size])

 Masahiro Yasugi, Satoshi Matsuoka, and Akinori Yonezawa.::
 '''The plan-do style compilation technique for eager data transfer in thread-based execution'''[[br]] 
 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. 
 ([yasugiPACT94-letter.ps.Z compressed PostScript version],
 [yasugiPACT94-a4.ps.Z a4 size])

 Hidehiko Masuhara, Satoshi Matsuoka, and Akinori Yonezawa.::
 '''An object-oriented concurrent reflective language for dynamic resource management in highly parallel computing'''[[br]] 
 ''IPSJ SIG Notes'', 94-PRG-18:57-64, July 1994. 
 ([swopp94-abclr3-letter.ps.Z compressed PostScript version],
 [swopp94-abclr3-a4.ps.Z a4 size])

 Ken Miyashita, Satoshi Matsuoka, Shin Takahashi, and Akinori Yonezawa.::
 '''Interactive generation of graphical user interfaces by multiple visual examples'''[[br]] 
 In ''Proceedings of the ACM User Interface Software and Technology '94 (UIST'94)'', 1994. 
 ([uist94-image-a4.ps.Z compressed PostScript a4 version])

 Hiroshi Hosobe, Ken Miyashita, Shin Takahashi, Satoshi Matsuoka, and Akinori Yonezawa.::
 '''Locally simultaneous constraint satisfaction'''[[br]] 
 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. 
 ([ppcp94-detail-a4.ps.Z compressed PostScript a4 version])

 Naoki Kobayashi and Akinori Yonezawa.::
 '''Higher-order concurrent linear logic programming'''[[br]] 
 In ''Proceedings of Theory and Practice of Parallel Programming (TPPP'94), Sendai, Japan'', Lecture Notes in Computer Science, 1994.
 ([tppp94-hacl-a4.ps.Z compressed PostScript a4 version])

 Naoki Kobayashi and Akinori Yonezawa.::
 '''Type-theoretic foundations for concurrent object-oriented programming'''[[br]] 
 In ''Proceedings of ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'94)'', pages 31-45, 1994. 
 ([oopsla94-type-coop-a4.ps.Z compressed PostScript a4 version])

 Naoki Kobayashi and Akinori Yonezawa.::
 '''Asynchronous communication model based on linear logic'''[[br]] 
 ''Journal of the Formal Aspects of Computing, Springer-Verlag'', 1994. 
 ([fac94-acl-a4.ps.Z compressed PostScript a4 version])

 Tomio Kamada, Satoshi Matsuoka, and Akinori Yonezawa.::
 '''Efficient parallel global garbage collection on massively parallel computers'''[[br]] 
 In ''Proceedings of Supercomputing'', pages 79-88, 1994. 
 ([sc94-gc-letter.ps.Z compressed PostScript version],
 [sc94-gc-a4.ps.Z a4 size])

 Jacques Garrigue.::
 '''Label-Selective Lambda-Calculi and Transformation Calculi'''[[br]] 
 PhD thesis, The University of Tokyo, Department of Information Science, December 1994. 
 ([Garrigue-PhD-letter.ps.gz compressed PostScript version],
 [Garrigue-PhD-a4.ps.gz a4 size])

 Kenjiro Taura, Satoshi Matsuoka, and Akinori Yonezawa.::
 '''StackThreads: An abstract machine for scheduling fine-grain threads on stock cpus'''[[br]] 
 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. 
 ([tppp-stackthreads-letter.ps.Z compressed PostScript version],
 [tppp-stackthreads-a4.ps.Z a4 size])

= 1993 =
 Satoshi Matsuoka and Akinori Yonezawa.::
 '''Analysis of inheritance anomaly in object-oriented concurrent programming language'''[[br]] 
 In Gul Agha, Peter Wegner, and Akinori Yonezawa, editors, ''Research Directions in Concurrent Object-Oriented Programming'', pages 107-150. MIT Press, 1993. 
 ([book-inheritance-anomaly-letter.ps.Z compressed PostScript version],
 [book-inheritance-anomaly-a4.ps.Z a4 size])

 Kenichi Asai, Satoshi Matsuoka, and Akinori Yonezawa.::
 '''Model checking of control-finite CSP programs'''[[br]] 
 In ''Proceedings of the Twenty-Sixth Annual Hawaii International Conference on System Sciences'', Jan. 5-9 1993. 
 ([hicss93-modelcheck-letter.ps.Z compressed PostScript version],
 [hicss93-modelcheck-a4.ps.Z a4 size])

 Satoshi Matsuoka.::
 '''Language Features for Extensibility and Re-use in Concurrent Object-Oriented Languages'''[[br]] 
 PhD thesis, Department of Information Science, the University of Tokyo, 1993. 
 ([matsuoka-thesis-letter.ps.Z compressed PostScript version],
 [matsuoka-thesis-a4.ps.Z a4 size])

 Kenjiro Taura, Satoshi Matsuoka, and Akinori Yonezawa.::
 '''An efficient implementation scheme of concurrent object-oriented languages on stock multicomputers'''[[br]] 
 In ''Proceedings of the ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming PPOPP'', pages 218-228, San Diego, California, May 1993. 
 ([ppopp93-multicomputer-letter.ps.Z compressed PostScript version],
 [ppopp93-multicomputer-a4.ps.Z a4 size])

 Akinori Yonezawa, Satoshi Matsuoka, Masahiro Yasugi, and Kenjiro Taura.::
 '''Implementing concurrent object-oriented languages on multicomputers'''[[br]] 
 ''IEEE Parallel & Distributed Technology'', 1(2):49-61, May 1993. 
 ([ieeepdt93-efficient-letter.ps.Z compressed PostScript version],
 [ieeepdt93-efficient-a4.ps.Z a4 size])

 Satoshi Matsuoka, Kenjiro Taura, and Akinori Yonezawa.::
 '''Highly efficient and encapsulated re-use of synchronization code in concurrent object-oriented languages'''[[br]] 
 In ''ACM OOPSLA'93'', Washington D.C., Sep 1993. 
 ([oopsla93-concurrency-reuse-letter.ps.Z compressed PostScript version],
 [oopsla93-concurrency-reuse-a4.ps.Z a4 size])

 Naoki Kobayashi and Akinori Yonezawa.::
 '''ACL - a concurrent linear logic programming paradigm'''[[br]] 
 In ''Proceedings of International Logic Programming Symposium'', pages 279-294. MIT Press, 1993. 
 ([ilps93-acl-a4.ps.Z compressed PostScript a4 version])

 Jacques Garrigue and Hassan Aït-Kaci.::
 '''Typing of selective λ-calculus'''[[br]]
 Technical Report 93-1, Department of Information Science, the University of Tokyo, 1993. 
 Subsumed by popl94-typed-sel.
 ([TR93-selective-types-letter.ps.Z compressed PostScript version],
 [TR93-selective-types-a4.ps.Z a4 size])

 Jacques Garrigue.::
 '''Introducing stateful objects in a transformation calculus'''[[br]] 
 In ''Proc. of the JSSST Workshop on Object-Oriented Computing'', Hakone, March 1993. 
 ([http://web.yl.is.s.u-tokyo.ac.jp/members/garrigue/papers/wooc.html abstract],
 [wooc93-obj-trans-a4.ps.Z compressed PostScript a4 version])

 Jacques Garrigue.::
 '''Transformation calculus and its typing'''[[br]] 
 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. 
 ([http://web.yl.is.s.u-tokyo.ac.jp/members/garrigue/papers/tcalc.html abstract],
 [kyoto-u93-transformations-a4.ps.Z compressed PostScript a4 version])

 Hassan Aït-Kaci and Jacques Garrigue.::
 '''Label-selective λ-calculus: Syntax and confluence'''[[br]]
 In ''Proc. of the conf. on Foundations of Software Technology and Theoretical Computer Science'', pages 24-40. Springer-Verlag LNCS 761, 1993. 
 ([http://web.yl.is.s.u-tokyo.ac.jp/members/garrigue/papers/fsttcs.html abstract],
 [fsttcs93-selective-a4.ps.Z compressed PostScript a4 version])

 Naoki Kobayashi and Akinori Yonezawa.::
 '''Logical, testing, and observation equivalence for processes in a linear logic programming'''[[br]] 
 Technical Report 93-4, Department of Information Science, the University of Tokyo, 1993. 
 presented at Linear Logic Workshop, Cornell University. 
 ([TR93-acl-equivalence-a4.ps.Z compressed PostScript a4 version])

= 1992 =
 Hidehiko Masuhara, Satoshi Matsuoka, Takuo Watanabe, and Akinori Yonezawa.::
 '''Object-oriented concurrent reflective languages can be implemented efficiently'''[[br]]
 In ''ACM OOPSLA'92'', Vancouver, Canada, October 1992. 
 ([oopsla92-abclr2-letter.ps.Z compressed PostScript version],
 [oopsla92-abclr2-a4.ps.Z 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'''[[br]] 
 In ''ACM International Conference on Supercomputing'', Washington D.C., July 1992. 
 ([supercomputing92-abcl-letter.ps.Z compressed PostScript version],
 [supercomputing92-abcl-a4.ps.Z a4 size])

 Yuuji Ichisugi, Satoshi Matsuoka, and Akinori Yonezawa.::
 '''RbCl: A reflective object-oriented concurrent language without a run-time kernel'''[[br]] 
 In ''Proceedings of IMSA'92 Int. Workshop on Reflection and Meta-Level Architecture'', 1992. 
 ([imsa92-rbcl-letter.ps.Z compressed PostScript version],
 [imsa92-rbcl-a4.ps.Z a4 size])

 Ken Miyashita, Satoshi Matsuoka, Shin Takahashi, Akinori Yonezawa, and Tomihisa Kamada.::
 '''Declarative programming of graphical interfaces by visual examples'''[[br]] 
 In ''Proceedings of the ACM User Interface Software and Technology '92 (UIST'92)'', Montrey, CA, USA, 1992. 
 ([uist92-trip3-letter.ps.Z compressed PostScript version],
 [uist92-trip3-a4.ps.Z a4 size])

 Masahiro Yasugi and Akinori Yonezawa.::
 '''An object-oriented parallel algorithm for the Newtonian N-body problem'''[[br]] 
 Technical Report 92-6, Department of Information Science, the University of Tokyo, 1992. 
 ([TR92-nbody-letter.ps.Z compressed PostScript version],
 [TR92-nbody-a4.ps.Z a4 size])

 Naoki Kobayashi and Akinori Yonezawa.::
 '''Asynchronous communication model based on linear logic'''[[br]] 
 Technical Report 92-5, Department of Information Science, the University of Tokyo, 1992. 
 ([TR92-acl-a4.ps.Z 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'''[[br]] 
 ''ACM Transactions on Information Systems'', 10(4):408-437, October 1992. 
 ([tois-trip2-letter.ps.Z compressed PostScript version],
 [tois-trip2-a4.ps.Z a4 size])

 Toshio Tonouchi, Ken Nakayama, Satoshi Matsuoka, and Satoru Kawai.::
 '''Creating visual objects by direct manipulation'''[[br]] 
 In ''Proceedings of the 1992 IEEE Workshop on Visual Languages'', pages 95-101, September 1992. 
 ([vl92-oak-letter.ps.Z compressed PostScript version],
 [vl92-oak-a4.ps.Z a4 size])

= 1991 =
 Satoshi Matsuoka, Takuo Watanabe, and Akinori Yonezawa.::
 '''Hybrid group reflective architecture for object-oriented concurrent reflective programming'''[[br]] 
 In ''Proc. ECOOP'91'', Geneva, Switzerland, July 1991. 
 ([ecoop91-abclr2-letter.ps.Z compressed PostScript version],
 [ecoop91-abclr2-a4.ps.Z a4 size])

 Naoki Kobayashi, Satoshi Matsuoka, and Akinori Yonezawa.::
 '''Control in parallel constraint logic programming'''[[br]] 
 In ''LPC'91'', Tokyo, Japan, July, 1991. Lecture Notes in Artificial Intelligence, Springer-Verlag. 
 ([lpc91-parcs-a4.ps.Z compressed PostScript version])

 Satoshi Matsuoka, Takuo Watanabe, Yuuji Ichisugi, and Akinori Yonezawa.::
 '''Object-oriented concurrent reflective architectures'''[[br]] 
 In Mario Tokoro, editor, ''Workshop on Object-Based Concurrent Programming'', Geneve, Switzerland, July 1991. LNCS, Springer-Verlag. 
 ([obcp91-reflective-letter.ps.Z compressed PostScript version],
 [obcp91-reflective-a4.ps.Z a4 size])

 Shin Takahashi, Satoshi Matsuoka, Akinori Yonezawa, and Tomihisa Kamada.::
 '''A general framework for bi-directional translation between abstract and pictorial data'''[[br]] 
 In ''Proceedings of the ACM User Interface Software and Technology '91 (UIST'91)'', Hilton Head, South Carolina, Nov 1991. 
 ([uist91-trip2.ps.Z compressed PostScript version])

 Satoshi Matsuoka, Shin'ichi Furuso, and Akinori Yonezawa.::
 '''A fast parallel conservative garbage collector for concurrent object-oriented systems'''[[br]] 
 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. 
 ([woos91-gc-letter.ps.Z compressed PostScript version],
 [woos91-gc-a4.ps.Z a4 size])

= 1990 =
 Takuo Watanabe and Akinori Yonezawa.::
 '''An actor-based metalevel architecture for group-wide reflection'''[[br]] 
 In ''Proc. REX School/Workshop on Foundations of Object- Oriented Languages (REX/FOOL)'', Noordwijkerhout, The Netherlands, May 1990. Lecture Notes in Computer Science #489. 
 ([rexfool-actr-letter.ps.Z compressed PostScript version],
 [rexfool-actr-a4.ps.Z a4 size])

 Satoshi Matsuoka and Akinori Yonezawa.::
 '''Metalevel solution to inheritance anomaly in concurrent object-oriented languages (extended abstract)'''[[br]] 
 In ''ECOOP/OOPSLA'90 Workshop on Reflections and Metalevel Architectures in Object-Oriented Languages'', Ottawa, Canada, Oct 1990. 
 ([oopsla90-wkshop-metalevel-letter.ps.Z compressed PostScript version],
 [oopsla90-wkshop-metalevel-a4.ps.Z a4 size])

= 1989 =
 Yuuji Ichisugi and Akinori Yonezawa.::
 '''Distributed garbage collection using group reference counting'''[[br]] 
 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. 
 ([sse89-grc-a4.ps.Z compressed PostScript a4 version])

 Satoshi Matsuoka, Ken Wakita, and Akinori Yonezawa.::
 '''Synchronization constraints with inheritance: What is not possible -- so what is?'''[[br]] 
 Technical Report 90-010, Department of Information Science, the University of Tokyo, 1989.
 ([TR89-synch-constraint-letter.ps.Z compressed PostScript version],
 [TR89-synch-constraint-a4.ps.Z a4 size])

= 1988 =
 Satoshi Matsuoka and Satoru Kawai.::
 '''Using tuple space communication in distributed object-oriented languages'''[[br]] 
 In ''Proceedings of ACM OOPSLA'88'', pages 276-284. SIGPLAN Notices Vol. 23-11, 1988. 
 ([oopsla88-tuplespace-a4.ps.Z compressed PostScript a4 version])