Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia  Home/Search
Context Related
| cmu.edu/user/sanjit/w...cav02_calvin.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: cmu.edu/user/sanjit/www/pubdir... (more) Homepages: S.Seshia |
Rate this article:      (best)Comment on this article |
Abstract: Designing multithreaded software systems is prone to errors due to the di#culty of reasoning about multiple interleaved threads of control operating on shared data. Static checking, with the potential to analyze the program's behavior over all execution paths and for all thread interleavings, is a powerful debugging tool. We have built a scalable and expressive static checker called Calvin for multithreaded programs. To handle realistic programs, Calvin performs modular checking of each... (Update)
Cited by: More
Thread-modular Abstraction Refinement - Henzinger, Jhala, Majumdar, Qadeer (2003) (Correct)
Formal Methods for Smart Cards: an experience report - Breunesse, Catano, Huisman, .. (2003) (Correct)
Checking Concise Specifications for Multithreaded Software - Freund, Qadeer (2003) (Correct)
Active bibliography (related documents): More All
0.2: Automatic Predicate Abstraction of C Programs - Ball, Majumdar, Millstein.. (2001) (Correct)
0.1: Assume-Guarantee Model Checking - Flanagan, Qadeer (Correct)
0.1: Over-Approximating Boolean Programs with Unbounded Thread.. - Cook, Kroening, al. (Correct)
Similar documents based on text: More All
1.1: Thread-Modular Verification For Shared-Memory Programs - Flanagan, Freund, Qadeer (2001) (Correct)
0.5: Houdini, an Annotation Assistant for ESC/Java - Flanagan, Leino (2001) (Correct)
0.4: Pointer Analysis for Multithreaded Programs - Rugina, Rinard (1999) (Correct)
Related documents from co-citation: More All
5: A parameterized type system for race-free Java programs - Boyapati, Rinard - 2001
4: Detecting race conditions in large programs (context) - Flanagan, Freund - 2001
4: Thread-modular verification for sharedmemory programs - Flanagan, Freund et al. - 2002
BibTeX entry: (Update)
C. Flanagan, S. Qadeer, and S. A. Seshia. A modular checker for multithreaded programs. Technical Note 2002-001, Compaq Systems Research Center, 2002. http://citeseer.ist.psu.edu/flanagan02modular.html More
@misc{ flanagan02modular,
author = "C. Flanagan and S. Qadeer and S. Seshia",
title = "A modular checker for multithreaded programs",
text = "C. Flanagan, S. Qadeer, and S. A. Seshia. A modular checker for multithreaded
programs. Technical Note 2002-001, Compaq Systems Research Center, 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/flanagan02modular.html" }
Citations (may not include all citations):737 The Java Programming Language (context) - Arnold, Gosling - 1996
160 Abstraction and Specification in Program Development (context) - Liskov, Guttag - 1986
150 Parametric shape analysis via 3-valued logic - Sagiv, Reps et al. - 1999
140 Extended static checking for Java - Flanagan, Leino et al. - 2002
77 Type-based race detection for Java - Flanagan, Freund - 2000
68 Specifying concurrent program modules (context) - Lamport - 1983
64 extensible web crawler (context) - Heydon, Najork et al. - 1999
61 Tentative steps toward a development method for interfering .. (context) - Jones - 1983
44 Checking Java programs via guarded commands - Leino, Saxe et al. - 1999
43 A parameterized type system for race-free Java programs - Boyapati, Rinard - 2001
42 WARLOCK --- a static data race analysis tool (context) - Sterling - 1993
36 Conjoining specifications - Abadi, Lamport - 1995
32 Xerox Palo Alto Research Center (context) - Nelson, program et al. - 1981
30 Verifying safety properties of concurrent Java programs usin.. - Yahav - 2001
26 Tool-supported program abstraction for finite-state verifica.. - Dwyer, Hatcli et al. - 2001
26 Avoiding exponential explosion: Generating compact verificat.. (context) - Flanagan, Saxe - 2001
24 Synchronization primitives for a multiprocessor: A formal sp.. - Birrell, Guttag et al. - 1987
16 Barrier inference - Aiken, Gay - 1998
13 Thread-modular verification for sharedmemory programs - Flanagan, Freund et al. - 2002
11 A modular checker for multithreaded programs - Flanagan, Qadeer et al. - 2002
7 Parameterized verification of multithreaded software librari.. - Ball, Chaki et al. - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-2.cs.cmu.edu/afs/cs.cmu.edu/user/sanjit/www/pubdir/): More
Deciding Separation Formulas with SAT - Strichman, Seshia, Bryant (2002) (Correct)
Modeling and Verifying Systems using a Logic of Counter.. - Bryant, Lahiri, Seshia (Correct)
Deciding CLU Logic Formulas via Boolean and Pseudo-Boolean .. - Bryant, Lahiri, Seshia (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