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", 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, (YEAR). This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in PUBLICATION, {VOL#, ISS#, (DATE)} http://doi.acm.org /10.1145/ nnnnnn.nnnnn. / 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.
[For IEEE papers] ©20xx IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. / This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Extended abstract appeared in Proceedings of 32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Long Beach, California, January 12-14, 2005, pp. 63-74.
Extended abstract appeared in Proceedings of 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Venice, Italy, January 14-16, 2004, pp. 161-172.
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.
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.
Preliminary version (in Japanese) by Hisatoshi Sutou and Eijiro Sumii appeared as "The Quicksilver Type-Safe Communication Library and its Improvements" in Proceedings of JSSST Workshop on Programming and Programming Languages (PPL 2007), Kaga, Ishikawa, Japan, March 8-10, 2007, pp. 39-51.
Preliminary version (in Japanese) appeared in Proceedings of JSSST Workshop on Programming and Programming Languages (PPL 2007), Kaga, Ishikawa, Japan, March 8-10, 2007, pp. 52-66.
Short presentation (in Japanese) was given by Hideaki Tatsuzawa in JSSST Workshop on Programming and Programming Languages (PPL 2003), Fuji, Shizuoka, Japan, March 5-7, 2003.
Revised and updated version (in English) appeared in Proceedings of International Symposium on Software Security, Tokyo, Japan, Nonvember 4-6, 2003 (Lecture Notes in Computer Science, Springer-Verlag, Germany, vol. 3233), pp. 192-208.
Preliminary version (in Japanese) appeared as "Implementing a Fail-Safe ANSI-C Compiler" in Computer Software, Iwanami Shoten (Publisher), Japan, vol. 19, no. 3, May 2002, pp. 39-44.
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, first author received Takahashi Incentive Award).
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.
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.
Revised and updated version (in English) by Toshiyuki Maeda and Akinori Yonezawa appeared as "Kernel Mode Linux: Toward an Operating System Protected by a Type Theory" in Proceedings of Eighth Asian Computing Science Conference, Mumbai, India, December 10-13, 2003 (Lecture Notes in Computer Science, Springer-Verlag, Germany, vol. 2896), pp. 3-17.
This work was supported by Information-Technology Promotion Agency, Japan in Exploratory Software Project and received the "super-creator" award.
Short presentation (in Japanese) was given by Yuichi Oneda in JSSST Workshop on Programming and Programming Languages (PPL 2003), Fuji, Shizuoka, Japan, March 5-7, 2003.
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.
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).
Preliminary version (in Japanese) appeared in IPSJ Transactions on Programming, vol. 44, no. SIG02, February, 2003, pp. 1-12.
Poster (in Japanese) was presented in JSSST Workshop on Systems for Programming and Applications, Beppu, Oita, Japan, March 4-6, 2002.
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).
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.
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.
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).
Preliminary version was presented as "The Cryptographic lambda-Calculus: Syntax, Semantics, Type System and Logical Relations" at PPL 2001.
Variant of "Online Type-Directed Partial Evaluation for Dynamically-Typed Languages" for statically-typed languages.
How did we win the 1ST PRIZE?
...and again!