Kohei Suenaga - POPL 2018

Registered user since Tue 30 Jun 2015

Name:Kohei Suenaga

Country:Japan

Affiliation:Graduate School of Informatics, Kyoto University

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