Cormac Flanagan, Stephen N. Freund  Home/Search
Context Related
| mit.edu/readinggr...nagan04atomizer.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mit.edu/readinggroup/fall03 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on detecting race conditions, but the absence of race conditions does not by itself prevent undesired thread interactions. We focus on the more fundamental non-interference property of atomicity; a method is atomic if its execution is not affected by and does not interfere with concurrentlyexecuting threads. Atomic methods... (Update)
Similar documents based on text: More All
0.5: Type-Based Race Detection for Java - Flanagan, Freund (2000) (Correct)
0.4: Thread-Modular Verification For Shared-Memory Programs - Flanagan, Freund, Qadeer (2001) (Correct)
0.3: A Modular Checker for Multithreaded Programs - Flanagan, Qadeer, Seshia (2002) (Correct)
BibTeX entry: (Update)
C. Flanagan and S. N. Freund. Atomizer: a dynamic atomicity checker for multithreaded programs. In Proceedings of POPL, 2003. (to appear) http://citeseer.ist.psu.edu/flanagan04atomizer.html More
@misc{ flanagan03atomizer,
author = "C. Flanagan and S. Freund",
title = "Atomizer: a dynamic atomicity checker for multithreaded programs",
text = "C. Flanagan and S. N. Freund. Atomizer: a dynamic atomicity checker for
multithreaded programs. In Proceedings of POPL, 2003. (to appear)",
year = "2003",
url = "citeseer.ist.psu.edu/flanagan04atomizer.html" }
Citations (may not include all citations):862 The Java Language Specification - Gosling, Joy et al. - 1996
326 Linearizability: A correctness condition for concurrent obje.. (context) - Herlihy, Wing - 1990
239 Monitors: an operating systems structuring concept (context) - Hoare - 1974
140 Eraser: A dynamic data race detector for multi-threaded prog.. - Savage, Burrows et al. - 1997
140 Extended static checking for Java - Flanagan, Leino et al. - 2002
92 The theory of database concurrency control (context) - Papadimitriou - 1986
86 Evaluating deadlock detection methods for concurrent softwar.. - Corbett - 1996
86 A partially deadlock-free typed process calculus - Kobayashi - 1998
85 PS-Algol: an Algol with a persistent heap (context) - Atkinson, Chisholm et al. - 1981
84 Data flow analysis for verifying properties of concurrent pr.. - Dwyer, Clarke - 1994
77 Type-based race detection for Java - Flanagan, Freund - 2000
76 Camelot and Avalon: A Distributed Transaction Facility (context) - Eppinger, Mummert et al. - 1991
62 DEC Systems Research Center (context) - Lamport, Schneider et al. - 1989
62 Reduction: A method of proving properties of parallel progra.. (context) - Lipton - 1975
59 An introduction to programming with threads - Birrell - 1989
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://pag.lcs.mit.edu/reading-group/fall03.html): More
MJ: A Rational Module System for Java - And Its Applications (Correct)
Context-Sensitive Slicing of Concurrent Programs - Krinke (2003) (Correct)
Deadline Analysis of Interrupt-driven Software - Dennis Brylow Jens (2003) (Correct)
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