Jan Hückelheim, Ziqing Luo, Fabio Luporini, Navjot Kukreja, Michael Lange, Gerard Gorman, Stephen F. Siegel, Matthew B. Dwyer, Paul D. Hovland. Towards Self-Verification in Finite Difference Code Generation. In Ignacio Laguna, Cindy Rubio-González, editors, Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017. pages 42-49, ACM, 2017. [doi]
Abstract is missing.