Efficient and precise datarace detection for multithreaded object-oriented programs
Top Cited Papers
- 17 May 2002
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 37 (5) , 258-269
- https://doi.org/10.1145/512529.512560
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Type-based race detection for JavaPublished by Association for Computing Machinery (ACM) ,2000
- Effective synchronization removal for JavaPublished by Association for Computing Machinery (ACM) ,2000
- Escape analysis for object-oriented languagesPublished by Association for Computing Machinery (ACM) ,1999
- Detecting data races in Cilk programs that use locksPublished by Association for Computing Machinery (ACM) ,1998
- EraserACM Transactions on Computer Systems, 1997
- Points-to analysis in almost linear timePublished by Association for Computing Machinery (ACM) ,1996
- What are race conditions?ACM Letters on Programming Languages and Systems, 1992
- Race FrontierPublished by Association for Computing Machinery (ACM) ,1991
- On-the-fly detection of access anomaliesPublished by Association for Computing Machinery (ACM) ,1989
- Trie memoryCommunications of the ACM, 1960