Finding rare numerical stability errors in concurrent computations.

Hana Chockler, Karine Even, Eran Yahav

Browse the full ISSTA paper archive.