Reorder Pointer Flow in Sound Concurrency Bug Prediction-Reference-Cited by-同舟云学术

Reorder Pointer Flow in Sound Concurrency Bug Prediction

Published:2024-02-06 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 46th IEEE/ACM International Conference on Software Engineering
language:
Short-container-title:

Author:

Guo Yuqi¹²^ORCID,Zhu Shihao¹²^ORCID,Cai Yan¹²^ORCID,He Liang³⁴^ORCID,Zhang Jian¹²^ORCID

Affiliation:

1. State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China

2. School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China

3. Institute of Software, Chinese Academy of Sciences, Beijing, China

4. School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China

Funder

National Natural Science Foundation of China

National Key Research and Development Program of China

Key Research Program of Frontier Science, Chinese Academy of Sciences

Youth Innovation Promotion Association of the Chinese Academy of Sciences

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3597503.3623300

Reference79 articles.

1. Promoting secondary orders of event pairs in randomized scheduling using a randomized stride

2. Runtime pointer disambiguation

3. Jia-Ju Bai, Julia Lawall, Qiu-Liang Chen, and Shi-Min Hu. 2019. Effective Static Analysis of Concurrency Use-after-Free Bugs in Linux Device Drivers. In Proceedings of the 2019 USENIX Conference on Usenix Annual Technical Conference (Renton, WA, USA) (USENIX ATC '19). USENIX Association, USA, 255--268.

4. Swarnendu Biswas, Man Cao, Minjia Zhang, Michael D. Bond, and Benjamin P. Wood. 2017. Lightweight data race detection for production runs. In Proceedings of the 26th International Conference on Compiler Construction (Austin, TX, USA) (CC'17). Association for Computing Machinery, ustin, TX, USA, 11--21.

5. Valor: efficient, software-only region conflict exceptions