Verified integrity properties for safe approximate program transformations.

Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard

Browse the full PEPM paper archive.