Tachio Terauchi - POPL 2018

Registered user since Tue 23 Dec 2014

Name:Tachio Terauchi

Affiliation:Waseda University

Contributions

POPL 2018	Committee Member in Program Committee within the Research Papers-track Session Chair of Program Analysis I (part of Research Papers) Relatively Complete Refinement Type System for Verification of Higher-Order Non-Deterministic Programs
VMCAI 2018	Session Chair of Types and Analysis (part of VMCAI 2018) Committee Member in Program Committee within the VMCAI 2018-track
Show activities from other conferences