Clement Courbet. NSan: a floating-point numerical sanitizer. In Aaron Smith, Delphine Demange, Rajiv Gupta 0001, editors, CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, Virtual Event, Republic of Korea, March 2-3, 2021. pages 83-93, ACM, 2021. [doi]
Abstract is missing.