研究者

J-GLOBAL ID：200901015211509541 更新日: 2024年04月15日

寺内多智弘

テラウチタチオ | Terauchi Tachio

所属機関・部署：
職名：教授
ホームページURL (2件)： https://terauchi.w.waseda.jp/index-j.html , https://terauchi.w.waseda.jp/index.html

研究分野 (3件)：情報セキュリティ , 情報学基礎論 , ソフトウェア

研究キーワード (9件)：プログラミング言語 , 数理論理学 , 形式検証 , 形式言語理論 , セキュリティ , プログラム検証 , プログラム合成 , 自動定理証明 , 型システム

競争的資金等の研究課題 (14件)：

2022 - 2027 依存篩型と述語制約によるプログラム検証の深化
2020 - 2026 数理論理手法と人工知能手法の融合に基づくマルウェアの自動意味理解
2020 - 2025 時相的・関係的仕様からの高レベルプログラム合成
2017 - 2022 高階・再帰的データ構造への破壊的代入を含む高レベル言語プログラムの高精度な検証
2018 - 2021 サイドチャネル攻撃耐タンパ性のためのプログラム検証・プログラム合成技術

全件表示

論文 (44件)：

Fuga Kawamata, Hiroshi Unno, Taro Sekiyama, Tachio Terauchi. Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers. Proceedings of the ACM on Programming Languages. 2024. 8. POPL. 115-147
Taisei Nogami, Tachio Terauchi. On the Expressive Power of Regular Expressions with Backreferences. In Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), Leibniz International Proceedings in Informatics (LIPIcs) 272, pp.71:1-71:15, Schloss Dagstuhl Leibniz-Zentrum für Informatik. 2023
川俣楓河, 寺内多智弘. 代数的エフェクトハンドラを持つ言語のためのトレースエフェクト. コンピュータソフトウェア. 2023. 40. 2. 2_19-2_48
Nariyoshi Chida, Tachio Terauchi. Repairing Regular Expressions for Extraction. Proceedings of the ACM on Programming Languages. 2023. 7. PLDI. 1633-1656
Nariyoshi Chida, Tachio Terauchi. On Lookaheads in Regular Expressions with Backreferences. IEICE Transactions on Information and Systems. 2023. E106.D. 5. 959-975

講演・口頭発表等 (46件)：

Repairing DoS Vulnerability of Real-World Regexes
(NII Shonan Meeting Seminar 159: Web Application Security 2024)
Repairing Regular Expressions for Extraction
(ソフトウェア科学会第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 2024)
Nested Data Type における多相再帰のための主要型付けを持つ型システム
(ソフトウェア科学会第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 2024)
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers
(ソフトウェア科学会第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 2024)
Regular Expressions with Backreferences on Multiple Context-Free Languages, and Star-Closedness
(ソフトウェア科学会第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 2024)

学歴 (2件)：

2000 - 2006 カリフォルニア大学バークレー校 Department of Electrical Engineering and Computer Sciences Computer Science Division
1996 - 2000 コロンビア大学 School of Engineering and Applied Science Computer Science Major

学位 (3件)：

博士 (カリフォルニア大学バークレー校)
修士 (カリフォルニア大学バークレー校)
学士 (コロンビア大学)

経歴 (4件)：

2017/10 - 現在早稲田大学理工学術院基幹理工学部情報理工学科教授
2014/04 - 2017/09 北陸先端科学技術大学院大学情報科学研究科教授
2011/04 - 2014/03 名古屋大学大学院情報科学研究科准教授
2007/01 - 2011/03 東北大学大学院情報科学研究科助教

委員歴 (78件)：

2020/04 - 2024/03 ソフトウェア科学会プログラミング論研究会運営委員
2023 - 2024 The 22nd International Symposium on Automated Technology for Verification and Analysis (ATVA 2024) Program Committee
2023 - 2024 The 24th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2024) Program Committee
2023 - 2024 The 45th ACM SIGPLAN Symposium on Programming Language Design and Implementation (PLDI 2024) Program Committee
2023 - 2024 The 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024) Program Committee

2023 - 2024 The 17th International Symposium on Functional and Logic Programming (FLOPS 2024) Program Committee

2023 - 2024 The 37th IEEE Computer Security Foundations Symposium (CSF 2024) Program Committee

2022 - 2023 NII Shonan Meeting Seminar 180: The Art of SAT Co-Organizer

2022 - 2023 The 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) SRC & Posters Selection Committee

2022 - 2023 The 21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023) Program Committee

2022 - 2023 The 3rd International Conference on Code Quality (ICCQ 2023) Program Committee

2022 - 2023 The 36th IEEE Computer Security Foundations Symposium (CSF 2023) Program Committee

2022 - 2023 The 32nd European Symposium on Programming (ESOP 2023) Program Committee

2018/04 - 2022/03 情報処理学会プログラミング研究会(PRO) 幹事

2021 - 2022 The 37th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2022) Program Committee

2021 - 2022 The 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2022) Program Committee

2021 - 2022 The 35th IEEE Computer Security Foundations Symposium (CSF 2022) Program Committee

2021 - 2022 The 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022) Program Committee

2021 - 2022 The 49th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2022) Program Committee

2020 - 2021 Israel Science Foundation Research Grant Application Reviewer

2020 - 2021 The International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2021) Program Committee

2020 - 2021 The 19th Asian Symposium on Programming Languages and Systems (APLAS 2021) Program Committee

2020 - 2021 The 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021) Program Committee

2020 - 2021 The 33rd International Conference on Computer-Aided Verification (CAV 2021) Program Committee

