RaceBench: A Triggerable and Observable Concurrency Bug Benchmark

Jiashuo Liang, Ming Yuan, Zhanzhao Ding, Siqi Ma, Xinhui Han, Chao Zhang. RaceBench: A Triggerable and Observable Concurrency Bug Benchmark. In Joseph K. Liu, Yang Xiang 0001, Surya Nepal, Gene Tsudik, editors, Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, ASIA CCS 2023, Melbourne, VIC, Australia, July 10-14, 2023. pages 415-428, ACM, 2023. [doi]

@inproceedings{LiangYDMHZ23,
  title = {RaceBench: A Triggerable and Observable Concurrency Bug Benchmark},
  author = {Jiashuo Liang and Ming Yuan and Zhanzhao Ding and Siqi Ma and Xinhui Han and Chao Zhang},
  year = {2023},
  doi = {10.1145/3579856.3595787},
  url = {https://doi.org/10.1145/3579856.3595787},
  researchr = {https://researchr.org/publication/LiangYDMHZ23},
  cites = {0},
  citedby = {0},
  pages = {415-428},
  booktitle = {Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, ASIA CCS 2023, Melbourne, VIC, Australia, July 10-14, 2023},
  editor = {Joseph K. Liu and Yang Xiang 0001 and Surya Nepal and Gene Tsudik},
  publisher = {ACM},
}