Andres Nötzli, Fraser Brown. LifeJacket: verifying precise floating-point optimizations in LLVM. In Charles Zhang, Xavier Rival, editors, Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016. pages 24-29, ACM, 2016. [doi]
Abstract is missing.