Kohei Suenaga -

Registered user since Tue 30 Jun 2015

Name:Kohei Suenaga

Country:Japan

Affiliation:Graduate School of Informatics, Kyoto University

Personal website:http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

Research interests:Program verification, Hybrid systems

Contributions

POPL 2022	Committee Member in Program Committee within the POPL-track
APLAS 2021	Committee Member in Program Committee within the Research Papers-track
APLAS 2020	Author of Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types within the Posters-track
VMCAI 2020	Author of Generalized Property-Directed Reachability for Hybrid Systems within the VMCAI 2020-track
Off the Beaten Track 2018	Author of Towards Proof Synthesis by Neural Machine Translation within the Off the Beaten Track 2018-track
PEPM 2018	Author of A Guess-and-Assume Approach to Loop Fusion for Program Verification within the PEPM 2018-track Session Chair of Session 2-2 (part of PEPM 2018) Committee Member in Programme Committee within the PEPM 2018-track
PPS 2016	Author of A Denotational Semantics of a Probabilistic Stream-Processing Language within the PPS 2016-track
SPLASH 2012	Author of Type-based safe resource deallocation for shared-memory concurrency within the OOPSLA Research Papers-track