Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution).

Hernn Ponce de Len, Thomas Haas, Roland Meyer

Browse the full TACAS paper archive.