Tachio Terauchi -

Registered user since Tue 23 Dec 2014

Name:Tachio Terauchi

Country:Japan

Affiliation:Waseda University

Personal website: https://terauchi.w.waseda.jp

Contributions

2025

SPLASH

Committee Member in OOPSLA Review Committee within the OOPSLA-track

POPL

Committee Member in Program Committee within the POPL-track

2024

ASE

Author of Repairing Regex-Dependent String Functions within the Research Papers-track

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

FLOPS

Committee Member in Programme Committee within the FLOPS 2024-track

POPL

Author of Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers within the POPL-track

2023

APLAS

Committee Member in Selection Committee within the SRC & Posters-track

PLDI

Author of Repairing Regular Expressions for Extraction within the PLDI Research Papers-track

POPL

Author of Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification within the POPL-track

2022

SPLASH

Committee Member in Review Committee within the OOPSLA-track

PLDI

Committee Member in PLDI within the PLDI-track

POPL

Committee Member in Program Committee within the POPL-track

2021

APLAS

Committee Member in Program Committee within the Research Papers-track

2020

APLAS

Session Chair of Debugging, Profiling and Constraint Solving (part of Research Papers)

2019

APLAS

POST

Author of A Formal Analysis of Timing Channel Security via Bucketing within the POST 2019-track

2018

POPL

VMCAI

2017

PLDI

Author of Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels within the PLDI Research Papers-track

POPL

ERC member in External Review Committee within the POPL-track

2016

POPL

VMCAI

Committee Member in Program Committee

2015

PLAS

Committee Member in Program Committee within the PLAS-track

ESOP

Author of Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement within the ESOP-track