Randomized accuracy-aware program transformations for efficient approximate computations.

Zeyuan Allen Zhu, Sasa Misailovic, Jonathan A. Kelner, Martin C. Rinard

Browse the full POPL paper archive.