ConMem: detecting severe concurrency bugs through an effect-oriented approach.

Wei Zhang, Chong Sun, Shan Lu

Browse the full ASPLOS paper archive.