• Sign in
  • Sign up
conf.researchr.org / Akifumi Imanishi
  • POPL 2018 profile

Not registered as user yet

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
xWed 6 Dec 03:11
using conf.researchr.org (v1.62.0)
Support page
Sign Up