Atomizer: A dynamic atomicity checker for multithreaded programs
- 1 April 2008
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 71 (2) , 89-109
- https://doi.org/10.1016/j.scico.2007.12.001
Abstract
No abstract availableKeywords
This publication has 40 references indexed in Scilit:
- Static Detection of Atomicity Violations in Object-Oriented Programs.The Journal of Object Technology, 2004
- Checking Concise Specifications for Multithreaded Software.The Journal of Object Technology, 2004
- Hybrid dynamic data race detectionACM SIGPLAN Notices, 2003
- Ownership types for safe programmingACM SIGPLAN Notices, 2002
- GuavaACM SIGPLAN Notices, 2000
- A partially deadlock-free typed process calculusACM Transactions on Programming Languages and Systems, 1998
- Evaluating deadlock detection methods for concurrent softwareIEEE Transactions on Software Engineering, 1996
- Procedures as persistent data objectsACM Transactions on Programming Languages and Systems, 1985
- PS-algolACM SIGPLAN Notices, 1982
- MonitorsCommunications of the ACM, 1974