RaceBench: A Triggerable and Observable Concurrency Bug Benchmark. - Jiashuo Liang; Ming Yuan 003; Zhanzhao Ding; Siqi Ma; Xinhui Han; Chao Zhang 008 (AsiaCCS, 2023)