Hong Diep Nguyen at Berkeley has been working on reproducible reductions. Not correctly rounded, but almost so. http://www.eecs.berkeley.edu/~hdnguyen/ http://www.eecs.berkeley.edu/~hdnguyen/public/papers/repsum.pdf http://bebop.cs.berkeley.edu/rblas