2020 - 2021 The 34th IEEE Computer Security Foundations Symposium (CSF 2021) Program Committee

2015/04 - 2020/03 文部科学省科学技術政策研究所科学技術動向研究センター専門調査員

2019 - 2020 The 15th International Symposium on Functional and Logic Programming (FLOPS 2020) Program Committee

2019 - 2020 ソフトウェア科学会第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020) プログラム委員

2019 - 2020 The 12th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2020) Program Committee

2019 - 2020 The 18th International Symposium on Automated Technology for Verification and Analysis (ATVA 2020) Program Committee

2018 - 2019 The International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2019) Program Committee

2018 - 2019 The 26th International Symposium on Static Analysis (SAS 2019) Program Committee

2018 - 2019 The 11th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2019) Program Committee

2018 - 2019 The 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019) Program Committee

2018 - 2019 The 17th Asian Symposium on Programming Languages and Systems (APLAS 2019) Program Committee

2018 - 2019 日本学術振興会科学研究費委員会専門委員 (審査第三部会第60010小委員会情報学基礎論関連)

2014/04 - 2018/03 情報処理学会プログラミング研究会(PRO) 運営委員

2017 - 2018 The 10th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2018) Program Committee

2017 - 2018 The 16th Asian Symposium on Programming Languages and Systems (APLAS 2018) Program Committee

2017 - 2018 NII Shonan Seminar 115: Intensional and Extensional Aspects of Computation: From Computability and Complexity to Program Analysis and Security Co-Organizer

2017 - 2018 The 45th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2018) Program Committee

2017 - 2018 The 19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2018) Program Committee

2016 - 2017 The 44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2017) External Review Committee

2016 - 2017 The 26th European Symposium on Programming (ESOP 2017) Program Committee

2016 - 2017 The 4th International Conference on Tools and Methods of Program Analysis (TMPA 2017) Program Committee

2016 - 2017 The 11th International Workshop on Reachability Problems (RP 2017) Program Committee

2016 - 2017 The 9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2017) Program Committee

2016 - 2017 The 15th Asian Symposium on Programming Languages and Systems (APLAS 2017) Program Committee

2015 - 2016 The 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016) (Track B) Program Committee

2015 - 2016 The 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016) External Review Committee

2015 - 2016 The 17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2016) Program Committee

2015 - 2016 The 14th Asian Symposium on Programming Languages and Systems (APLAS 2016) Program Committee

2014 - 2015 The 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015) Program Committee

2014 - 2015 ACM SIGPLAN 10th Workshop on Programming Languages and Analysis for Security (PLAS 2015) Program Committee

2014 - 2015 Workshop on Higher-Order Program Analysis (HOPA 2015) Program Committee

2014 - 2015 NII Shonan Seminar 069: Logic and Verification Methods in Security and Privacy Co-Organizer

2013 - 2014 電子情報通信学会論文誌第9回フォーマルアプローチ特集編集委員

2013 - 2014 The 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2014) Program Committee

2013 - 2014 The 12th International Symposium on Functional and Logic Programming (FLOPS 2014) Program Committee

2013 - 2014 Workshop on Higher-Order Program Analysis (HOPA 2014) Program Committee

2013 - 2014 Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography (FCS-FCC'14) Program Committee

2012 - 2013 電子情報通信学会論文誌第8回フォーマルアプローチ特集編集委員

2012 - 2013 The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013) External Review Committee

2012 - 2013 The 22nd EACSL Annual Conference on Computer Science Logic (CSL 2013) Program Committee

2011 - 2012 電子情報通信学会論文誌第7回フォーマルアプローチ特集編集委員

2011 - 2012 The 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2012) Program Committee

2011 - 2012 The 10th Asian Symposium on Programming Languages and Systems (APLAS 2012) Program Committee

2010 - 2011 The 6th ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2011) Program Committee

2010 - 2011 The 12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2011) Program Committee

2010 - 2011 The 5th ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV 2011) Program Committee

2010 - 2011 The 20th European Symposium on Programming (ESOP 2011) Program Committee

2010 - 2011 The 10th International Conference on Typed Lambda Calculi and Applications (TLCA 2011) Program Committee

2009 - 2010 ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation (PLDI 2010) External Review Committee

2009 - 2010 ソフトウェア科学会第12回プログラミングおよびプログラミング言語ワークショップ (PPL 2010) プログラム共同委員長

2009 - 2009 ソフトウェア科学会第11回プログラミングおよびプログラミング言語ワークショップ (PPL 2009) プログラム委員

2008 - 2009 ACM SIGPLAN 4th Workshop on Programming Languages and Analysis for Security (PLAS 2009) Program Committee

2008 - 2009 The 24th Annual ACM Symposium on Applied Computing (ACM SAC 2009) (Programming Languages Track) Program Committee

2007 - 2008 The 15th International Static Analysis Symposium (SAS 2008) Program Committee

全件表示

受賞 (9件)：

2024/03 - ソフトウェア科学会第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 論文賞 Regular Expressions with Backreferences on Multiple Context-Free Languages, and Star-Closedness
2023/03 - ソフトウェア科学会第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023) 論文賞後方参照付正規表現の表現力について
2023/01 - The 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023) Distinguished Paper Award Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification
2022/10 - 日本セキュリティ・マネジメント学会辻井重男セキュリティ論文賞大賞 Repairing DoS Vulnerability of Real-World Regexes
2022/03 - ソフトウェア科学会第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022) 論文賞代数的エフェクトハンドラを持つ言語のためのトレースエフェクト

全件表示

所属学会 (3件)：

ACM , 情報処理学会 , ソフトウェア科学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

寺内 多智弘

寺内多智弘