Changes between Initial Version and Version 1 of PublicationsEn

Timestamp:

02/15/09 23:21:12 (15 years ago)

Author:

yonelab

Comment:

--

PublicationsEn

@@ +1 @@
+= Publications in English = #titleheading
+([wiki:PublicationsJa.ja → Publications in Japanese])
+= 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''
+
+= 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: 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''
+
+= 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])