wiki:PublicationsEn
Last modified 6 years ago Last modified on 02/21/11 23:52:46

Publications in English

(→ Publications in Japanese)

2011

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

2005

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

2004

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

2003

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

2002

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

2001

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

2000

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

An extended abstract appeared in Proceedings of JSSST Workshop on Programming and Programming Languages (PPL 1999)

1999

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

1998

Hidehiko Masuhara and Akinori Yonezawa.
A Reflective Approach to Support Software Evolution
In International Workshop on Principles of Software Evolution (IWPSE'98), pp.135-139, Apr. 1998. (5 pages, [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
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 ---
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
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
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
In Proceedings of HLCL '98 3rd International Workshop on High-Level Concurrent Languages (Electronic Notes in Theoretical Computer Science, Elsevier Science)

1997

Tatsurou Sekiguchi and Akinori Yonezawa.
A Calculus with Code Mobility
In Proceedings of Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, 1997. ([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
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
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
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
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
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
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
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
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
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
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
In ACM SIGPLAN Conference on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97). ACM SIGPLAN Notices, Vol. 32, No. 12
Toshiyuki Takahashi, Yutaka Ishikawa, Mitsuhisa Sato, Akinori Yonezawa
A Compile-Time Meta-Level Architecture Supporting Class Specific Optimization
In ISCOPE 1997

1996

Naohito Sato, Satoshi Matsuoka, and Akinori Yonezawa.
Hierarchical collections: an efficient scheme to build an object-oriented distributed class library for massively parallel computation
In the 2ndInternational 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
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
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---
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
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 -
In Lisp and Symbolic Computation, Vol. 9, Nos. 2/3 (Kluwer Academic Publishers)

1995

Naoki Kobayashi, Motoki Nakade, and Akinori Yonezawa.
Static analysis on communication for asynchronous concurrent programming languages
Technical Report 95-04, Department of Information Science, Faculty of Science, University of Tokyo, April 1995. ([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
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
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
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
In Proc. ACM Symposium on Principles of Programming Languages, pages 35-47, 1994. (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
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
Technical Report 94-09, Department of Information Science, Faculty of Science, University of Tokyo, April 1994. (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
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
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 -
In G. Blelloch, M. Chandy, and S. Jagannathan, editors, Proceedings of the DIMACS workshop on Specification of Parallel Algorithms, number 18 in Dimacs Series in Discrete Mathematics and Theoretical Computer Science, pages 275-292. American Mathematical Society, 1994.
Hidehiko Masuhara.
Study on a reflective architecture to provide efficient dynamic resource management for highly-parallel object-oriented applications
Master's thesis, Department of Information Science, The University of Tokyo, February 1994. ([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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
In Proc. of the JSSST Workshop on Object-Oriented Computing, Hakone, March 1993. (abstract, [wooc93-obj-trans-a4.ps.Z compressed PostScript? a4 version])
Jacques Garrigue.
Transformation calculus and its typing
In Proc. of the workshop on Type Theory and its Applications to Computer Systems, pages 34-45. Kyoto University RIMS Lecture Notes 851, August 1993. (abstract, [kyoto-u93-transformations-a4.ps.Z compressed PostScript? a4 version])
Hassan Aït-Kaci and Jacques Garrigue.
Label-selective λ-calculus: Syntax and confluence
In Proc. of the conf. on Foundations of Software Technology and Theoretical Computer Science, pages 24-40. Springer-Verlag LNCS 761, 1993. (abstract, [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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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)
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
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?
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
In Proceedings of ACM OOPSLA'88, pages 276-284. SIGPLAN Notices Vol. 23-11, 1988. ([oopsla88-tuplespace-a4.ps.Z compressed PostScript? a4 version])