Amanote Research
Register
Sign In
Towards Self-Verification in Finite Difference Code Generation
doi 10.1145/3145344.3145488
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2017
Authors
Jan Hückelheim
Ziqing Luo
Fabio Luporini
Navjot Kukreja
Michael Lange
Gerard Gorman
Stephen Siegel
Matthew Dwyer
Paul Hovland
Publisher
ACM Press