Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation.

Martin C. Rinard

Browse the full PEPM paper archive.