LCS Publication Details
Publication Title: Automatic Detection and Repair of Errors in Data Structures
Publication Author: Demsky, Brian
Additional Authors: Martin Rinard
LCS Document Number: MIT-LCS-TR-875
Publication Date: 12-6-2002
LCS Group: Computer Architecture
Additional URL:
Abstract:
We present a system that accepts a specification of key data structure constraints, then dynamically detects and repairs violations of these constraints. 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 effectively repair errors to deliver consistent data structures that allow the program to continue to operate successfully within its designed operating envelope.
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.