Koushik Sen Grigore Rosu Gul Agha  Home/Search
Context Related
| uiuc.edu/~grosu/downloaddr...fse.ps.gz 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: uiuc.edu/~grosu/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dependency order on state updates from a running multithreaded program is presented, together with algorithms to exhaustively analyze a multithreaded computation against safety properties expressed using temporal logics. A prototype tool implementing our techniques, is also presented, together with examples where it can... (Update)
Cited by: More
Efficient Decentralized Monitoring of Safety in.. - Sen, Vardhan, Agha, Rosu (2004) (Correct)
Online Ecient Predictive Safety Analysis of Multithreaded.. - Sen, Rosu, Agha (2004) (Correct)
Runtime Safety Analysis of Multithreaded Programs - Sen, Rosu, Agha (2003) (Correct)
Active bibliography (related documents): More All
0.4: An Instrumentation Technique for Online Analysis of.. - Rosu, Sen (2003) (Correct)
0.3: Online Efficient Predictive Safety Analysis of Multithreaded.. - Sen, Rosu, Agha (2004) (Correct)
0.2: Generating Optimal Linear Temporal Logic Monitors by Coinduction - Sen, Rosu, Agha (2004) (Correct)
Similar documents based on text: More All
0.3: On Specifying and Monitoring Epistemic Properties of.. - Sen, Vardhan, Agha, Rosu (2004) (Correct)
Related documents from co-citation: More All
22: Synthesizing monitors for safety properties - Havelund, Rosu - 2002
19: Java-MaC: a Run-time Assurance Tool for Java (context) - Kim, Kannan et al. - 2001
15: Partial orders for parallel debugging (context) - Fidge - 1988
BibTeX entry: (Update)
K. Sen, G. Rosu, and G. Agha. Runtime Safety Analysis of Multithreaded Programs. TR UIUCDCS-R-2003-2334, Univ. of Illinois at Urbana Champaign, April 2003. http://citeseer.ist.psu.edu/article/sen03runtime.html More
@misc{ sen03runtime,
author = "K. Sen and G. Rosu and G. Agha",
title = "Runtime Safety Analysis of Multithreaded Programs",
text = "K. Sen, G. Rosu, and G. Agha. Runtime Safety Analysis of Multithreaded
Programs. TR UIUCDCS-R-2003-2334, Univ. of Illinois at Urbana Champaign,
April 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/article/sen03runtime.html" }
Citations (may not include all citations):828 Model checking - Clarke, Grumberg et al. - 1999
352 Virtual time and global states of distributed systems - Mattern - 1989
191 Temporal verification of reactive systems: Safety (context) - Manna, Pnueli - 1995
140 Model Checking Java Programs using Java PathFinder - Havelund, Pressburger - 2000
114 Consistent detection of global predicates - Cooper, Marzullo - 1991
72 Partial orders for parallel debugging (context) - Fidge - 1988
61 Monitoring Java Programs with Java PathExplorer - Havelund, Rosu - 2001
47 Runtime assurance based on formal specifications - Lee, Kannan et al. - 1999
46 Synthesizing monitors for safety properties - Havelund, Rosu - 2002
36 Monitoring Programs using Rewriting - Havelund, Rosu - 2001
33 Detection of global predicates: Techniques and their limitat.. - Chase, Garg - 1998
20 Byte code engineering with the bcel api - Dahm - 2001
17 Java-MaC: a Run-time Assurance Tool for Java (context) - Kim, Kannan et al. - 2001
9 Detecting global predicates in distributed systems with cloc.. - Stoller - 1997
8 Runtime Verification (context) - Havelund, Rosu - 2001
6 Verifying sequential consistency using vector clocks (context) - Cain, Lipasti - 2002
www.digital.com/java/download/jtrek/
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://gureni.cs.uiuc.edu/~grosu/publications.html): More
Rewriting-based Techniques for Runtime Verification - Rosu, Havelund (Correct)
Online Efficient Predictive Safety Analysis of Multithreaded.. - Sen, Rosu, Agha (2004) (Correct)
Towards Certifying Domain-Specific Properties of Synthesized Code - Rosu, Whittle (2002) (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