Thinking Fast and Correct: Automated Rewriting of Numerical Code through Compiler Augmentation.

Siyuan Brant Qian, Vimarsh Sathia, Ivan R. Ivanov, Jan Hckelheim, Paul D. Hovland, William S. Moses

Browse the full CGO paper archive.