Finding and Reproducing Heisenbugs in Concurrent Programs

by Madanlal Musuvathi, Shaz Qadeer, Piramanayagam Arumuga Nainar, Thomas Ball, Gerard Basler, Iulian Neamtiu