Toward a Standard Benchmark Format and Suite for Floating-Point Analysis.

Nasrine Damouche, Matthieu Martel, Pavel Panchekha, Chen Qiu, Alexander Sanchez-Stern, Zachary Tatlock

Browse the full CAV paper archive.