Browsing by Author Menendez, David
Showing results 1 to 1 of 1
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2016 | Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM | Menendez, David; Nagarakatte, Santosh; Gupta, Aarti |