Skip to content Skip to navigation
DCS-tr-723
Author(s): David Menendez, Santosh Nagarakatte, and Aarti Gupta
Title: Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM
Published: Apr 18, 2016