POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Akifumi Imanishi

Not registered as user yet

Name: Akifumi Imanishi

Affiliation: Kyoto University

Contributions

Off the Beaten Track 2018Author of Towards Proof Synthesis by Neural Machine Translation within the Off the Beaten Track 2018-track
PEPM 2018Author of A Guess-and-Assume Approach to Loop Fusion for Program Verification within the PEPM 2018-track
Show activities from other conferences

POPL 2018-profile
View general profile