Fingerprint
Dive into the research topics of 'Alive-FP: Automated verification of floating point based peephole optimizations in LLVM'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Alive-FP: Automated verification of floating point based peephole optimizations in LLVM
David Menendez, Santosh Nagarakatte, Aarti Gupta
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
13
Scopus
citations