Structures Brian Demsky Massachusetts Institute of Technology Martin Rinard...  @ NUS Home/Search
Context
Related
| mit.edu/~rinard/pa...oopsla03.repair.ps Cached: PS.gz PS PDF Image Update Help From: mit.edu/~rinard/paper/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a system that accepts a specification of key data structure consistency constraints, then dynamically detects and repairs violations of these constraints, enabling the program to continue to execute productively even in the face of otherwise crippling errors. Our experience using our system indicates that the specifications are relatively easy to develop once one understands the data structures. Furthermore, for our set of benchmark applications, our system can e#ectively repair... (Update)
Similar documents (at the sentence level):
43.0%: Automatic Detection and Repair of Errors in Data Structures - Demsky, Rinard (2002) (Correct)
15.0%: Static Specification Analysis for Termination of - Specification-Based Data.. (Correct)
5.5%: Data Structure Repair Using Goal-Directed Reasoning - Brian Demsky Massachusetts (Correct)
Active bibliography (related documents): More All
0.4: Efficient Specification-Assisted Error Localization - Brian Demsky Cristian (2004) (Correct)
0.3: Automatic Data Structure Repair for Self-Healing Systems - Brian Demsky Massachusetts (2003) (Correct)
0.3: Acceptability-Oriented Computing - Martin Rinard Mit (2003) (Correct)
Similar documents based on text: More All
0.1: Region-Based Memory Management for Real-Time Java - Beebee, Jr. (2001) (Correct)
0.1: Role-Based Exploration of Object-Oriented Programs - Demsky, Rinard (2002) (Correct)
0.1: Pointer ANalysis and its Applications for Java Programs - Salcianu (2001) (Correct)
BibTeX entry: (Update)
@misc{ demsky-automatic,
author = "Structures Brian Demsky",
title = "Automatic Detection and Repair of Errors in Data",
url = "citeseer.comp.nus.edu.sg/682090.html" }
Citations (may not include all citations):901 Transaction Processing: Concepts and Techniques (context) - Gray, Reuter - 1993
270 Bandera : Extracting finite-state models from java source co.. - Corbett, Dwyer et al. - 2000
146 Deriving production rules for constraint maintenance - Ceri, Widom - 1990
74 Ownership types for flexible alias protection - Clarke, Potter et al. - 1998
65 Typestate: A programming language concept for enhancing soft.. (context) - Strom, Yemini - 1986
65 Alloy: A lightweight object modelling notation - Jackson - 2000
51 Esp: Path-sensitive program verification in polynomial time - Das, Lerner et al. - 2002
50 Self-stabilization in spite of distributed control (context) - Dijkstra - 1974
47 A system and language for building system-specific (context) - Hallem, Chelf et al. - 2002
45 Recursive restartability: Turning the reboot sledgehammer in.. - Candea, Fox - 2001
43 Ownership types for safe programming: Preventing data races .. - Boyapati, Lee et al. - 2002
35 The Magic Garden Explained:The Internals of Unix System V Re.. (context) - Goodheart, Cox - 1994
35 Role analysis - Kuncak, Lam et al. - 2002
34 Automatic generation of production rules for integrity maint.. (context) - Ceri, Fraternali et al. - 1994
16 Two application languages in software production - Ladd, Ramming - 1994
16 UC Berkeley Computer Science (context) - Patterson, computing et al. - 2002
15 cient and precise datarace detection for multithreaded objec.. (context) - Choi - 2002
15 Auditdraw: Generating audits the FAST way - Gupta, Jagadeesan et al. - 1997
15 switching system: Maintenance capabilities (context) - Haugk, Lax et al. - 1985
13 Constraint analysis: A design process for specifying operati.. (context) - Urban, Delcambre - 1990
10 reliability IBM MVXA operating system (context) - Andrews, reliability et al. - 1987
7 FIG: A prototype tool for online verification of recovery me.. - Broadwell, Sastry et al. - 2002
7 Software Fault Injection (context) - Voas, McGraw - 1998
5 Software analysis: A roadmap (context) - Jackson, Rinard - 2000
5 Consistency management with repair actions - Nentwich, Emmerich et al. - 2003
5 Second extended file system (context) - Poirier - 2002
5 Centertracon automation system Development and evaluation fi.. - Nowlin, Wells et al. - 1993
4 Generating update constraints from prl (context) - Gri, Trickey et al. - 1992
http://www.ctas.arc.nasa.gov/
http://www.rational.com/uml
Documents on the same site (http://www.cag.lcs.mit.edu/~rinard/paper/): More
Hierarchical Concurrency in Jade - Scales, Rinard, Lam, Anderson (Correct)
Commutativity Analysis: A Technique for Automatically.. - Rinard, Diniz (1996) (Correct)
Commutativity Analysis: A New Analysis Framework for.. - Rinard, Diniz (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.