Stabilizing Floating-Point Programs Using Provenance Analysis.

Yijia Gu, Thomas Wahl

Browse the full VMCAI paper archive.