FLANAGAN, C., AND FREUND, S. N. Atomizer: a dynamic atomicity checker for multithreaded programs. In Conference Record of the ACM Symposium on Principles of Programming Languages (Venice, Italy, Jan.). 2004, pp. 256--267. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Verifying Commit-Atomicity Using Model-Checking - Flanagan (2004) Self-citation (Flanagan) (Correct)
No context found.
C. Flanagan and S. N. Freund. Atomizer: A dynamic atomicity checker for multithreaded programs. In Proceedings of the ACM Symposium on the Principles of Programming Languages, 2004.
Safe Futures for Java - Welc, Jagannathan, Hosking (Correct)
No context found.
FLANAGAN, C., AND FREUND, S. N. Atomizer: a dynamic atomicity checker for multithreaded programs. In Conference Record of the ACM Symposium on Principles of Programming Languages (Venice, Italy, Jan.). 2004, pp. 256--267.
Safe Concurrency for Aggregate Objects with Invariants - Bart Jacobs Rustan (2005) (Correct)
No context found.
Cormac Flanagan and Stephen N. Freund. Atomizer: A dynamic atomicity checker for multithreaded programs. In POPL 2004.
Factorising Temporal Specifications - Huisman, Trentelman (2005) (Correct)
No context found.
Flanagan, C. & Freund, S. (2004), Atomizer: A dynamic atomicity checker for multithreaded programs, in X. Leroy, ed., `Principles of Programming Languages (POPL 2004)', pp. 256--267.
Decentralized Runtime Analysis of Multithreaded Applications - Sen, Vardhan, Agha, Rosu (Correct)
No context found.
C. Flanagan and S. N. Freund. Atomizer: a dynamic atomicity checker for multithreaded programs. In Proceedings of the 31st Symposium on Principles of Programming Languages (POPL'04), pages 256--267, 2004.
Summarizing Procedures in Concurrent Programs - Qadeer, Rajamani, Rehof (2004) (2 citations) (Correct)
No context found.
C. Flanagan and S. N. Freund. Atomizer: A dynamic atomicity checker for multithreaded programs. In POPL 04: Principles of Programming Languages. ACM, 2004.
Verifying Atomicity Specifications for Concurrent.. - Hatcliff, Robby, Dwyer (2003) (3 citations) (Correct)
No context found.
C. Flanagan and S. N. Freund. Atomizer: a dynamic atomicity checker for multithreaded programs. In Proceedings of POPL, 2003. (to appear)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC