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

Off the Beaten Track 2018 Towards Proof Synthesis by Neural Machine Translation
PEPM 2018 A Guess-and-Assume Approach to Loop Fusion for Program Verification
Session Chair of Session 2-2 (part of PEPM 2018)
Committee Member in Programme Committee within the PEPM 2018-track
Show activities from other conferences

POPL 2018-profile
View general profile