Author:
Flanagan Cormac,Freund Stephen N.
Reference62 articles.
1. Eraser: A dynamic data race detector for multi-threaded programs;Savage;ACM Transactions on Computer Systems,1997
2. A.D. Birrell, An introduction to programming with threads, Research Report 35, Digital Equipment Corporation Systems Research Center, 1989
3. C. Flanagan, S.N. Freund, Type-based race detection for Java, in: Proceedings of the ACM Conference on Programming Language Design and Implementation, 2000, pp. 219–232
4. Types for safe locking;Flanagan,1999
5. Object types against races;Flanagan,1999
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability;Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing;2023-06-16
2. Davida: A Decentralization Approach to Localizing Transaction Sequences for Debugging Transactional Atomicity Violations;IEEE Transactions on Reliability;2022
3. Sound Predictive Atomicity Violation Detection§;2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS);2021-12
4. RegionTrack;ACM Transactions on Software Engineering and Methodology;2021-01-31
5. Rapid Identification of Shared Memory in Multithreaded Embedded Systems with Static Scheduling;Proceedings of the 48th International Conference on Parallel Processing: Workshops;2019-08-05