Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms.

Keyur Joshi, Vimuth Fernando, Sasa Misailovic

Browse the full CGO paper archive.