Towards Self-Verification in Finite Difference Code Generation.

Jan Hckelheim, Ziqing Luo, Fabio Luporini, Navjot Kukreja, Michael Lange, Gerard Gorman, Stephen F. Siegel, Matthew B. Dwyer, Paul D. Hovland

Browse the full SC paper archive.