Keyur Joshi, Vimuth Fernando, Sasa Misailovic. Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms. In CGO '20: 18th ACM/IEEE International Symposium on Code Generation and Optimization, San Diego, CA, USA, February, 2020. pages 56-67, ACM, 2020. [doi]
Abstract is missing.