Integrating proxy theories and numeric model lifting for floating-point arithmetic.

Jaideep Ramachandran, Thomas Wahl

Browse the full FMCAD paper archive.