Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Akifumi Imanishi
conf.researchr.org general profile
POPL 2018 profile
Not registered as user
Name:
Akifumi Imanishi
Affiliation:
Kyoto University
Contributions
2018
Off the Beaten Track
Author of Towards Proof Synthesis by Neural Machine Translation within the Off the Beaten Track 2018-track
PEPM
Author of A Guess-and-Assume Approach to Loop Fusion for Program Verification within the PEPM 2018-track
Share
x
Sun 22 Dec 02:45