Stochastic Optimization of Floating-point Programs with Tunable Precision [pdf]cs.stanford.edu15 pointsnkurz12 years ago