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 permissions@acm.org.
[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.
Preliminary report appeared as "Limitations of Applicative Bisimulation" in Modelling, Controlling and Reasoning About State, Dagstuhl Seminar Proceedings, no. 10351, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 9 pages, November 2010.
Extended abstract appeared in Proceedings of 14th International Conference on Foundations of Software Science and Computation Structures, Saarbruecken, Germany, March 26 - April 3, 2011 (Lecture Notes in Computer Science, Springer-Verlag, Germany, vol. 6604), pp. 123-137.
Caution: The "final" version of this paper (linked above) contains many typographical errors introduced by the copy editor. (Unfrotunately, we did not have time to correct all of them...)
Extended abstract appeared in Proceedings of Twenty-Second Annual IEEE Symposium on Logic in Computer Science, Wroclaw, Poland, July 10-14, 2007, pp. 293-302.
Extended abstract appeared as "A Theory of Non-Monotone Memory (Or: Contexts for free)" in Proceedings of 18th European Symposium on Programming, York, United Kingdom, March 22-29, 2009 (Lecture Notes in Computer Science, Springer-Verlag, Germany, vol. 5502), pp. 237-251.
Extended abstract appeared in Proceedings of 18th EACSL Annual Conference on Computer Science Logic, Coimbra, Portugal, September 7-11, 2009 (Lecture Notes in Computer Science, Springer-Verlag, Germany, vol. 5771), pp. 455-469.
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.
A preliminary version (in Japanese) by Yuji Sato and Eijiro Sumii was presented in JSSST Workshop on Programming and Programming Languages (PPL 2013), Aizu-wakamatsu, Fukushima, Japan, March 4-6, 2013.
Another preliminary version was presented in Workshop on Foundations of Computer Security, Tulane University, New Orleans, June 29, 2013.
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.
Poster by Yuki Kamijima was presented as "The Fail-Safe C to Java translator" in The Fourth Asian Symposium on Programming Languages and Systems, Sydney, Australia, November 8-10, 2006.
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.
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.
Updated version (in English) appeared in Proceedings of International Symposium on Software Security, Tokyo, Japan, November 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.
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.
Preliminary version (in Japanese) appeared in Proceedings of JSSST Workshop on Programming and Programming Languages (PPL 2014), Aso, Kumamoto, Japan, March 5-7, 2014, 16 pages.
Updated version (in Japanese) appeared as "The MinCaml Compiler" in Computer Software, Iwanami Shoten (Publisher), Japan, vol. 25, no. 2, pp. 28-38, April 2008. (.pdf)
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, 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. SIG 2(PRO 16), 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.
Some of the files below may contain some broken pages as well as many Japanese characters.
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!