Accuracy-Aware Program Transformations Sasa Misailovic MIT CSAIL.
Games, Proofs, Norms, and Algorithms Boaz Barak – Microsoft Research Based (mostly) on joint works with Jonathan Kelner and David Steurer.
Accuracy-Aware Program Transformations
Games, Proofs, Norms, and Algorithms