Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Eijiro Sumii and His Colleagues' Publications

Publications by Eijiro Sumii and His Colleagues

This page is always under construction.

Papers

[For papers copyrighted by ACM] Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee.

All the papers are in English except for those marked as "in Japanese". All the papers are refereed except for those marked as "not refereed", "submitted for publication", "manuscript", or a thesis.

Because of copyright issues, I cannot put here electronic copies of some papers. If you want one and have no access, please send me an e-mail.

About Security

A Bisimulation for Dynamic Sealing. Eijiro Sumii and Benjamin C. Pierce. An extended abstract is to appear in Proceedings of 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 15 pages. (.dvi, .ps.gz, .pdf, abstract)
Logical Relations for Encryption. Eijiro Sumii and Benjamin C. Pierce. Journal of Computer Security, IOS Press, the Netherlands, to appear. 29 pages. (.dvi, .ps.gz, .pdf, abstract)

An extended abstract appeared in Proceedings of 14th IEEE Computer Security Foundations Workshop, Keltic Lodge, Cape Breton, Nova Scotia, June 11-13, 2001, pp. 256-269.

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), Kameoka, Kyoto, Japan, March 21-23, 2001, pp. 97-108 (received the best paper award).
Relating Cryptography and Polymorphism. Benjamin C. Pierce and Eijiro Sumii. Manuscript. July 16, 2000. 22 pages. (.dvi, .ps.gz, .pdf, abstract, errata)
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation. Daisuke Hoshina, Eijiro Sumii, and Akinori Yonezawa. Proceedings of Fourth International Symposium on Theoretical Aspects of Computer Software (TACS2001), Tohoku University, Sendai, Japan, October 28-31, 2001 (Lecture Notes in Computer Science, Springer-Verlag, Germany, vol. 2215), pp. 64-81. (.pdf © Springer-Verlag, abstract)
Linux/TAL: Safe Execution of User Programs in Kernel Mode using Typed Assembly Language. Toshiyuki Maeda, Eijiro Sumii, and Akinori Yonezawa. Proceedings of JSSST Workshop on Programming and Programming Languages (PPL 2002), Beppu, Oita, Japan, March 5-7, 2002, pp. 62-73. (.ps.gz in Japanese, abstract in English)

A poster was presented at Student Research Forum in ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, June 17-19, 2002.

A revised and updated version (in English) by Toshiyuki Maeda and Akinori Yonezawa is to appear in Proceedings of Eighth Asian Computing Science Conference, Mumbai, India, December 10-13, 2003.
Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure (Progress Report). Yutaka Oiwa, Tatsuro Sekiguchi, Eijiro Sumii, and Akinori Yonezawa. Proceedings of International Symposium on Software Security, Tokyo, Japan, November 8-10, 2002 (Software Security – Theories and Systems, Lecture Notes in Computer Science: Hot Topics, Springer-Verlag, Germany, vol. 2609, pp. 133-153). (.pdf © Springer-Verlag, abstract)

A preliminary version (in Japanese) appeared as "Implementing a Fail-Safe ANSI-C Compiler" in Computer Software, Iwanami Shoten, Japan, vol. 19, no. 3, May 2002, pp. 39-44.

An extended abstract (in Japanese, 5 pages) appeared in the informal proceedings of 18th Conference of Japan Society for Software Science and Technology, Future University-Hakodate, Japan, September 18-20, 2001 (not refereed).

A poster was presented at Student Research Forum in ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, June 17-19, 2002.
The Interface Definition Language for Fail-Safe C. Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, and Akinori Yonezawa. Proceedings of JSSST Workshop on Programming and Programming Languages (PPL 2003), Fuji, Shizuoka, Japan, March 5-7, 2003, pp. 135-148. (.pdf in Japanese, abstract in English)

A revised and updated version (in English) is to appear in Proceedings of International Symposium on Software Security, Tokyo, Japan, Nonvember 4-6, 2003.
Translating Security Protocols from Informal Notation into Spi Calculus. Hideaki Tatsuzawa. Bachelor Thesis. Department of Computer Science, Faculty of Science, University of Tokyo. February 2003. 52 pages. (abstract)

A short presentation (in Japanese) was given in JSSST Workshop on Programming and Programming Languages (PPL 2003), Fuji, Shizuoka, Japan, March 5-7, 2003.

