RaceBench: A Triggerable and Observable Concurrency Bug Benchmark.

Jiashuo Liang, Ming Yuan, Zhanzhao Ding, Siqi Ma, Xinhui Han, Chao Zhang

Browse the full AsiaCCS paper archive.