Not registered as user yet

Name: Akifumi Imanishi

Affiliation: Kyoto University

POPL 2018 Activities

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