About Programming

The Extension of ML with Hypothetical Views for Discovery Science: Formalization and Implementation. Eijiro Sumii and Hideo Bannai. Journal of Functional and Logic Programming, vol. 2003, special issue 1. 22 pages. (.ps, .pdf, abstract)

An extended abstract appeared as "VMlambda: A Functional Calculus for Scientific Discovery" in Proceedings of Sixth International Symposium on Functional and Logic Programming, University of Aizu, Aizu, Japan, September 15-17, 2002 (Lecture Notes in Computer Science, Springer-Verlag, Germany, vol. 2441), pp. 290-304.

A preliminary version appeared as "VMlambda: A Functional Calculus for Scientific Discovery" in the informal proceedings of The Second Asian Workshop on Programming Languages and Systems, KAIST, Korea, December 17-18, 2001, pp. 265-275 (not refereed).
Regular Expression Types for Strings in a Text Processing Language. Naoshi Tabuchi, Eijiro Sumii, and Akinori Yonezawa. Proceedings of Workshop on Types in Programming (TIP'02), Dagstuhl, Germany, July 9, 2002 (Electronic Notes in Theoretical Computer Science, Elsevier Science, the Netherlands, vol. 75, February 2003). 19 pages. (.ps, .pdf, abstract, errata)

A preliminary version (in Japanese, 11 pages) appeared in IPSJ Transactions on Programming, vol. 44, no. SIG02, 2002.
A Scheme-to-Java Translator with Soft Typing. Akihito Nagata, Eijiro Sumii, and Akinori Yonezawa. Manuscript, May 31, 2002. (.ps.gz, abstract)

A poster (in Japanese) was presented in JSSST Workshop on Systems for Programming and Applications, Beppu, Oita, Japan, March 4-6, 2002.
A Type System for Object Usage Analysis in Java Bytecode. Nobuyuki Hamanaka, Eijiro Sumii, Naoki Kobayashi, and Akinori Yonezawa. Proceedings of JSSST Workshop on Programming and Programming Languages (PPL 2002), Beppu, Oita, Japan, March 5-7, 2002, pp. 74-88. (.ps.gz in Japanese, abstract in English)
An Approach to Separate Compilation of C++ Templates. Takashi Masuyama, Eijiro Sumii, and Akinori Yonezawa. Manuscript. (.ps.gz in Japanese, abstract in English)
A Scenario Description Language Based on a State Transition Model and Its Automatic Consistency Checking. Masashi Seiki. Bachelor Thesis. Department of Computer Science, Faculty of Science, University of Tokyo. February 2002. 33 pages. (abstract)
Packrat Parsing with State. Takuo Suzuki. Bachelor Thesis. Department of Computer Science, Faculty of Science, University of Tokyo. February 2003. 33 pages. (abstract)
CPS Conversion of Procedural Language with Exception Handling and its Formalization. Yuichi Oneda. Bachelor Thesis. Department of Computer Science, Faculty of Science, University of Tokyo. February 2003. 36 pages. (abstract)

A short presentation (in Japanese) was given in JSSST Workshop on Programming and Programming Languages (PPL 2003), Fuji, Shizuoka, Japan, March 5-7, 2003.

About Partial Evaluation

A Hybrid Approach to Online and Offline Partial Evaluation. Eijiro Sumii and Naoki Kobayashi. Higher-Order and Symbolic Computation, Kluwer Academic Publishers, the Netherlands, vol. 14, no. 2/3, pp. 101-142, 2001. (.dvi, .ps.gz, .pdf, abstract)

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), Boston, Massachusetts, January 22-23, 2000 (ACM SIGPLAN Notices, ACM Press, USA, vol. 34, no. 11, November 1999), pp. 12-21.
Online Type-Directed Partial Evaluation for Dynamically-Typed Languages. Eijiro Sumii and Naoki Kobayashi. Computer Software, Iwanami Shoten, Japan, vol. 17, no. 3, May 2000, pp. 38-62. (.dvi, .ps.gz, .pdf, abstract, errata)

