学内研究所等
-
2020年-2022年
理工学術院総合研究所 兼任研究員
2022/08/11 更新
理工学術院総合研究所 兼任研究員
カリフォルニア大学バークレー校 電子工学・コンピュータサイエンス学科 コンピュータサイエンス専攻
コロンビア大学 工学・応用科学科 コンピュータサイエンス専攻
カリフォルニア大学バークレー校 博士
カリフォルニア大学バークレー校 修士
コロンビア大学 学士
早稲田大学 理工学術院 基幹理工学部 情報理工学科 教授
北陸先端科学技術大学院大学 情報科学研究科 教授
名古屋大学 大学院情報科学研究科 准教授
東北大学 大学院情報科学研究科 助教
ACM
情報処理学会
ソフトウェア科学会
ソフトウェア
情報学基礎論
On Lookaheads in Regular Expressions with Backreferences
Nariyoshi Chida, Tachio Terauchi
In Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022), pp.15:1-15:18, Schloss Dagstuhl Leibniz-Zentrum für Informatik 2022年 [査読有り]
Repairing DoS Vulnerability of Real-World Regexes
Nariyoshi Chida, Tachio Terauchi
In Proceedings of the 43rd IEEE Symposium on Security and Privacy (S&P 2022), pp.2060-2077, IEEE Computer Society 2022年 [査読有り]
Constraint-based Relational Verification
Hiroshi Unno, Tachio Terauchi, Eric Koskinen
In Proceedings of the 33rd International Conference on Computer-Aided Verification (CAV 2021), Lecture Notes in Computer Science 12759, pp.742-766, Springer 2021年 [査読有り]
Bucketing and Information Flow Analysis for Provable Timing Attack Mitigation
Tachio Terauchi, Timos Antonopoulos
Journal of Computer Security 28 ( 6 ) 607 - 634 2020年 [査読有り] [国際誌] [国際共著]
Failure of Cut-Elimination in Cyclic Proofs of Separation Logic
Daisuke Kimura, Koji Nakazawa, Tachio Terauchi, Hiroshi Unno
Computer Software 37 ( 1 ) 1_39 - 1_52 2020年 [査読有り] [招待有り] [国内誌]
Games for Security under Adaptive Adversaries.
Timos Antonopoulos, Tachio Terauchi
In Proceedings of the 32nd IEEE Computer Security Foundations Symposium (CSF 2019), pp.216-229, IEEE Computer Society 2019年 [査読有り] [国際誌]
A Formal Analysis of Timing Channel Security via Bucketing.
Tachio Terauchi, Timos Antonopoulos
In Proceedings of the 8th International Conference on Principles of Security and Trust (POST 2019), Lecture Notes in Computer Science 11426, pp.29-50, Springer 2019年 [査読有り] [国際誌]
A Fixpoint Logic and Dependent Effects for Temporal Property Verification.
Yoji Nanjo, Hiroshi Unno, Eric Koskinen, Tachio Terauchi
In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), pp. 759-768, ACM 2018年 [査読有り] [国際誌]
Hiroshi Unno, Yuki Satake, Tachio Terauchi
PACMPL 2 ( POPL ) 12:1-12:29 2018年 [査読有り] [国際誌]
Compositional synthesis of leakage resilient programs
Arthur Blot, Masaki Yamamoto, Tachio Terauchi
In Proceedings of the 6th International Conference on Principles of Security and Trust (POST 2017), Lecture Notes in Computer Science 10204, pp.277-297, Springer 2017年 [査読有り] [国際誌]
Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei
In Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017), ACM SIGPLAN Notices 52 (6), pp.362-375. ACM 2017年 [査読有り] [国際誌]
Temporal verification of higher-order functional programs
Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno
In Proceedings of the 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016), ACM SIGPLAN Notices 51 (1), pp.57-68, ACM. 2016年 [査読有り]
Inferring simple solutions to recursion-free horn clauses via sampling
Hiroshi Unno, Tachio Terauchi
In Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), Lecture Notes in Computer Science 9035, pp.149-163, Springer 2015年 [査読有り]
Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR
Tachio Terauchi
In Proceedings of the 22nd International Static Analysis Symposium (SAS 2015), Lecture Notes in Computer Science 9291, pp.128-144, Springer 2015年 [査読有り]
Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement
Tachio Terauchi, Hiroshi Unno
In Proceedings of the 24th European Symposium on Programming (ESOP 2015), Lecture Notes in Computer Science 9032, pp.610-633, Springer 2015年 [査読有り]
Automatic Termination Verification for Higher-Order Functional Programs
Takuya Kuwahara, Tachio Terauchi, Hiroshi Unno, Naoki Kobayashi
In Proceedings of the 23rd European Symposium on Programming (ESOP 2014), Lecture Notes in Computer Science 8410, pp.392-411, Springer 2014年 [査読有り]
Eric Koskinen, Tachio Terauchi
In Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (CSL-LICS 2014), pp.59:1-59:10, ACM 2014年 [査読有り]
Quantitative information flow as safety and liveness hyperproperties
Hirotoshi Yasuoka, Tachio Terauchi
Theoretical Computer Science 538 167 - 182 2014年 [査読有り]
Automating relatively complete verification of higher-order functional programs
Hiroshi Unno, Tachio Terauchi, Naoki Kobayashi
In Proceedings of the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013), ACM SIGPLAN Notices 48 (1), pp.75-86, ACM, January, 2013. 2013年01月 [査読有り]
無限小定数と限量子除去法によるハイブリッドシステムの検証に向けて
岩塚 卓弥, 寺内 多智弘, 結縁 祥治
情報処理学会論文誌プログラミング(PRO) 6 ( 3 ) 20 - 32 2013年 [査読有り]
Quantitative information flow as safety and liveness hyperproperties
Hirotoshi Yasuoka, Tachio Terauchi
In Proceedings of the 10th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2012), Electronic Proceedings in Theoretical Computer Science 85, pp.77-91 2012年 [査読有り]
On bounding problems of quantitative information flow
Hirotoshi Yasuoka, Tachio Terauchi
Journal of Computer Security 19 ( 6 ) 1029 - 1082 2011年 [査読有り] [招待有り]
Dependent Types from Counterexamples
Tachio Terauchi
In Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2010), ACM SIGPLAN Notices 45 (1), pp.119-130, ACM 2010年 [査読有り]
On Bounding Problems of Quantitative Information Flow
Hirotoshi Yasuoka, Tachio Terauchi
In Proceedings of the 15th European Symposium on Research in Computer Security (ESORICS 2010), Lecture Notes in Computer Science 6345, pp.357-372, Springer 2010年 [査読有り]
Quantitative Information Flow - Verification Hardness and Possibilities
Hirotoshi Yasuoka, Tachio Terauchi
In Proceedings of the 23rd IEEE Computer Security Foundations Symposium (CSF 2010), pp.15-27, IEEE Computer Society 2010年 [査読有り]
Polymorphic Fractional Capabilities
Hirotoshi Yasuoka, Tachio Terauchi
In Proceedings of the 16th International Static Analysis Symposium (SAS 2009), Lecture Notes in Computer Science 5673, pp.36-51, Springer. 2009年 [査読有り]
Tachio Terauchi, Alex Aiken
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 ( 3 ) 15:1-15:42 2008年05月 [査読有り]
A capability calculus for concurrency and determinism
Tachio Terauchi, Alex Aiken
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 ( 5 ) 27:1 - 27:30 2008年 [査読有り]
Checking race freedom via linear programming
Tachio Terauchi
In Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI 2008), ACM SIGPLAN Notices 43 (6), pp.1-10, ACM 2008年 [査読有り]
Inferring channel buffer bounds via linear programming
Tachio Terauchi, Adam Megacz
In Proceedings of the 17th European Symposium on Programming (ESOP 2008), Lecture Notes in Computer Science 4960, pp.284-298, Springer 2008年 [査読有り]
A type system for observational determinism
Tachio Terauchi
In Proceedings of the 21st IEEE Computer Security Foundations Symposium (CSF 2008), pp.287-300, IEEE Computer Society 2008年 [査読有り]
On typability for rank-2 intersection types with polymorphic recursion
Tachio Terauchi, Alex Aiken
In Proceedings of the 21st IEEE Symposium on Logic in Computer Science (LICS 2006), pp.111-122, IEEE Computer Society 2006年 [査読有り]
A capability calculus for concurrency and determinism
Tachio Terauchi, Alex Aiken
In Proceedings of the 17th International Conference on Concurrency Theory (CONCUR 2006), Lecture Notes in Computer Science 4137, pp.218-232, Springer 2006年 [査読有り]
Secure information flow as a safety problem
T Terauchi, A Aiken
In Proceedings of the 12th International Static Analysis Symposium (SAS 2005), Lecture Notes in Computer Science 3672, pp.352-367, Springer, September, 2005. 2005年 [査読有り]
T Terauchi, A Aiken
In Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming (ICFP 2005), ACM SIGPLAN Notices 40 (9), pp.105-115, ACM 2005年 [査読有り]
Checking and inferring local non-aliasing
A Aiken, JS Foster, J Kodumal, T Terauchi
In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI 2003), ACM SIGPLAN Notices 38 (5), pp.129-140, ACM 2003年 [査読有り]
Flow-sensitive type qualifiers
JS Foster, T Terauchi, A Aiken
In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI 2002), ACM SIGPLAN Notices 37 (5), pp.1-12, ACM 2002年 [査読有り]
Exploring MARS: developing indoor and outdoor user interfaces to a mobile augmented reality system
T Hollerer, S Feiner, T Terauchi, G Rashid, D Hallaway
Computers & Graphics 23 ( 6 ) 779 - 785 1999年 [査読有り]
論文賞
2022年03月 ソフトウェア科学会 第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022) 代数的エフェクトハンドラを持つ言語のためのトレースエフェクト
早稲田大学リサーチアワード 国際研究発信力
2019年12月 早稲田大学
The EASST Award for the Best ETAPS Paper Related to the Systematic and Rigorous Engineering of Software and Systems, Nominee
2017年04月 European Association for Software Science and Technology Compositional Synthesis of Leakage Resilient Programs
発表賞(一般)
2008年03月 ソフトウェア科学会 第10回プログラミングおよびプログラミング言語ワークショップ (PPL 2008)
第4回野口研究奨励賞
2008年 情報処理学会 東北支部
数理論理手法と人工知能手法の融合に基づくマルウェアの自動意味理解
日本学術振興会 科学研究費助成事業 挑戦的研究(開拓)
研究期間:
小川 瑞史, NGUYEN MinhLe, 寺内 多智弘, 関 浩之
高階・再帰的データ構造への破壊的代入を含む高レベル言語プログラムの高精度な検証
日本学術振興会 科学研究費助成事業 基盤研究(B)
研究期間:
寺内 多智弘, 海野 広志
サイドチャネル攻撃耐タンパ性のためのプログラム検証・プログラム合成技術
日本学術振興会 科学研究費助成事業 挑戦的研究(萌芽)
研究期間:
寺内 多智弘
数理論理学とその応用の国際研究拠点形成
日本学術振興会 研究拠点形成事業 先端拠点形成型
研究期間:
石原 哉
論理的ー形式的手法による情報セキュリティ研究ー暗号プロトコル検証と量的情報流解析
日本学術振興会 二国間交流事業 共同研究 (AYAMEプログラム)
研究期間:
岡田 光弘
実用効率の振舞いに基づくソフトウェア検証の数理的構造
日本学術振興会 二国間交流事業 共同研究
研究期間:
結縁 祥治
高レベル言語で記述されたリアクティブシステムに対する実時間性質の検証
日本学術振興会 科学研究費助成事業 基盤研究(B)
研究期間:
結縁 祥治, 寺内 多智弘
高階プログラムのための時相論理仕様検証
日本学術振興会 外国人特別研究員(欧米短期)事業
研究期間:
寺内 多智弘
日本学術振興会 科学研究費助成事業 基盤研究(A)
研究期間:
小林 直樹, 五十嵐 淳, 住井 英二郎, 松田 一孝, 寺内 多智弘
-
Repairing DoS Vulnerability of Real-World Regexes
Nariyoshi Chida, Tachio Terauchi
ソフトウェア科学会 第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022)
発表年月: 2022年03月
代数的エフェクトハンドラを持つ言語のためのトレースエフェクト
川俣楓河, 寺内多智弘
ソフトウェア科学会 第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022)
発表年月: 2022年03月
Constraint-based Relational Verification
Tachio Terauchi [招待有り]
Workshop on Hyperproperties: Advances in Theory and Practice (HYPER 2021)
発表年月: 2021年10月
Inferring Simple Strategies for Efficient Quantified SMT Solving (Poster Presentation)
Souta Yamauchi, Tachio Terauchi
17th Asian Symposium on Programming Languages and Systems (APLAS 2019)
発表年月: 2019年12月
A Fixpoint Logic and Dependent Effects for Temporal Property Verification
Tachio Terauchi [招待有り]
Dagstuhl Seminar 19371: Deduction Beyond Satisfiability
発表年月: 2019年09月
Solving First-Order Fixpoint Logic for Program Verification
Tachio Terauchi [招待有り]
Third Workshop on Mathematical Logic and its Applications (MLA 2019)
発表年月: 2019年03月
On Cut-Elimination Theorem in Cyclic-Proof Systems
Koji Nakazawa, Daisuke Kimura, Tachio Terauchi, Hiroshi Unno, Kenji Saotome
Third Workshop on Mathematical Logic and its Applications (MLA 2019)
発表年月: 2019年03月
Failure of Cut-Elimination in Cyclic Proofs of Separation Logic
Daisuke Kimura, Koji Nakazawa, Tachio Terauchi, Hiroshi Unno
ソフトウェア科学会 第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019)
発表年月: 2019年03月
A Fixpoint Logic and Dependent Effects for Temporal Property Verification
Yoji Nanjo, Hiroshi Unno, Eric Koskinen, Tachio Terauchi
ソフトウェア科学会 第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019)
発表年月: 2019年03月
On Cut-elimination in Cyclic Proof Systems
Daisuke Kimura, Koji Nakazawa, Tachio Terauchi, Hiroshi Unno
The 4th Workshop on New Ideas and Emerging Results in Programming Languages and Systems (NIER 2018)
発表年月: 2018年12月
Information Flow Security and its Applications to Side Channel Attack Resilience
Tachio Terauchi [招待有り]
The 4th Franco-Japanese Workshop on Cybersecurity
発表年月: 2018年05月
Dependent Temporal Effects and Fixpoint Logic for Verification (ポスター発表)
Yoji Nanjo, Hiroshi Unno, Eric Koskinen, Tachio Terauchi
ソフトウェア科学会 第20回プログラミングおよびプログラミング言語ワークショップ(PPL2018)
発表年月: 2018年03月
Compositional Synthesis of Leakage Resilient Programs.
Tachio Terauchi
NII Shonan Meeting Seminar 115: Intensional and Extensional Aspects of Computation: From Computability and Complexity to Program Analysis and Security
発表年月: 2018年01月
On Predicate Refinement Heuristics in Program Verification with CEGAR
Tachio Terauchi [招待有り]
The 3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS 2016)
発表年月: 2016年04月
On Temporal Verification of Higher-Order Functional Programs
Tachio Terauchi [招待有り]
NII Shonan Meeting Seminar 078: Higher-Order Model Checking
発表年月: 2016年03月
Temporal Verification of Higher-Order Functional Programs
Tachio Terauchi [招待有り]
Dagstuhl Seminar 16131: Language Based Verification Tools for Functional Programs
発表年月: 2016年03月
Verification of Object-Oriented Programs via Refinement Types (Poster presentation)
Nam Mai, Tachio Terauchi
The 13th Asian Symposium on Programming Languages and Systems (APLAS 2015)
発表年月: 2015年11月
Predicate Refinement Heuristics in Program Verification with CEGAR
Tachio Terauchi [招待有り]
NII Shonan Meeting Seminar 063: Semantics and Verification of Object-Oriented Languages
発表年月: 2015年09月
Information Flow Analysis and Applications to Computer Security
Tachio Terauchi [招待有り]
NII Shonan Meeting Seminar 065: Low-level Code Analysis and Applications to Computer Security
発表年月: 2015年03月
効率の良いLeakage Resilientプログラムの自動生成に向けて (ポスター発表)
山本真輝, 寺内多智弘
ソフトウェア科学会 第17回プログラミングおよびプログラミング言語ワークショップ (PPL 2015)
発表年月: 2015年03月
プログラム検証とインバリアント生成
寺内 多智弘 [招待有り]
ソフトウェア科学会第31回全国大会
発表年月: 2014年09月
On Complexity of Verifying Quantitative Information Flow
Tachio Terauchi [招待有り]
Dagstuhl Seminar 12481: Quantitative Security Analysis
発表年月: 2012年11月
Automated Verification of Higher-Order Functional Programs
Tachio Terauchi [招待有り]
The 11th International Symposium on Functional and Logic Programming (FLOPS 2012)
発表年月: 2012年05月
Relatively Complete Refinement Types from Counterexamples
Tachio Terauchi [招待有り]
NII Shonan Meeting Seminar 005: Automated Techniques for Higher-Order Program Verification
発表年月: 2011年09月
Polymorphic Fractional Capabilities
Hirotoshi Yasuoka, Tachio Terauchi
ソフトウェア科学会 第12回 プログラミングおよびプログラミング言語ワークショップ (PPL 2010),
発表年月: 2010年03月
量的情報流の検証の困難性と可能性について. (ポスター発表)
安岡宏俊, 寺内 多智弘
ソフトウェア科学会 第12回 プログラミングおよびプログラミング言語ワークショップ (PPL 2010),
発表年月: 2010年03月
Dependent Types from Counterexamples (ポスター発表)
寺内 多智弘
ソフトウェア科学会 第12回プログラミングおよびプログラミング言語ワークショップ (PPL 2010)
発表年月: 2010年03月
Checking Race Freedom via Linear Programming.
寺内 多智弘
ソフトウェア科学会 第10回 プログラミングおよびプログラミング言語ワークショップ (PPL 2008)
発表年月: 2008年03月
Classification of Cancer Tissue Types by Support Vector Machines using Micro Array Gene Expression Data (Poster presentation)
Jinsong Cai, Aynur Dayanik, Hong Yu, Naveed Hasan, Tachio Terauchi, William N. Grundy
The 8th International Conference on Intelligent Systems for Molecular Biology (ISMB 2000)
発表年月: 2000年08月
Master's Thesis (Department of Computer Science and Communications Engineering)
大学院基幹理工学研究科
2022年 通年
ソフトウェア科学会 プログラミング論研究会 運営委員
The 36th IEEE Computer Security Foundations Symposium (CSF 2023) Program Committee
The 32nd European Symposium on Programming (ESOP 2023) Program Committee
情報処理学会プログラミング研究会(PRO) 幹事
The 37th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2022) Program Committee
The 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2022) Program Committee
The 35th IEEE Computer Security Foundations Symposium (CSF 2022) Program Committee
The 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022) Program Committee
The 49th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2022) Program Committee
The International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2021) Program Committee
The 19th Asian Symposium on Programming Languages and Systems (APLAS 2021) Program Committee
The 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021) Program Committee
The 33rd International Conference on Computer-Aided Verification (CAV 2021) Program Committee
The 34th IEEE Computer Security Foundations Symposium (CSF 2021) Program Committee
文部科学省 科学技術政策研究所 科学技術動向研究センター 専門調査員
The 15th International Symposium on Functional and Logic Programming (FLOPS 2020) Program Committee
ソフトウェア科学会 第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020) プログラム委員
The 12th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2020) Program Committee
The 18th International Symposium on Automated Technology for Verification and Analysis (ATVA 2020) Program Committee
The International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2019) Program Committee
The 26th International Symposium on Static Analysis (SAS 2019) Program Committee
The 11th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2019) Program Committee
The 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019) Program Committee
The 17th Asian Symposium on Programming Languages and Systems (APLAS 2019) Program Committee
情報処理学会プログラミング研究会(PRO) 運営委員
The 10th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2018) Program Committee
The 16th Asian Symposium on Programming Languages and Systems (APLAS 2018) Program Committee
The 45th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2018) Program Committee
The 19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2018) Program Committee
The 44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2017) External Review Committee
The 26th European Symposium on Programming (ESOP 2017) Program Committee
The 4th International Conference on Tools and Methods of Program Analysis (TMPA 2017) Program Committee
The 11th International Workshop on Reachability Problems (RP 2017) Program Committee
The 9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2017) Program Committee
The 15th Asian Symposium on Programming Languages and Systems (APLAS 2017) Program Committee
NII Shonan Seminar 115: Intensional and Extensional Aspects of Computation: From Computability and Complexity to Program Analysis and Security Co-Organizer
The 17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2016) Program Committee
The 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016) (Track B) Program Committee
The 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016) External Review Committee
The 17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2016) Program Committee
The 14th Asian Symposium on Programming Languages and Systems (APLAS 2016) Program Committee
The 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015) Program Committee
ACM SIGPLAN 10th Workshop on Programming Languages and Analysis for Security (PLAS 2015) Program Committee
Workshop on Higher-Order Program Analysis (HOPA 2015) Program Committee
NII Shonan Seminar 069: Logic and Verification Methods in Security and Privacy Co-Organizer
電子情報通信学会 論文誌 第9回フォーマルアプローチ特集 編集委員
The 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2014) Program Committee
The 12th International Symposium on Functional and Logic Programming (FLOPS 2014) Program Committee
Workshop on Higher-Order Program Analysis (HOPA 2014) Program Committee
Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography (FCS-FCC'14) Program Committee
電子情報通信学会 論文誌 第8回フォーマルアプローチ特集 編集委員
The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013) External Review Committee
The 22nd EACSL Annual Conference on Computer Science Logic (CSL 2013) Program Committee
電子情報通信学会 論文誌 第7回フォーマルアプローチ特集 編集委員
The 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2012) Program Committee
The 10th Asian Symposium on Programming Languages and Systems (APLAS 2012) Program Committee
The 6th ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2011) Program Committee
The 12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2011) Program Committee
The 10th International Conference on Typed Lambda Calculi and Applications (TLCA 2011) Program Committee
The 5th ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV 2011) Program Committee
The 20th European Symposium on Programming (ESOP 2011) Program Committee
The 10th International Conference on Typed Lambda Calculi and Applications (TLCA 2011) Program Committee
ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation (PLDI 2010) External Review Committee
ソフトウェア科学会 第12回プログラミングおよびプログラミング言語ワークショップ (PPL 2010) プログラム共同委員長
ソフトウェア科学会 第11回プログラミングおよびプログラミング言語ワークショップ (PPL 2009) プログラム委員
ACM SIGPLAN 4th Workshop on Programming Languages and Analysis for Security (PLAS 2009) Program Committee
The 24th Annual ACM Symposium on Applied Computing (ACM SAC 2009) (Programming Languages Track) Program Committee
The 15th International Static Analysis Symposium (SAS 2008) Program Committee