Tachio Terauchi

Registered user since Tue 23 Dec 2014

Name: Tachio Terauchi

Affiliation: Waseda University

Personal website: http://www.f.waseda.jp/terauchi

Contributions

APLAS 2020 Session Chair of Debugging, Profiling and Constraint Solving (part of Research Papers)
APLAS 2019 Ordinary PC member in Program Committee within the Research Papers-track
Session Chair of Types (part of Research Papers)
POST 2019 Author of A Formal Analysis of Timing Channel Security via Bucketing within the POST 2019-track
VMCAI 2018 Session Chair of Types and Analysis (part of VMCAI 2018)
Committee Member in Program Committee within the VMCAI 2018-track
POPL 2018 Committee Member in Program Committee within the Research Papers-track
Session Chair of Program Analysis I (part of Research Papers)
Author of Relatively Complete Refinement Type System for Verification of Higher-Order Non-Deterministic Programs within the Research Papers-track
POPL 2017 ERC member in External Review Committee within the POPL-track
PLDI 2017 Author of Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels within the PLDI Research Papers-track
VMCAI Committee Member in Program Committee
POPL 2016 ERC member in External Reviewing Committee
ERC member in External Reviewing Committee within the Research Papers-track
Author of Temporal Verification of Higher-order Functional Programs within the Research Papers-track
PLAS 2015 Committee Member in Program Committee within the PLAS-track
ESOP 2015 Author of Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement within the ESOP-track