"Analyzing multicore dumps to facilitate concurrency bug reproduction."

Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics