Wonyeol Lee, Rahul Sharma 0001, Alex Aiken. Verifying bit-manipulations of floating-point. In Chandra Krintz, Emery Berger, editors, Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016. pages 70-84, ACM, 2016. [doi]
Abstract is missing.