Publications by Eijiro Sumii and Colleagues

This page is always under construction.


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", "invited paper", or "manuscript".

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.

[For ACM papers] ACM COPYRIGHT NOTICE. Copyright (c) YYYY by the Association for Computing Machinery, Inc. 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. Request permissions from Publications Dept., ACM, Inc., fax +1 (212) 869-0481, or

[For IEEE papers] (c) 20xx IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

About Information Hiding and Program Equivalence

About Security

About Programming

About Partial Evaluation

About Concurrency



Some of the files below may contain some broken pages as well as many Japanese characters.

Reports and Tutorials

sumii AT