RaceBench: A Triggerable and Observable Concurrency Bug Benchmark

Liang, JS; Yuan, M; Ding, ZZ; Ma, SQ; Han, XH; Zhang, C

Han, XH (通讯作者)，Peking Univ, Beijing, Peoples R China.

PROCEEDINGS OF THE 2023 ACM ASIA CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, ASIA CCS 2023, 2023; (): 415

Abstract

Concurrency bugs are one of the most harmful and hard-to-address issues in multithreaded software. Such bugs are hard to discover, reproduce, diagnose......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索