Tachio Terauchi - POPL 2018

Registered user since Tue 23 Dec 2014

Name: Tachio Terauchi

Affiliation: Waseda University

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

Contributions

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
Show activities from other conferences