Pruning False Positives of Static Data-Race Detection via Thread Specialization-Reference-Cited by-同舟云学术

Pruning False Positives of Static Data-Race Detection via Thread Specialization

Published:2013 Issue: Volume: Page:77-90
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Chen Chen,Lu Kai,Wang Xiaoping,Zhou Xu,Fang Li

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-45293-2_6

Reference20 articles.

1. Tom, B., et al.: CoreDet: a compiler and runtime system for deterministic multithreaded execution. In: Proceedings of the Fifteenth Edition of ASPLOS on Architectural Support for Programming Languages and Operating Systems, Pittsburgh, Pennsylvania, USA, pp. 53–64. ACM (2010)

2. Lee, D., et al.: Chimera: Hybrid Program Analysis for Determinism. In: PLDI 2012, Beijing, China (2012)

3. Wu, J., et al.: Sound and precise analysis of parallel programs through schedule specialization. In: Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM (2012)

4. Voung, J.W., Jhala, R., Lerner, S.: RELAY: static race detection on millions of lines of code. In: Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. ACM (2007)

5. Cadar, C., Dunbar, D., Engler, D.: KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (2008)

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

1. Mitigating False Positive Static Analysis Warnings: Progress, Challenges, and Opportunities;IEEE Transactions on Software Engineering;2023-12

2. Survey of Approaches for Postprocessing of Static Analysis Alarms;ACM Computing Surveys;2022-02-03

3. Development of Dynamic Signal Acquisition System Based on Digital Detection System;Proceedings of the 2nd International Conference on Information Technologies and Electrical Engineering;2019-12-06

4. On the Verification of Software Vulnerabilities During Static Code Analysis Using Data Mining Techniques;On the Move to Meaningful Internet Systems. OTM 2017 Conferences;2017

5. DRDet: Efficiently Making Data Races Deterministic;IEICE Transactions on Information and Systems;2014