Google Research: NSan: a floating-point numerical sanitizer 5 by Katydid | 2 comments on Hacker News.
No comments