Madanlal Musuvathi Shaz Qadeer Thomas Ball Gérard Basler Piramanayagam Arumuga Nainar Iulian Neamtiu Finding and Reproducing Heisenbugs in Concurrent Programs. 267-280 2008 OSDI http://www.usenix.org/events/osdi08/tech/full_papers/musuvathi/musuvathi.pdf conf/osdi/2008 db/conf/osdi/osdi2008.html#MusuvathiQBBNN08