When threads meet events: efficient and precise static race detection with origins-Reference-Cited by-同舟云学术

When threads meet events: efficient and precise static race detection with origins

Published:2021-06-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Liu Bozhen¹,Liu Peiming¹,Li Yanze¹,Tsai Chia-Che¹,Da Silva Dilma¹,Huang Jeff¹^ORCID

Affiliation:

1. Texas A&M University, USA

Funder

Facebook Research Award

NSF

Publisher

ACM

Link

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

Reference72 articles.

1. 2019. Sable/soot: Soot - A Java optimization framework. https://github.com/Sable/soot 2019. Sable/soot: Soot - A Java optimization framework. https://github.com/Sable/soot

2. 2020. Processes and threads overview | Android Developers. https://developer.android.com/guide/components/processes-and-threads 2020. Processes and threads overview | Android Developers. https://developer.android.com/guide/components/processes-and-threads

3. 2021. Coderrect race detector. https://coderrect.com/download/ 2021. Coderrect race detector. https://coderrect.com/download/

4. 2021. Infer : RacerD. http://fbinfer.com/docs/racerd.html 2021. Infer : RacerD. http://fbinfer.com/docs/racerd.html

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

2. High-performance Deterministic Concurrency Using Lingua Franca;ACM Transactions on Architecture and Code Optimization;2023-10-26

3. A Cocktail Approach to Practical Call Graph Construction;Proceedings of the ACM on Programming Languages;2023-10-16

4. NodeRT: Detecting Races in Node.js Applications Practically;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12

5. Sound Dynamic Deadlock Prediction in Linear Time;Proceedings of the ACM on Programming Languages;2023-06-06