SUMII Eijiro Last updated: Oct 24, 2018 at 12:03
Academic & Professional Experience
May 2005
-
Today
Associate Professor (-2014), Professor (2014-), Graduate School of Information Sciences, Tohoku University
Nov 2010
-
Today
Member Member of the Young Academy of Japan, etc., Science Counsil of Japan
Apr 2003
-
Mar 2005
Research Associate, Department of Computer and Information Science, School of Engineering and Applied Science, University of Pennsylvania
Apr 2001
-
Mar 2003
Assistant Professor, Interfaculty Initiative in Information Studies, University of Tokyo
Apr 2000
-
Mar 2001
Visiting Scholar, Department of Computer and Information Science, School of Engineering and Applied Science, University of Pennsylvania
Education
-
Mar 2001
Department of Information Science, Graduate School, Division of Science, The University of Tokyo
-
Mar 1998
Department of Information Science, Faculty of Science, The University of Tokyo
Committee Memberships
Sep 2016
21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016) Program Chair
Aug 2014
-
Today
International Federation for Information Processing (IFIP) Working Group (WG) 2.8 (Functional Programming) Member
Jan 2009
-
Dec 2013
Journal of Functional Programming (Cambridge University Press) Editorial Board Member
Sep 2016
-
Today
Journal of Functional Programming (Cambridge University Press) Guest Editor
Jun 2014
-
Today
International Symposium on Functional and Logic Programming (FLOPS) Steering Committee Member
Apr 2009
-
Today
日本ソフトウェア科学会 学会誌『コンピュータソフトウェア』（岩波書店）編集委員
Jan 2017
The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) Program Committee Member
Jun 2014
-
Mar 2016
International Symposium on Functional and Logic Programming (FLOPS) Steering Committee Chair
Apr 2014
-
Mar 2016
日本ソフトウェア科学会 プログラミング論研究会 運営委員長
Apr 2011
-
Mar 2016
日本ソフトウェア科学会 プログラミング論研究会 運営委員
Sep 2015
日本ソフトウェア科学会第32回大会 プログラム委員
Sep 2014
日本ソフトウェア科学会 第31回大会 プログラム委員
Jul 2014
WPTE 2014: First International Workshop on Rewriting Techniques for Program Transformations and Evaluation Program Committee Member
Jun 2014
Twelfth International Symposium on Functional and Logic Programming (FLOPS 2014) Program Co-Chair, General Chair
Jan 2014
ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation (PEPM'14) Program Committee Member
Jan 2013
POPL 2013: 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages External Review Committee: Member
Sep 2012
Haskell Symposium 2012 Program Committee Member
Sep 2012
ICFP 2012: The 17th ACM SIGPLAN International Conference on Functional Programming Program Committee Member
Sep 2012
Scheme 2012: Workshop on Scheme and Functional Programming Program Committee Member
Sep 2012
HOPE 2012: The 1st ACM SIGPLAN Workshop on Higher-Order Programming with Effects Program Committee Member
Jan 2012
Fourteenth International Symposium on Practical Aspects of Declarative Languages: PADL'12 Program Committee Member
Sep 2011
ICFP 2011: The 16th ACM SIGPLAN International Conference on Functional Programming Programming Contest Chair
Oct 2010
-
Sep 2011
The ACM SIGPLAN Workshop on ML Steering Committee Chair
Sep 2008
-
Sep 2011
The ACM SIGPLAN Workshop on ML Steering Committee Member
Apr 2009
-
Mar 2011
情報処理学会 東北支部 会計幹事
Nov 2010
-
Dec 2010
APLAS 2010: Eighth Asian Symposium on Programming Languages and Systems Program Committee Member
Sep 2010
日本ソフトウェア科学会第27回大会 プログラム委員
Apr 2010
FLOPS 2010: Tenth International Symposium on Functional and Logic Programming Local Chair
Sep 2008
The 2008 ACM SIGPLAN Workshop on ML Program Chair
Jun 2008
ACM SIGPLAN Third Workshop on Programming Languages and Analysis for Security (PLAS 2008) Program Committee Member
Mar 2008
-
Apr 2008
ESOP'08: 17th European Symposium on Programming Program Committee Member
Mar 2008
第10回プログラミングおよびプログラミング言語ワークショップ: PPL2008 プログラム共同委員長
Jan 2008
The 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Program Committee Member
Nov 2007
-
Dec 2007
The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007) Poster Chair
Nov 2007
-
Dec 2007
The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007) Program Committee Member
Jul 2007
Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis: FCS-ARSPA'07 Program Committee Member
Jun 2007
ACM SIGPLAN Workshop on Programming Languages and Analysis for Security Program Committee Member
Nov 2006
The Fourth ASIAN Symposium on Programming Languages and Systems (APLAS 2006) Poster Chair
Sep 2006
ESORICS 2006: 11th European Symposium On Research In Computer Security Program Committee Member
Apr 2006
Eighth International Symposium on Functional and Logic Programming: FLOPS 2006 Program Committee Member
Mar 2006
第８回プログラミングおよびプログラミング言語ワークショップ(PPL2006) プログラム委員
Sep 2005
The 2005 ACM SIGPLAN Workshop on ML Program Committee Member
Sep 2005
日本ソフトウェア科学会第22回大会 プログラム委員
Mar 2005
第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005) プログラム委員
Sep 2004
The 2004 International Conference on Functional Programming (ICFP) Programming Contest Organizer
Aug 2003
8th ACM SIGPLAN International Conference on Functional Programming (ICFP 2003) Program Committee Member
Oct 2001
-
Mar 2003
日本ソフトウェア科学会 企画委員
Awards & Honors
Dec 2011
第25回日本IBM科学賞（コンピューター・サイエンス分野）, 日本IBM
Feb 2013
第9回（平成24年度）日本学術振興会賞, 日本学術振興会
Jul 2010
第2回マイクロソフトリサーチ日本情報学研究賞（基礎的情報学分野）, マイクロソフト株式会社
May 2005
2004年度上期未踏ソフトウェア創造事業天才プログラマー／スーパークリエータ, 情報処理推進機構
Sep 2000
The Third Annual ICFP Programming Contest (1st Place), ACM SIGPLAN International Conference on Functional Programming
Winner: Team PLClub, University of Pennsylvania
Feb 2014
ソフトウエアジャパンアワード, 情報処理学会
Apr 2012
第11回船井学術賞, 船井情報科学振興財団
Nov 2011
第1回RIEC Award東北大学研究者賞, 東北大学電気通信研究所
Jun 2011
日本ソフトウェア科学会第15回論文賞, 日本ソフトウェア科学会
Winner: 上嶋祐紀，住井英二郎
Apr 2008
第7回船井情報科学奨励賞, 船井情報科学振興財団
May 2006
第1回野口研究奨励賞, 情報処理学会東北支部
Oct 2002
The Fifth ICFP Programming Contest (1st Place), ACM SIGPLAN International Conference on Functional Programming
Winner: Team TAPLAS, University of Tokyo
Feb 2001
日本ソフトウェア科学会第3回プログラミングおよびプログラミング言語ワークショップ論文賞, 日本ソフトウェア科学会
Winner: Eijiro Sumii, Benjamin C. Pierce
Published Papers
Masayuki Mizuno,Eijiro Sumii
Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings 1-16 2018 [Refereed]
Eijiro Sumii, Benjamin C. Pierce
J. ACM 54(5) 26:1-26:43 2007 [Refereed]
Eijiro Sumii
Theor. Comput. Sci. 411(51-52) 4358-4378 2010 [Refereed]
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
ACM Trans. Program. Lang. Syst. 33(1) 5:1-5:69 2011 [Refereed]
Contains a number of typographical errors introduced by the copy editor (which the authors did not have time to correct)
Eijiro Sumii, Benjamin C. Pierce
Journal of Computer Security 11(4) 521-554 2003 [Refereed]
住井, 英二郎
コンピュータ ソフトウェア 25(2) 28-38 2008 [Refereed]
水野, 雅之, 住井, 英二郎
日本ソフトウェア科学会大会論文集 33 475-480 2016
Taichi Yachi, Eijiro Sumii
Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, Lecture Notes in Computer Science 10017 171-186 2016 [Refereed]
谷内, 太一, 住井, 英二郎
日本ソフトウェア科学会大会論文集 32 1-7 2015
Akinori Abe, Eijiro Sumii
Proceedings ML Family/OCaml Users and Developers workshops, ML/OCaml 2015, Gothenburg, Sweden, September 4-5, 2014., EPTCS 198 1-21 2015 [Refereed]
単純かつ実用的な静的サイズ検査つき線形代数演算ライブラリ
阿部 晃典, 住井 英二郎
第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014)論文集 1-16 2014 [Refereed]
Akinori Abe, Eijiro Sumii
The OCaml Users and Developers Workshop 1-3 2014 [Refereed]
対応表明つきプロトコル記述からSpiCAへの複数セッションを考慮した変換
佐藤 悠史, 住井 英二郎
第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)論文集 1-15 2013 [Refereed]
Eijiro Sumii, Yuji Sato
FCS 2013 Workshop on Foundations of Computer Security (Informal Proceedings) 68-82 2013 [Refereed]
Adrien Piérard, Eijiro Sumii
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012 531-540 2012 [Refereed]
Adrien Piérard, Eijiro Sumii
Foundations of Software Science and Computational Structures - 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Procee 6604 123-137 2011 [Refereed]
Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii
HLCL '98, 3rd International Workshop on High-Level Concurrent Languages (Satellite Workshop of CONCUR '98), Electr. Notes Theor. Comput. Sci. 276 215-235 2011 [Refereed]
Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii
Modelling, Controlling and Reasoning About State, 29.08. - 03.09.2010, Dagstuhl Seminar Proceedings 10351 1-9 2010 [Invited]
Adrien Piérard, Eijiro Sumii
CoRR abs/1006.4943 1-15 2010
上嶋, 祐紀, 住井, 英二郎
コンピュータ ソフトウェア 26(1) 139-154 2009 [Refereed]
Eijiro Sumii
Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, Lecture Notes in Computer Scienc 5502 237-251 2009 [Refereed]
Eijiro Sumii
Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, Lecture Notes in Computer Science 5771 455-469 2009 [Refereed]
Nobuyuki Sato, Eijiro Sumii
Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings, Lecture Notes in Computer Science 5904 311-326 2009 [Refereed]
Hisatoshi Sutou, Eijiro Sumii
Manuscript 2007
型安全な通信ライブラリQuicksilverとその改良
須藤尚稔, 住井英二郎
第9回プログラミングおよびプログラミング言語ワークショップ(PPL 2007)論文集 39-51 2007 [Refereed]
Javaへの変換による安全なC言語の実装
上嶋祐紀, 住井英二郎
第9回プログラミングおよびプログラミング言語ワークショップ(PPL 2007)論文集 52-66 2007 [Refereed]
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings 293-302 2007 [Refereed]
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, Lecture Notes in Computer Science 4767 364-379 2007 [Invited]
Eijiro Sumii, Benjamin C. Pierce
Theor. Comput. Sci. 375(1-3) 169-192 2007 [Refereed]
Eijiro Sumii, Benjamin C. Pierce
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005 63-74 2005 [Refereed]
Eijiro Sumii
Proceedings of the 2005 workshop on Functional and declarative programming in education, Tallinn, Estonia, September 25 - 25, 2005 27-38 2005 [Refereed]
住井英二郎, 大根田裕一, 米澤, 明憲
情報処理学会論文誌プログラミング（PRO） 45(12) 67-82 2004 [Refereed]
住井英二郎, 立沢, 秀晃, 米澤, 明憲
情報処理学会論文誌プログラミング（PRO） 45(12) 1-10 2004 [Refereed]
Eijiro Sumii, Benjamin C. Pierce
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004 161-172 2004 [Refereed]
Fail-Safe Cのためのインターフェイス定義言語
末永幸平, 大岩寛, 住井英二郎, 米澤明憲
第5回プログラミングおよびプログラミング言語ワークショップ(PPL 2003)論文集 135-148 2003 [Refereed]
増山, 隆, 住井英二郎, 米澤, 明憲
情報処理学会論文誌プログラミング（PRO） 44(2) 42-42 2003
田渕, 直, 住井英二郎, 米澤, 明憲
情報処理学会論文誌プログラミング（PRO） 44(2) 1-12 2003 [Refereed]
Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa
Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers, Lecture Notes in Computer Science 3233 192-208 2003 [Refereed]
Eijiro Sumii, Hideo Bannai
Journal of Functional and Logic Programming 2003 1-22 2003 [Refereed]
Javaバイトコードにおけるオブジェクト使用解析のための型システム
浜中 信行, 住井 英二郎, 小林 直樹, 米澤 明憲
第4回プログラミングおよびプログラミング言語ワークショップ(PPL 2002)論文集 74-88 2002
増山 隆, 住井 英二郎, 米澤 明憲
Manuscript 1-16 2002
Akihito Nagata, Eijiro Sumii, Akinori Yonezawa
Manuscript 1-7 2002
Linux/TAL: 型付きアセンブリプログラムのカーネルモード実行方式
前田 俊行, 住井 英二郎, 米澤 明憲
第4回プログラミングおよびプログラミング言語ワークショップ(PPL 2002)論文集 62-73 2002 [Refereed]
大岩, 寛, 住井, 英二郎, 米澤, 明憲
コンピュータ ソフトウェア 19(3) 195-200 2002 [Refereed]
Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa
Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002 50-60 2002 [Refereed]
Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa
Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers, Lecture Notes in Computer Science 2609 133-153 2002 [Refereed]
Eijiro Sumii, Hideo Bannai
Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, Lecture Notes in Computer Science 2441 290-304 2002 [Refereed]
Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa
TIP'02, International Workshop in Types in Programming, Electr. Notes Theor. Comput. Sci. 75 95-113 2002 [Refereed]
Errata: http://www.kb.ecei.tohoku.ac.jp/~sumii/pub/xperl.err.txt
Supporting Objects in Run-time Bytecode Specialization
Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa
日本ソフトウェア科学会大会論文集 18 1-4 2001
安全性を保証するANSI-C実行系の実装手法
大岩, 寛, 住井, 英二郎, 米澤, 明憲
日本ソフトウェア科学会大会論文集 18 1-5 2001
The Cryptographic lambda-Calculus: Syntax, Semantics, Type System and Logical Relations
Eijiro Sumii, Benjamin C. Pierce
Informal Proceedings of the 3rd JSSST Workshop on Programming and Programming Languages (PPL 2001) 97-108 2001 [Refereed]
Eijiro Sumii, Benjamin C. Pierce
Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE 256-269 2001 [Refereed]
Daisuke Hoshina, Eijiro Sumii, Akinori Yonezawa
Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings, Lecture Notes in Computer Science 2215 64-81 2001 [Refereed]
VMλ: a Functional Calculus for Scientific Discovery
Eijiro Sumii, Hideo Bannai
The Second Asian Workshop on Programming Languages and Systems, APLAS'01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings 265-275 2001
Eijiro Sumii, Naoki Kobayashi
Higher-Order and Symbolic Computation 14(2-3) 101-142 2001 [Refereed]
Eijiro Sumii
Proceedings of the Workshop on Scheme and Functional Programming 2000 61-63 2000 [Refereed]
Eijiro Sumii, Naoki Kobayashi
Computer Software 17(3) 230-254 2000 [Refereed]
Eijiro Sumii, Naoki Kobayashi
Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), Boston, Massachusetts, USA, January 22-23, 2000 12-21 2000 [Refereed]
Naoki Kobayashi, Shin Saito, Eijiro Sumii
CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings, Lecture Notes in Computer Science 1877 489-503 2000 [Refereed]
Online Type-Directed Partial Evaluation for Dynamically-Typed Languages
Eijiro Sumii, Naoki Kobayashi
Informal Proceedings of the 1st JSSST Workshop on Programming and Programming Languages (PPL 1999) 55-66 1999 [Refereed]
Eijiro Sumii, Naoki Kobayashi
Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVII), Electr. Notes Theor. Comput. Sci. 16(3) 225-247 1998 [Refereed]
Misc
Michael Codish, Eijiro Sumii
J. Funct. Program. 26(e14) 1-2 2016
住井, 英二郎
学術の動向 21(3) 3_118-3_120 2016
住井, 英二郎
情報処理 56(5) 434-437 2015
住井, 英二郎
応用数理 17(4) 280-290 2007
住井 英二郎
日経ITPro Aug 2006
第1回（2006年8月）～第16回（2007年11月）
住井, 英二郎
学術の動向 = Trends in the sciences 22(12) 62-64 2017
住井, 英二郎
コンピュータ ソフトウェア 33(2) 2_92-2_93 2016
OCaml入門：“O”が示すもの
住井 英二郎
日経ソフトウエア 39-44 Nov 2014
住井, 英二郎, 首藤, 一幸
コンピュータソフトウェア 26(2) 1-2 2009
安全なC言語～プログラミング言語研究の前線から
住井 英二郎
オープンソースマガジン 67-73 Oct 2006
住井, 英二郎
コンピュータ ソフトウェア 20(6) 607-616 2003
五十嵐淳, 住井英二郎
情報処理 43(2) 200-201 2002
住井, 英二郎
コンピュータ ソフトウェア 18(6) 637-641 2001
住井, 英二郎, 小林, 直樹
コンピュータソフトウェア 16(4) 372-377 1999
Books etc
Jacques Garrigue, Gabriele Keller, Eijiro Sumii (Part:Joint Editor)
ACM 2016 ISBN:978-1-4503-4219-3
Michael Codish, Eijiro Sumii (Part:Joint Editor)
Springer 2014 ISBN:978-3-319-07150-3
TYPES AND PROGRAMMING LANGUAGES
Benjamin C. Pierce 著, 住井英二郎 監訳, 遠藤侑介 他 訳 (Part:Supervisor)
オーム社 2013 ISBN:978-4-274-06911-6
数理的技法による情報セキュリティ
萩谷昌巳, 塚田恭章 編, 住井英二郎 他 著 (Part:Joint Work, 第2章（spi計算による暗号プロトコルの記号的検証）17頁～35頁)
共立出版 2010 ISBN:978-4-320-01950-8
Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008
Eijiro Sumii (Part:Editor)
ACM 2008 ISBN:978-1-60558-062-3
Conference Activities & Talks
A Higher-Order Distributed Calculus with Name Creation
Adrien Piérard, Eijiro Sumii
Twenty-Seventh Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2012) 25 Jun 2012
LLで未来を発明する
Larry Wall, まつもと ゆきひろ, 住井 英二郎, 藤田 善勝, ひげぽん
Lightweight Language Future (LL Future) 30 Aug 2008
A Bisimulation for Type Abstraction and Recursion
Eijiro Sumii, Benjamin C. Pierce
The 32nd Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages 12 Jan 2005
MinCaml: a simple and efficient compiler for a minimal functional language
Eijiro Sumii
Functional and Declarative Programming in Education (FDPE05) 25 Sep 2005
A Bisimulation for Dynamic Sealing
Eijiro Sumii, Benjamin C. Pierce
The 31st Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages 14 Jan 2004
Experiences in the Young Academy of Japan
Eijiro Sumii
2017 Y-KAST - YAJ Bilateral Workshop on "Institutional and Scientific Challenges for Young Scientists in Asia" 15 Mar 2017
Established NYAs in Asia: Success Story and Initiatives
Nana Saleh, Pooja Gupta, Udi Sommer, Eijiro Sumii, Jwa-Min Nam, Abhi Veerakumarasivam, Aftab Ahmad, Thomas Edison E. Dela Cruz, Numpon Mahayotsanun, Yusuf Baran, Tran Quang Huy
1st Asian National Young Academy Meeting: Advancing Synergies in Asian NYAs 15 Dec 2016
Program Chair Report
Eijiro Sumii
ICFP 2016: The 21st ACM SIGPLAN International Conference on Functional Programming 18 Sep 2016
プログラムの論理
住井 英二郎
第61回情報科学談話会 3 Dec 2015
Global Young Academy: The voice of young scientists around the world
Eijiro Sumii
The Third UN World Conference on Disaster Risk Reduction, Science and Technology Major Group Booth 17 Mar 2015
An Experiment for Duplication of Polymorphic Functions in OCaml
Ryohei Tokuda, Eijiro Sumii
APLAS 2014: 12th Asian Symposium on Programming Languages and Systems 17 Nov 2014
Normalizing Structured Graphs
Eijiro Sumii, Kazuma Kikuchi
IFIP Working Group 2.8 32nd meeting 11 Aug 2014
いわゆる「情報系」研究者・技術者のキャリアパスについて
住井 英二郎
筑波大学附属駒場高等学校 進路懇談会 5 Jul 2014
Opening
Eijiro Sumii
Twelfth International Symposium on Functional and Logic Programming (FLOPS 2014) 4 Jun 2014
研究(分野)紹介://環境双模倣.プログラミング言語理論.理論計算機科学.計算機科学
住井 英二郎
日本学術会議公開シンポジウム 若手研究者ネットワーク活用に向けて: 若手研究者をめぐる諸問題へのとりくみと学際融合による研究の創出 7 Mar 2014
OCamlにおける多相関数の複製の実験
徳田 亮平, 住井 英二郎
第16回プログラミングおよびプログラミング言語ワークショップ: PPL2014 5 Mar 2014
λの力
住井 英二郎
ソフトウエアジャパン2014 4 Feb 2014
Environmental Bisimulation and Its Open Problems
Eijiro Sumii
IFIP Working Group 2.8 31st meeting 13 Oct 2013
一若手研究者（理論計算機科学）の視点
住井 英二郎
学術フォーラム: 社会の中の、社会のための科学技術イノベーションの推進 7 Aug 2013
オーダー2の高階ブーリアンプログラムの文脈等価性に関する同値類列挙
長井 雅比古, 住井 英二郎
第15回プログラミングおよびプログラミング言語ワークショップ: PPL2013 4 Mar 2013
Activities and Experiences in the Young Academy of Japan
Eijiro Sumii
Microsoft Research Asia Faculty Summit 2012 26 Oct 2012
A Higher-Order Distributed Calculus with Name Creation
Adrien Piérard, Eijiro Sumii
日本ソフトウェア科学会第29回大会 22 Aug 2012
Higher Order Distribution and Name Creation
Adrien Piérard, Eijiro Sumii
IFIP Working Group 2.8 29th meeting 19 Feb 2012
若手研究者たちと考える、君たちの、そして日本の未来〜大学で何を学び、何をかなえたい？〜
日本学術会議若手アカデミー委員会
科学・技術フェスタin京都2011 17 Dec 2011
環境双模倣によるプログラム等価性証明手法
住井 英二郎
第25回日本IBM科学賞授賞式 1 Dec 2011
ソフトウェア検証における計算理論的問題: 安全性検証および等価性検証の事例
住井 英二郎
e-サイエンスに向けた革新的アルゴリズム基盤: 第2回シンポジウム 22 Nov 2011
Java言語への変換によるポインタ演算の安全な実装方式
上嶋 祐紀, 住井 英二郎
日本ソフトウェア科学会第28回大会 27 Sep 2011
Report on the Fourteenth ICFP Programming Contest
Eijiro Sumii
ICFP 2011: The 16th ACM SIGPLAN International Conference on Functional Programming 19 Sep 2011
震災から3ヶ月半: 東北大学のこれまでと今後
住井 英二郎
日本学術会議公開シンポジウム 若手研究者の考える、震災後の未来: 学術に何ができるのか 26 Jun 2011
高信頼・高安全ソフトウェアのための数理的検証手法：最新の研究と応用の現状
住井 英二郎
RSA Conference Japan 2010 9 Sep 2010
Parametricity via Bisimilarity (Preliminary Work)
Eijiro Sumii
Dagstuhl Seminar 10351: Modelling, Controlling and Reasoning About State 29 Aug 2010
Environmental Bisimulations for Program Equivalence
住井 英二郎
第2回マイクロソフトリサーチ日本情報学研究賞授賞式 26 Jul 2010
Environmental Bisimulations for Program Equivalences
Eijiro Sumii
IFIP Working Group 2.8 27th meeting 11 Apr 2010
The Higher-Order, Call-by-Value Applied Pi-Calculus
Nobuyuki Sato, Eijiro Sumii
The Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009) 14 Dec 2009
A complete characterization of observational equivalence in polymorphic lambda-calculus with general references
Eijiro Sumii
Events 2009 (Max Planck Institute for Software Systems) 10 Sep 2009
A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References
Eijiro Sumii
CSL 09: 18th EACSL Annual Conference on Computer Science Logic 7 Sep 2009
A Theory of Non-Monotone Memory (Or: Contexts for free)
Eijiro Sumii
ESOP '09: 18th European Symposium on Programming 25 Mar 2009
Environment Bisimulations for Higher-Order Languages
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
Scottish Programming Languages Seminar 28 Sep 2007
Environment Bisimulations for Higher-Order Languages
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
Twenty-Second Annual IEEE Symposium on Logic in Computer Science (LICS 2007) 10 Jul 2007
spi計算における暗号プロトコルの形式的検証について
住井 英二郎
日本応用数理学会(JSIAM)「数理的技法による情報セキュリティ」研究部会(FAIS)第二回研究集会 22 Dec 2006
The Fail-Safe C to Java translator
Yuki Kamijima, Eijiro Sumii
The Fourth ASIAN Symposium on Programming Languages and Systems (APLAS 2006) 8 Nov 2006
２時間で真似(まね)ぶ関数型言語のコンパイラ
住井 英二郎
第４回プログラミングおよびプログラミング言語サマースクール(PPL Summer School 2006) 12 Sep 2006
LLで関数プログラミング
住井 英二郎, 青木 峰郎, 久井 亨, 中村 正三郎, 山下 伸夫, 今泉 貴史
Lightweight Language Ring (LL Ring) 26 Aug 2006
A Bisimulation for Type Abstraction and Recursion
Eijiro Sumii, Benjamin C. Pierce
NJPLS: The New Jersey Programming Languages and Systems Seminar Series 3 Dec 2004
A Bisimulation for Type Abstraction and Recursion
Eijiro Sumii, Benjamin C. Pierce
PLClub (University of Pennsylvania) 15 Oct 2004
A Bisimulation for Type Abstraction and Recursion
Eijiro Sumii, Benjamin C. Pierce
NEPLS: The New England Programming Languages and Systems Symposium Series 8 Oct 2004
例外処理機構を備えた命令型言語のCPS変換とその定式化
住井 英二郎, 大根田 裕一, 米澤 明憲
情報処理学会第48回プログラミング研究会(PRO-2003-5) 18 Mar 2004
セキュリティプロトコルの略式記法からspi計算への変換
住井 英二郎, 立沢 秀晃, 米澤 明憲
情報処理学会第48回プログラミング研究会(PRO-2003-5) 18 Mar 2004
A Bisimulation for Dynamic Sealing
Eijiro Sumii, Benjamin C. Pierce
第6回プログラミングおよびプログラミング言語ワークショップ(PPL2004) 11 Mar 2004
A Bisimulation for Dynamic Sealing
Eijiro Sumii, Benjamin C. Pierce
Dagstuhl Seminar 03411: Language-Based Security 5 Oct 2003
例外処理機構を備えた手続き型言語のCPS変換とその定式化（ショートプレゼンテーション）
大根田 裕一, 住井 英二郎
第５回プログラミングおよびプログラミング言語ワークショップ(PPL2003) 5 Mar 2003
セキュリティプロトコルの略式表現からspi calculusへの変換（ショートプレゼンテーション）
立沢 秀晃, 住井 英二郎
第５回プログラミングおよびプログラミング言語ワークショップ(PPL2003) 5 Mar 2003
VMlambda: a Functional Calculus for Scientific Discovery
Eijiro Sumii, Hideo Bannai
FLOPS 2002: Sixth International Symposium on Functional and Logic Programming 15 Sep 2002
Syntactic Logical Relations for Perfect Encryption, Higher-Order References and First-Class Channels
住井 英二郎
プログラミング言語セミナー（京都大学数理解析研究所） 5 Aug 2002
Safe Execution of User Programs in Kernel Mode using Typed Assembly Language
Toshiyuki Maeda, Eijiro Sumii, Akinori Yonezawa
ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI) 17 Jun 2002
Implementing a Fail-Safe ANSI-C Compiler
Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa
ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI) 17 Jun 2002
A Scheme-to-Java Translator with Soft Typing
永田 章人, 住井 英二郎
第5回プログラミングおよび応用のシステムに関するワークショップ: SPA '02 4 Mar 2002
VMλ: a Functional Calculus for Scientific Discovery
Eijiro Sumii, Hideo Bannai
The Asian Workshop on Programming Languages and Systems 17 Dec 2001
Logical Relations for Encryption
Eijiro Sumii, Benjamin C. Pierce
14th IEEE Computer Security Foundations Workshop - CSFW-14 11 Jun 2001
Typed CPUおよびTyped OSのアイディア（ショートプレゼンテーション）
住井 英二郎
第3回プログラミングおよびプログラミング言語ワークショップ(PPL2001) 21 Mar 2001
The Cryptographic λ-Calculus: Syntax, Semantics, Type System and Logical Relations
Eijiro Sumii, Benjamin Pierce
第3回プログラミングおよびプログラミング言語ワークショップ(PPL2001) 21 Mar 2001
Relating Cryptography and Polymorphism
Eijiro Sumii, Benjamin Pierce
PLClub (University of Pennsylvania) 3 Nov 2000
Encoding Security Protocols in the Cryptographic lambda-Calculus
Eijiro Sumii, Benjamin Pierce
PLClub (University of Pennsylvania) 27 Oct 2000
Relating Cryptography and Polymorphism
Eijiro Sumii, Benjamin Pierce
NJPLS: The New Jersey Programming Languages and Systems Seminar Series 24 Oct 2000
Relating Cryptography and Polymorphism
Eijiro Sumii, Benjamin Pierce
Penn Logic and Computation Seminar (University of Pennsylvania) 25 Sep 2000
An implementation of transparent migration on standard Scheme
Eijiro Sumii
Scheme and Functional Programming 2000 17 Sep 2000
Online-and-Offline Partial Evaluation: A Mixed Approach
Eijiro Sumii, Naoki Kobayashi
2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'00) 22 Jan 2000
Efficient Online Partial Evaluation
Eijiro Sumii, Naoki Kobayashi
GPCゼミ（早稲田大学） 13 Dec 1999
Bridging the Gap between TDPE and SDPE
Eijiro Sumii
The CACA Seminar （東京大学） 25 Jun 1999
Online Type-Directed Partial Evaluation for Dynamically-Typed Languages
Eijiro Sumii, Naoki Kobayashi
第1回プログラミングおよびプログラミング言語ワークショップ(PPL'99) 17 Mar 1999
Linear Type Systems for Concurrent Languages
Eijiro Sumii
Workshop on Linear Logic and Applications 26 Feb 1999
A Generalized Deadlock-Free Process Calculus
Eijiro Sumii, Naoki Kobayashi
HLCL'98: 3rd International Workshop on High-Level Concurrent Languages 12 Sep 1998
Social Contribution
震災後「どう貢献」 若手研究者が自問自答
[Others] 日本経済新聞 28 Jun 2011
Others
Oct 2013 静的情報保護と動的情報保護の融合のためのプログラミング言語理論
静的情報保護と動的情報保護の融合のためのプログラミング言語理論
Jul 2010 第2回マイクロソフトリサーチ日本情報学研究賞（基礎的情報学分野）
Apr 2009 高階・暗号プロセス計算におけるセキュリティ検証手法
高階・暗号プロセス計算におけるセキュリティ検証手法
Dec 2008 プログラム等価性にもとづく高階・暗号化通信システムのセキュリティ検証手法
プログラム等価性にもとづく高階・暗号化通信システムのセキュリティ検証手法
Jan 2006 プログラミング言語モデルによる情報セキュリティの実現と検証
プログラミング言語モデルによる情報セキュリティの実現と検証
Sep 2005 MinCaml: A Simple and Efficient Compiler for a Minimal Functional Language
MinCaml: A Simple and Efficient Compiler for a Minimal Functional Language
