SUMII Eijiro


SUMII Eijiro

J-GLOBAL         Last updated: Aug 25, 2019 at 04:30
 
Avatar
Name
SUMII Eijiro
URL
http://db.tohoku.ac.jp/whois/e_detail/bd43f84133ae0460af8cf2d67b1c8f8e.html
Affiliation
Tohoku University
Section
Graduate School of Information Sciences Department of Computer and Mathematical Sciences Software Science and Systems Foundations of Software Science
Job title
Professor
Degree
Ph.D. (Information Science and Technology)(The University of Tokyo)

Research Areas

 
 

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
   
 
第8回プログラミングおよびプログラミング言語ワークショップ(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]
水野雅之, 住井英二郎
コンピュータソフトウェア   34(2) 2_114‐2_119(J‐STAGE)   2017
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]
型安全な通信ライブラリ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
住井 英二郎
日経ITPro      Aug 2006
第1回(2006年8月)~第16回(2007年11月)
住井, 英二郎
コンピュータ ソフトウェア   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
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   
2時間で真似(まね)ぶ関数型言語のコンパイラ
住井 英二郎
第4回プログラミングおよびプログラミング言語サマースクール(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変換とその定式化(ショートプレゼンテーション)
大根田 裕一, 住井 英二郎
第5回プログラミングおよびプログラミング言語ワークショップ(PPL2003)   5 Mar 2003   
セキュリティプロトコルの略式表現からspi calculusへの変換(ショートプレゼンテーション)
立沢 秀晃, 住井 英二郎
第5回プログラミングおよびプログラミング言語ワークショップ(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   

Works

 
MinCaml
Software   Feb 2005

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
Jun 2004   美しい日本のMLコンパイラ
美しい日本のMLコンパイラ