Rchr

J-GLOBAL ID：200901015211509541 Update date: Apr. 15, 2024

Terauchi Tachio

テラウチタチオ | Terauchi Tachio

Affiliation and department：
Job title： Professor
Homepage URL (2)： https://terauchi.w.waseda.jp/index-j.html , https://terauchi.w.waseda.jp/index.html

Research field (3)： Information security , Information theory , Software

Research keywords (9)： Programming Languages , Mathematical Logic , Formal Verification , Formal Language Theory , Security , Program Verification , Program Synthesis , Automated Deduction , Type Systems

Research theme for competitive and other funds (14)：

2022 - 2027 Dependent refinement types and predicate constraints for program verification
2020 - 2026 Understanding malware semantics by AI-supported formal methods
2020 - 2025 Synthesis of High-Level Programs from Temporal and Relational Specifications
2017 - 2022 Verification of high-level programs containing mutable higher-order recursive data structures
2018 - 2021 Program verification and program synthesis for side-channel attack resilience

Show all

Papers (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
Fuga Kawamata, Tachio Terauchi. Trace Effects for a Language with Algebraic Effect Handlers. JSSST Computer Software. 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

ｍore...

Lectures and oral presentations (46)：

Repairing DoS Vulnerability of Real-World Regexes
(NII Shonan Meeting Seminar 159: Web Application Security 2024)
Repairing Regular Expressions for Extraction
(JSSST The 26th Programming and Programming Language Workshop (PPL 2024) 2024)
Nested Data Type における多相再帰のための主要型付けを持つ型システム
(JSSST The 26th Programming and Programming Language Workshop (PPL 2024) 2024)
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers
(JSSST The 26th Programming and Programming Language Workshop (PPL 2024) 2024)
Regular Expressions with Backreferences on Multiple Context-Free Languages, and Star-Closedness
(JSSST The 26th Programming and Programming Language Workshop (PPL 2024) 2024)

ｍore...

Education (2)：

2000 - 2006 University of California, Berkeley Department of Electrical Engineering and Computer Sciences Computer Science Division
1996 - 2000 Columbia University School of Engineering and Applied Science Computer Science Major

Professional career (3)：

Ph.D. (University of California, Berkeley)
M.S. (University of California, Berkeley)
B.S. (Columbia University)

Work history (4)：

2017/10 - 現在 Waseda University Department of Computer Science and Engineering Professor
2014/04 - 2017/09 Japan Advanced Institute of Science and Technology School of Information Science Professor
2011/04 - 2014/03 Nagoya University Graduate School of Information Science Associate Professor
2007/01 - 2011/03 Tohoku University Graduate School of Information Sciences Assistant Professor

Committee career (78)：

2020/04 - 2024/03 JSSST Special Interest Group on Programming and Programming Languages Steering Committee
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 IPSJ Special Interest Group on Programming Steering Committee

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 JSSST The 22nd Programming and Programming Language Workshop (PPL 2020) Program Committee

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 IPSJ Special Interest Group on Programming Steering Committee

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 The 9th Special Section on Formal Approach, IEICE Transactions on Information and Systems Editor

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 The 8th Special Section on Formal Approach, IEICE Transactions on Information and Systems Editor

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 The 7th Special Section on Formal Approach, IEICE Transactions on Information and Systems Editor

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 JSSST The 12th Programming and Programming Language Workshop (PPL 2010) Program Co-Chair

2009 - 2009 JSSST The 11th Programming and Programming Language Workshop (PPL 2020) Program Committee

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

Show all

Awards (9)：

2024/03 - JSSST The 26th Programming and Programming Language Workshop (PPL 2024) Best Paper Award Regular Expressions with Backreferences on Multiple Context-Free Languages, and Star-Closedness
2023/03 - JSSST The 25th Programming and Programming Language Workshop (PPL 2023) Best Paper Award 後方参照付正規表現の表現力について
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 - Japan Society of Security Management Grand Prize, Shigeo Tsujii Security Award Repairing DoS Vulnerability of Real-World Regexes
2022/03 - JSSST The 24th Programming and Programming Language Workshop (PPL 2022) Best paper award 代数的エフェクトハンドラを持つ言語のためのトレースエフェクト

Show all

Association Membership(s) (3)：

ACM , INFORMATION PROCESSING SOCIETY OF JAPAN , Japan Society for Software Science and Technology

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page