An extended abstract appeared in Proceedings of JSSST Workshop on Programming and Programming Languages (PPL'99), Atagawa, Shizuoka, Japan, March 17-19, 1999, pp. 55-66.
An Implementation of Transparent Migration on Standard Scheme. Eijiro Sumii. Proceedings of Workshop on Scheme and Functional Programming 2000, Montréal, September 17, 2000, pp. 61-63. (.dvi, .ps.gz, .pdf, abstract)
Supporting Objects in Run-time Bytecode Specialization. Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, and Akinori Yonezawa. Proceedings of ACM SIGPLAN ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002, pp. 50-60. (.pdf, abstract)

A preliminary version (4 pages) appeared in the informal proceedings of 18th Conference of Japan Society for Software Science and Technology, Future University-Hakodate, Japan, September 18-20, 2001 (not refereed).

About Concurrency

An Implicitly-Typed Deadlock-Free Process Calculus. Naoki Kobayashi, Shin Saito, and Eijiro Sumii. Proceedings of CONCUR 2000 11th International Conference on Concurrency Theory, University Park, Pennsylvania, August 22-25, 2000 (Lecture Notes in Computer Science, Springer-Verlag, Germany, vol. 1877), pp. 489-503. (.pdf © Springer-Verlag, abstract)
A Generalized Deadlock-Free Process Calculus (extended abstract). Eijiro Sumii and Naoki Kobayashi. Proceedings of HLCL '98 3rd International Workshop on High-Level Concurrent Languages, Nice, France, September 12, 1998 (Electronic Notes in Theoretical Computer Science, Elsevier Science, the Netherlands, vol. 16, no. 3), 23 pages. (.ps, abstract)

The full version was superseded by the paper above.

Theses

Oh no, I don't have a Ph.D. yet! An excuse: I'm too young to get one in the Japanese educational system, in which I am as old as a 3rd-year Ph.D. student who has never failed (or skipped, which was impossible when I was a student) in his/her academic career. Besides, I have been working on too many topics to write a consistent Ph.D. thesis...

A Hybrid Approach to Online and Offline Partial Evaluation. Eijiro Sumii. Master Thesis. Department of Computer Science, Graduate School of Science, University of Tokyo. February 2000. 74 pages.
An Extension of the Partially Deadlock-Free Process Calculus Based on a Calculus of Channel Usage. Eijiro Sumii. Bachelor Thesis. Department of Computer Science, Faculty of Science, University of Tokyo. February 1998. 37 pages.

Presentations

These files may contain some broken pages as well as many Japanese characters, thanks to the poor design and implementation of the infamous Micro$oft product (its Japanese version, in particular).

Syntactic Logical Relations for Perfect Encryption, Higher-Order References and First-Class Channels. Eijiro Sumii. Presented in a seminar at RIMS. (.html+.gif, .pdf, .ps.gz)
VMlambda: A Functional Calculus for Scientific Discovery. Eijiro Sumii and Hideo Bannai. Presented at FLOPS 2002. (.html+.gif, .pdf, .ps.gz)

A preliminary version was presented at APLAS 2001.
Logical Relations for Encryption. Eijiro Sumii and Benjamin C. Pierce. Presented at CSFW'14. (.html+.gif, .pdf, .ps.gz)

A preliminary version was presented as "The Cryptographic lambda-Calculus: Syntax, Semantics, Type System and Logical Relations" at PPL 2001.
The Ideas of Typed CPU and Typed OS. In Japanese. Eijiro Sumii. Presented at PPL 2001. (.html+.gif, .pdf, .ps.gz)
Encoding Security Protocols in the Cryptographic lambda-Calculus. Eijiro Sumii and Benjamin C. Pierce. Presented at PLClub on October 27, 2000. (.html+.gif, .pdf, .ps.gz)
Relating Cryptography and Polymorphism. Eijiro Sumii and Benjamin C. Pierce. Presented at LCS on September 25, 2000, NJPLS on October 24, 2000, and PLClub on Novermber 3, 2000. (.html+.gif, .pdf, .ps.gz)
An Implementation of Transparent Migration on Standard Scheme. Eijiro Sumii. Presented at Scheme 2000. (.html+.gif, .pdf, .ps.gz)
A Hybrid Approach to Online and Offline Partial Evaluation. In Japanese. Eijiro Sumii. Presented as my master thesis on February 2000. (.html+.gif, .pdf, .ps.gz)
Online-and-Offline Partial Evaluation: A Mixed Approach. Eijiro Sumii and Naoki Kobayashi. Presented at PEPM'00. (.html+.gif, .pdf, .ps.gz)
Efficient Online Partial Evaluation. Eijiro Sumii and Naoki Kobayashi. Presented at the GPC seminar on December 13, 1999. (.html+.gif, .pdf, .ps.gz)
Bridging the Gap between TDPE and SDPE. Eijiro Sumii. Presented at the 42nd CACA seminar on June 25, 1999. (.html+.gif, .pdf, .ps.gz)

A variant of "Online Type-Directed Partial Evaluation for Dynamically-Typed Languages" for statically-typed languages.
Online Type-Directed Partial Evaluation for Dynamically-Typed Languages. In Japanese. Eijiro Sumii and Naoki Kobayashi. Presented at PPL'99. (.html+.gif, .pdf, .ps.gz)
Linear Type Systems for Concurrent Languages. Eijiro Sumii and Naoki Kobayashi. Presented at the Linear Logic Workshop. (.html+.gif, .pdf, .ps.gz)

This workshop was held at the opportunity of Prof. Girard's visit to Japan.
A Generalized Deadlock-Free Process Calculus. Eijiro Sumii and Naoki Kobayashi. Presented at HLCL'98. (.html+.gif, .pdf, .ps.gz)
An Extension of the Partially Deadlock-Free Process Calculus Based on a Calculus of Channel Usage. In Japanese. Eijiro Sumii. Presented as my bachelor thesis on February 1998. (.html+.gif, .pdf, .ps.gz)

Programs

These are rather immature prototypes of little practical use. I put them here for the purpose of reference only. See my previous WWW page (in Japanese - sorry) for some other software that I made.

An Implementation of Transparent Migration on Standard Scheme. Eijiro Sumii. Version 0.0. (.tar.gz)

For the sake of brevity, this prototype actually uses some features that are specific to Chez Scheme.
sml2scm. Eijiro Sumii. Version 0.0. (.tar.gz)

A source-to-source translator from core SML (Standard ML without modules) to Scheme. See README for details.
A Prototype Implementation of a Type Checker of the Generalized Deadlock-Free Process Calculus. Eijiro Sumii. Version 0.3. (.tar.gz)

Reports

ICFP Programming Contest 2000: PLClub. Team PLClub (Jerome Vouillon, Haruo Hosoya, Eijiro Sumii, and Vladimir Gapeyev).

How did we win the 1ST PRIZE?
About The Fifth ICFP Programming Contest. Team TAPLAS (Yutaka Oiwa, Eijiro Sumii, and Tatsuro Sekiguchi).

...and again!
POPL/PEPM'99 Conference Report. In Japanese. Eijiro Sumii and Naoki Kobayashi. Computer Software, Iwanami Shoten, Japan, vol. 16, no. 4, July 1999, pp. 80-85.
CSFW'14 Report. In Japanese. Eijiro Sumii. Computer Software, Iwanami Shoten, Japan, vol. 18, no. 6, November 2001, pp. 67-71.
Conference Report: TACS 2001 and Manfred Paul Award Ceremony. In Japanese. Atsushi Igarashi and Eijiro Sumii. IPSJ Magazine, Ohmsha, Japan, vol. 43, no. 2, February 2002, pp. 200-201.
PLI 2002 Report. In Japanese. Eijiro Sumii, Tatsuro Sekiguchi, and Haruo Hosoya. Computer Software, Iwanami Shoten, Japan, to appear. 7 pages.
Tutorial: Formal Verification of Encrypted Communication in spi-Calculus. In Japanese. Eijiro Sumii. Computer Software, Iwanami Shoten, Japan, to appear. 9 pages.

sumii AT yl.is.s.u-tokyo.ac.jp

Publications by Eijiro Sumii and His Colleagues

Papers

About Security

A Bisimulation for Dynamic Sealing. Eijiro Sumii and Benjamin C. Pierce. An extended abstract is to appear in Proceedings of 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 15 pages. (.dvi, .ps.gz, .pdf, abstract)

Logical Relations for Encryption. Eijiro Sumii and Benjamin C. Pierce. Journal of Computer Security, IOS Press, the Netherlands, to appear. 29 pages. (.dvi, .ps.gz, .pdf, abstract)

Relating Cryptography and Polymorphism. Benjamin C. Pierce and Eijiro Sumii. Manuscript. July 16, 2000. 22 pages. (.dvi, .ps.gz, .pdf, abstract, errata)

The Interface Definition Language for Fail-Safe C. Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, and Akinori Yonezawa. Proceedings of JSSST Workshop on Programming and Programming Languages (PPL 2003), Fuji, Shizuoka, Japan, March 5-7, 2003, pp. 135-148. (.pdf in Japanese, abstract in English)

Translating Security Protocols from Informal Notation into Spi Calculus. Hideaki Tatsuzawa. Bachelor Thesis. Department of Computer Science, Faculty of Science, University of Tokyo. February 2003. 52 pages. (abstract)

About Programming

The Extension of ML with Hypothetical Views for Discovery Science: Formalization and Implementation. Eijiro Sumii and Hideo Bannai. Journal of Functional and Logic Programming, vol. 2003, special issue 1. 22 pages. (.ps, .pdf, abstract)

A Scheme-to-Java Translator with Soft Typing. Akihito Nagata, Eijiro Sumii, and Akinori Yonezawa. Manuscript, May 31, 2002. (.ps.gz, abstract)

An Approach to Separate Compilation of C++ Templates. Takashi Masuyama, Eijiro Sumii, and Akinori Yonezawa. Manuscript. (.ps.gz in Japanese, abstract in English)

A Scenario Description Language Based on a State Transition Model and Its Automatic Consistency Checking. Masashi Seiki. Bachelor Thesis. Department of Computer Science, Faculty of Science, University of Tokyo. February 2002. 33 pages. (abstract)

Packrat Parsing with State. Takuo Suzuki. Bachelor Thesis. Department of Computer Science, Faculty of Science, University of Tokyo. February 2003. 33 pages. (abstract)

CPS Conversion of Procedural Language with Exception Handling and its Formalization. Yuichi Oneda. Bachelor Thesis. Department of Computer Science, Faculty of Science, University of Tokyo. February 2003. 36 pages. (abstract)

About Partial Evaluation

A Hybrid Approach to Online and Offline Partial Evaluation. Eijiro Sumii and Naoki Kobayashi. Higher-Order and Symbolic Computation, Kluwer Academic Publishers, the Netherlands, vol. 14, no. 2/3, pp. 101-142, 2001. (.dvi, .ps.gz, .pdf, abstract)

Online Type-Directed Partial Evaluation for Dynamically-Typed Languages. Eijiro Sumii and Naoki Kobayashi. Computer Software, Iwanami Shoten, Japan, vol. 17, no. 3, May 2000, pp. 38-62. (.dvi, .ps.gz, .pdf, abstract, errata)

An Implementation of Transparent Migration on Standard Scheme. Eijiro Sumii. Proceedings of Workshop on Scheme and Functional Programming 2000, Montréal, September 17, 2000, pp. 61-63. (.dvi, .ps.gz, .pdf, abstract)

Supporting Objects in Run-time Bytecode Specialization. Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, and Akinori Yonezawa. Proceedings of ACM SIGPLAN ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002, pp. 50-60. (.pdf, abstract)

About Concurrency

Theses

A Hybrid Approach to Online and Offline Partial Evaluation. Eijiro Sumii. Master Thesis. Department of Computer Science, Graduate School of Science, University of Tokyo. February 2000. 74 pages.

An Extension of the Partially Deadlock-Free Process Calculus Based on a Calculus of Channel Usage. Eijiro Sumii. Bachelor Thesis. Department of Computer Science, Faculty of Science, University of Tokyo. February 1998. 37 pages.

Presentations

Syntactic Logical Relations for Perfect Encryption, Higher-Order References and First-Class Channels. Eijiro Sumii. Presented in a seminar at RIMS. (.html+.gif, .pdf, .ps.gz)

VMlambda: A Functional Calculus for Scientific Discovery. Eijiro Sumii and Hideo Bannai. Presented at FLOPS 2002. (.html+.gif, .pdf, .ps.gz)

Logical Relations for Encryption. Eijiro Sumii and Benjamin C. Pierce. Presented at CSFW'14. (.html+.gif, .pdf, .ps.gz)

The Ideas of Typed CPU and Typed OS. In Japanese. Eijiro Sumii. Presented at PPL 2001. (.html+.gif, .pdf, .ps.gz)

Encoding Security Protocols in the Cryptographic lambda-Calculus. Eijiro Sumii and Benjamin C. Pierce. Presented at PLClub on October 27, 2000. (.html+.gif, .pdf, .ps.gz)

Relating Cryptography and Polymorphism. Eijiro Sumii and Benjamin C. Pierce. Presented at LCS on September 25, 2000, NJPLS on October 24, 2000, and PLClub on Novermber 3, 2000. (.html+.gif, .pdf, .ps.gz)

An Implementation of Transparent Migration on Standard Scheme. Eijiro Sumii. Presented at Scheme 2000. (.html+.gif, .pdf, .ps.gz)

A Hybrid Approach to Online and Offline Partial Evaluation. In Japanese. Eijiro Sumii. Presented as my master thesis on February 2000. (.html+.gif, .pdf, .ps.gz)

Online-and-Offline Partial Evaluation: A Mixed Approach. Eijiro Sumii and Naoki Kobayashi. Presented at PEPM'00. (.html+.gif, .pdf, .ps.gz)

Efficient Online Partial Evaluation. Eijiro Sumii and Naoki Kobayashi. Presented at the GPC seminar on December 13, 1999. (.html+.gif, .pdf, .ps.gz)

Bridging the Gap between TDPE and SDPE. Eijiro Sumii. Presented at the 42nd CACA seminar on June 25, 1999. (.html+.gif, .pdf, .ps.gz)

Online Type-Directed Partial Evaluation for Dynamically-Typed Languages. In Japanese. Eijiro Sumii and Naoki Kobayashi. Presented at PPL'99. (.html+.gif, .pdf, .ps.gz)

Linear Type Systems for Concurrent Languages. Eijiro Sumii and Naoki Kobayashi. Presented at the Linear Logic Workshop. (.html+.gif, .pdf, .ps.gz)

A Generalized Deadlock-Free Process Calculus. Eijiro Sumii and Naoki Kobayashi. Presented at HLCL'98. (.html+.gif, .pdf, .ps.gz)

An Extension of the Partially Deadlock-Free Process Calculus Based on a Calculus of Channel Usage. In Japanese. Eijiro Sumii. Presented as my bachelor thesis on February 1998. (.html+.gif, .pdf, .ps.gz)

Programs

An Implementation of Transparent Migration on Standard Scheme. Eijiro Sumii. Version 0.0. (.tar.gz)

sml2scm. Eijiro Sumii. Version 0.0. (.tar.gz)

A Prototype Implementation of a Type Checker of the Generalized Deadlock-Free Process Calculus. Eijiro Sumii. Version 0.3. (.tar.gz)

Reports

ICFP Programming Contest 2000: PLClub. Team PLClub (Jerome Vouillon, Haruo Hosoya, Eijiro Sumii, and Vladimir Gapeyev).

About The Fifth ICFP Programming Contest. Team TAPLAS (Yutaka Oiwa, Eijiro Sumii, and Tatsuro Sekiguchi).

POPL/PEPM'99 Conference Report. In Japanese. Eijiro Sumii and Naoki Kobayashi. Computer Software, Iwanami Shoten, Japan, vol. 16, no. 4, July 1999, pp. 80-85.

CSFW'14 Report. In Japanese. Eijiro Sumii. Computer Software, Iwanami Shoten, Japan, vol. 18, no. 6, November 2001, pp. 67-71.

Conference Report: TACS 2001 and Manfred Paul Award Ceremony. In Japanese. Atsushi Igarashi and Eijiro Sumii. IPSJ Magazine, Ohmsha, Japan, vol. 43, no. 2, February 2002, pp. 200-201.

PLI 2002 Report. In Japanese. Eijiro Sumii, Tatsuro Sekiguchi, and Haruo Hosoya. Computer Software, Iwanami Shoten, Japan, to appear. 7 pages.

Tutorial: Formal Verification of Encrypted Communication in spi-Calculus. In Japanese. Eijiro Sumii. Computer Software, Iwanami Shoten, Japan, to appear. 9 pages.