Author:
Fu Haojie,Wang Zan,Chen Xiang,Fan Xiangyu
Funder
National Natural Science Foundation of China (CN)
Publisher
Springer Science and Business Media LLC
Subject
Safety, Risk, Reliability and Quality,Software
Reference120 articles.
1. Abadi, M., Flanagan, C., & Freund, S. N. (2006). Types for safe locking: static race detection for Java. ACM Transactions on Programming Languages and Systems (TOPLAS), 28, 207–255.
2. Ananian, C.S., Asanovic, K., Kuszmaul, B.C., Leiserson, C.E., & Lie, S. (2006). Unbounded transactional memory. In International conference on high-performance computer architecture (pp. 59–69).
3. Berger, E.D., Yang, T., Liu, T., & Novark, G. (2009). Grace: Safe multithreaded programming for C/C++. In ACM Sigplan Notices, (Vol. 44 pp. 81–96): ACM.
4. Boigelot, B., & Godefroid, P. (1996). Model checking in practice: an analysis of the access.bus protocol using spin. In Proceedings of the 3rd international symposium of formal methods Europe on industrial benefit and advances in formal methods (pp. 465–478).
5. Boudol, G. (2009). A deadlock-free semantics for shared memory concurrency. In International colloquium on theoretical aspects of computing (pp. 140–154).
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Efficient data race detection for interrupt-driven programs via path feasibility analysis;The Journal of Supercomputing;2024-06-14
2. Modeling and Discovering Data Race with Concurrent Code Property Graphs;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C);2023-10-22
3. An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
4. Schfuzz: Detecting Concurrency Bugs with Feedback-Guided Fuzzing;Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering;2023
5. A Comprehensive Analysis of NVD Concurrency Vulnerabilities;2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS);2022-12