経歴
-
2017年10月-継続中
早稲田大学 理工学術院 基幹理工学部 情報理工学科 教授
-
2014年04月-2017年09月
北陸先端科学技術大学院大学 情報科学研究科 教授
-
2011年04月-2014年03月
名古屋大学 大学院情報科学研究科 准教授
-
2007年01月-2011年03月
東北大学 大学院情報科学研究科 助教
2024/10/08 更新
プログラミング言語分野の研究を行っています。特に、プログラムの正しさを正式かつ(できるだけ)自動的に検証する「プログラム検証」や正しいプログラムを自動生成する「プログラム合成」の研究、およびプログラム検証・合成技術のセキュリティへの応用に興味があります。加えて、型システム、数理論理学と(特に自動)定理証明、形式言語理論とオートマトン理論など基礎理論・基礎アルゴリズムに関する研究も行っています。
早稲田大学 理工学術院 基幹理工学部 情報理工学科 教授
北陸先端科学技術大学院大学 情報科学研究科 教授
名古屋大学 大学院情報科学研究科 准教授
東北大学 大学院情報科学研究科 助教
カリフォルニア大学バークレー校 Department of Electrical Engineering and Computer Sciences Computer Science Division
コロンビア大学 School of Engineering and Applied Science Computer Science Major
ソフトウェア科学会 第27回プログラミングおよびプログラミング言語ワークショップ (PPL 2025)) プログラム委員
The 40th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2025) Program Committee
The 52nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2025) Program Committee
The 38th IEEE Computer Security Foundations Symposium (CSF 2025) Program Committee
ソフトウェア科学会 プログラミング論研究会 運営委員
The 22nd International Symposium on Automated Technology for Verification and Analysis (ATVA 2024) Program Committee
The 24th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2024) Program Committee
The 45th ACM SIGPLAN Symposium on Programming Language Design and Implementation (PLDI 2024) Program Committee
The 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024) Program Committee
The 17th International Symposium on Functional and Logic Programming (FLOPS 2024) Program Committee
The 37th IEEE Computer Security Foundations Symposium (CSF 2024) Program Committee
NII Shonan Meeting Seminar 180: The Art of SAT Co-Organizer
The 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) SRC & Posters Selection Committee
The 21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023) Program Committee
The 3rd International Conference on Code Quality (ICCQ 2023) Program Committee
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
Israel Science Foundation Research Grant Application Reviewer
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
日本学術振興会 科学研究費委員会専門委員 (審査第三部会第60010小委員会 情報学基礎論関連)
情報処理学会プログラミング研究会(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
NII Shonan Seminar 115: Intensional and Extensional Aspects of Computation: From Computability and Complexity to Program Analysis and Security Co-Organizer
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
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 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
ACM
情報処理学会
ソフトウェア科学会
論文賞
2024年03月 ソフトウェア科学会 第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) Regular Expressions with Backreferences on Multiple Context-Free Languages, and Star-Closedness
論文賞
2023年03月 ソフトウェア科学会 第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023) 後方参照付正規表現の表現力について
Distinguished Paper Award
2023年01月 The 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023) Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification
辻井重男セキュリティ論文賞 大賞
2022年10月 日本セキュリティ・マネジメント学会 Repairing DoS Vulnerability of Real-World Regexes
論文賞
2022年03月 ソフトウェア科学会 第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022) 代数的エフェクトハンドラを持つ言語のためのトレースエフェクト
早稲田大学リサーチアワード 国際研究発信力
2019年12月 早稲田大学
Nominee, The EASST Award for the Best ETAPS Paper Related to the Systematic and Rigorous Engineering of Software and Systems
2017年04月 European Association for Software Science and Technology Compositional Synthesis of Leakage Resilient Programs
第4回野口研究奨励賞
2009年05月 情報処理学会 東北支部
発表賞(一般)
2008年03月 ソフトウェア科学会 第10回プログラミングおよびプログラミング言語ワークショップ (PPL 2008)
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers
Fuga Kawamata, Hiroshi Unno, Taro Sekiyama, Tachio Terauchi
Proceedings of the ACM on Programming Languages 8 ( POPL ) 115 - 147 2024年01月 [査読有り] [国際誌]
On the Expressive Power of Regular Expressions with Backreferences
Taisei Nogami, Tachio Terauchi
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年08月 [査読有り] [国際誌]
Repairing Regular Expressions for Extraction
Nariyoshi Chida, Tachio Terauchi
Proceedings of the ACM on Programming Languages 7 ( PLDI ) 1633 - 1656 2023年06月 [査読有り] [国際誌]
On Lookaheads in Regular Expressions with Backreferences
Nariyoshi Chida, Tachio Terauchi
IEICE Transactions on Information and Systems E106.D ( 5 ) 959 - 975 2023年05月 [査読有り] [国内誌]
Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification
Hiroshi Unno, Tachio Terauchi, Yu Gu, Eric Koskinen
Proceedings of the ACM on Programming Languages 7 ( POPL ) 2111 - 2140 2023年01月 [査読有り] [国際誌] [国際共著]
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), Leibniz International Proceedings in Informatics (LIPIcs) 228, pp.15:1-15:18, Schloss Dagstuhl Leibniz-Zentrum für Informatik 2022年08月 [査読有り] [国際誌]
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
コンピュータソフトウェア 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
Proceedings of the ACM on Programming Languages 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月 [査読有り] [国際誌] [国際共著]
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
Tachio Terauchi, Alexander 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年 [査読有り] [国際誌] [国際共著]
Tachio Terauchi, Alex 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
Alex Aiken, Jeffrey S. Foster, John Kodumal, Tachio 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
Jeffrey S. Foster, Tachio Terauchi, Alex 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
Tobias Hollerer, Steven Feiner, Tachio Terauchi, Gus Rashid, Drexel Hallaway
Computers & Graphics 23 ( 6 ) 779 - 785 1999年 [査読有り] [国際誌] [国際共著]
Repairing DoS Vulnerability of Real-World Regexes
Tachio Terauchi [招待有り]
NII Shonan Meeting Seminar 159: Web Application Security
発表年月: 2024年03月
Repairing Regular Expressions for Extraction
Nariyoshi Chida, Tachio Terauchi
ソフトウェア科学会 第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
発表年月: 2024年03月
Nested Data Type における多相再帰のための主要型付けを持つ型システム
川原 知真, 寺内 多智弘
ソフトウェア科学会 第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
発表年月: 2024年03月
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers
Fuga Kawamata, Taro Sekiyama, Hiroshi Unno, Tachio Terauchi
ソフトウェア科学会 第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
発表年月: 2024年03月
Regular Expressions with Backreferences on Multiple Context-Free Languages, and Star-Closedness
野上 大成, 寺内 多智弘
ソフトウェア科学会 第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
発表年月: 2024年03月
Repairing DoS Vulnerability of Real-World Regexes
Tachio Terauchi [招待有り]
Technology Challenges in Non-Traditional Security
発表年月: 2023年10月
Applications of Program Verification and Synthesis Techniques to Security, from Non-Interference to ReDoS
Tachio Terauchi [招待有り]
Vietnam-Japan Autumn School on Cyber Security
発表年月: 2023年10月
Repairing DoS Vulnerability of Real-World Regexes
Tachio Terauchi
NII Shonan Meeting Seminar 180:The Art of SAT
発表年月: 2023年10月
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers
Fuga Kawamata, Hiroshi Unno, Taro Sekiyama, Tachio Terauchi [招待有り]
NII Shonan Meeting Seminar 203:Effect Handlers and General-Purpose Languages
発表年月: 2023年10月
Repairing DoS Vulnerability of Real-World Regexes
Nariyoshi Chida, Tachio Terauchi [招待有り]
第22回情報科学技術フォーラム(FIT2023)
発表年月: 2023年09月
On Lookaheads in Regular Expressions with Backreferences
Nariyoshi Chida, Tachio Terauchi
ソフトウェア科学会 第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023)
発表年月: 2023年03月
On Lookaheads in Regular Expressions with Backreferences (Poster Presentation)
Nariyoshi Chida, Tachio Terauchi
ソフトウェア科学会 第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023)
発表年月: 2023年03月
Nested Data Type における多相再帰の型推論手法 (ポスター発表)
川原 知真, 寺内 多智弘
ソフトウェア科学会 第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023)
発表年月: 2023年03月
代数的エフェクトハンドラのための篩型システム (ポスター発表)
川俣 楓河, 海野 広志, 関山 太郎, 寺内 多智弘
ソフトウェア科学会 第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023)
発表年月: 2023年03月
Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification
Hiroshi Unno, Tachio Terauchi, Yu Gu, Eric Koskinen
ソフトウェア科学会 第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023)
発表年月: 2023年03月
後方参照付正規表現の表現力について
野上 大成, 寺内 多智弘
ソフトウェア科学会 第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023)
発表年月: 2023年03月
Repairing DoS Vulnerability of Real-World Regexes (from IEEE S&P 2022)
Nariyoshi Chida, Tachio Terauchi [招待有り]
2022年 暗号と情報セキュリティワークショップ
発表年月: 2022年09月
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 (Poster Presentation)
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月
数理論理手法と人工知能手法の融合に基づくマルウェアの自動意味理解
日本学術振興会 科学研究費助成事業 挑戦的研究(開拓)
研究期間:
小川 瑞史, NGUYEN MinhLe, 寺内 多智弘, 関 浩之
高階・再帰的データ構造への破壊的代入を含む高レベル言語プログラムの高精度な検証
日本学術振興会 科学研究費助成事業 基盤研究(B)
研究期間:
寺内 多智弘, 海野 広志
サイドチャネル攻撃耐タンパ性のためのプログラム検証・プログラム合成技術
日本学術振興会 科学研究費助成事業 挑戦的研究(萌芽)
研究期間:
寺内 多智弘
数理論理学とその応用の国際研究拠点形成
日本学術振興会 研究拠点形成事業 先端拠点形成型
研究期間:
石原 哉
論理的ー形式的手法による情報セキュリティ研究ー暗号プロトコル検証と量的情報流解析
日本学術振興会 二国間交流事業 共同研究 (AYAMEプログラム)
研究期間:
岡田 光弘
実用効率の振舞いに基づくソフトウェア検証の数理的構造
日本学術振興会 二国間交流事業 共同研究
研究期間:
結縁 祥治
高レベル言語で記述されたリアクティブシステムに対する実時間性質の検証
日本学術振興会 科学研究費助成事業 基盤研究(B)
研究期間:
結縁 祥治, 寺内 多智弘
高階プログラムのための時相論理仕様検証
日本学術振興会 外国人特別研究員(欧米短期)事業
研究期間:
寺内 多智弘, Eric Koskinen
日本学術振興会 科学研究費助成事業 基盤研究(A)
研究期間:
小林 直樹, 五十嵐 淳, 住井 英二郎, 松田 一孝, 寺内 多智弘
Master's Thesis (Department of Computer Science and Communications Engineering)
大学院基幹理工学研究科
2024年 通年
理工学術院総合研究所 兼任研究員
Click to view the Scopus page. The data was downloaded from Scopus API in October 07, 2024, via http://api.elsevier.com and http://www.scopus.com .