Effective floating-point analysis via weak-distance minimization.

Zhoulai Fu, Zhendong Su

Browse the full PLDI paper archive.