Browsing by Author Nagarakatte, Santosh
Showing results 1 to 2 of 2
| 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 |
| 2016 | Parallel data race detection for task parallel programs with locks | Yoga, Adarsh; Nagarakatte, Santosh; Gupta, Aarti |