Article

Data structure repair using goal-directed reasoning

Authors:

Martin RinardAuthors Info & Claims

ICSE '05: Proceedings of the 27th international conference on Software engineering

Pages 176 - 185

https://doi.org/10.1145/1062455.1062499

Published: 15 May 2005 Publication History

Abstract

Data structure repair is a promising technique for enabling programs to execute successfully in the presence of otherwise fatal data structure corruption errors. Previous research in this field relied on the developer to write a specification to explicitly translate model repairs into concrete data structure repairs, raising the possibility of 1) incorrect translations causing the supposedly repaired concrete data structures to be inconsistent, and 2) repaired models with no corresponding concrete data structure representation.We present a new repair algorithm that uses goal-directed reasoning to automatically translate model repairs into concrete data structure repairs. This new repair algorithm eliminates the possibility of incorrect translations and repaired models with no corresponding representation as concrete data structures.

References

[1]

Center-tracon automation system. http://www.ctas.arc.nasa.gov/]]

[2]

A. Mishra et al. R++: Using rules in object-oriented designs. In OOPSLA, July 1996.]]

[3]

G. Candea and A. Fox. Recursive restartability: Turning the reboot sledgehammer into a scalpel. In HotOS-VIII, May 2001.]]

Digital Library

[4]

S. Ceri and J. Widom. Deriving production rules for constraint maintenance. In VLDB, pages 566--577, 1990.]]

Digital Library

[5]

D. A. Patterson et al. Recovery-oriented computing (ROC): Motivation, definition, techniques, and case studies. Technical Report UCB//CSD-02-1175, UC Berkeley Computer Science, March 15, 2002.]]

[6]

D. Litman et al. Modeling dynamic collections of interdependent objects using path-based rules. In OOPSLA, October 1997.]]

Digital Library

[7]

B. Demsky and M. Rinard. Automatic detection and repair of errors in data structures. In OOPSLA, October 2003.]]

Digital Library

[8]

B. Demsky and M. Rinard. Data structure repair using goal-directed reasoning. Technical Report 950, MIT Computer Science and Artificial Intelligence Laboratory, 2004.]]

[9]

G. Haugk. The 5ESS(TM) switching system: Maintenance capabilities. AT&T Technical Journal, 64(6 part 2):1385--1416, July-August 1985.]]

[10]

J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993.]]

Digital Library

[11]

R. Hoover. Incremental computation as a programming abstraction. In PLDI, 1992.]]

Digital Library

[12]

J. Corbett et al. Bandera : Extracting finite-state models from Java source code. In ICSE, 2000.]]

Digital Library

[13]

D. A. Ladd and J. C. Ramming. Two application languages in software production. In VHLL, October 1994.]]

Digital Library

[14]

G. Lopez. The Design and Implementation of Kaleidoscope, A Constraint Imperative Programming Language. PhD thesis, University of Washington, April 1997.]]

Digital Library

[15]

M. B. Taylor et al. The Raw microprocessor: A computational fabric for software circuits and general-purpose programs. In IEEE Micro, Mar/Apr 2002.]]

Digital Library

[16]

S. Mourad and D. Andrews. On the reliability of the IBM MVS/XA operating system. TSE, September 1987.]]

Digital Library

[17]

N. Gupta et al. Auditdraw: Generating audits the FAST way. In ISCE, 1997.]]

Digital Library

[18]

M. Rosenblum and J. Ousterhout. The design and implementation of a log-structured file system. In SOSP, Oct. 1991.]]

Digital Library

[19]

S. Ceri et al. Automatic generation of production rules for integrity maintenance. TODS, 19(3), September 1994.]]

Digital Library

[20]

S. Hallem et al. A system and language for building system-specific, static analyses. In PLDI, 2002.]]

Digital Library

[21]

T. Griffin et al. Generating update constraints from PRL5.0 specifications. In Preliminary report presented at AT&T Database Day, September 1992.]]

[22]

S. D. Urban and L. M. Delcambre. Constraint analysis: A design process for specifying operations on objects. TKDE, 2(4), December 1990.]]

Digital Library

Cited By

Pailoor SWang YDillig I(2024)Semantic Code Refactoring for Abstract Data TypesProceedings of the ACM on Programming Languages10.1145/36328708:POPL(816-847)Online publication date: 5-Jan-2024
https://dl.acm.org/doi/10.1145/3632870
Zhang XZhai JMa SShen C(2021)AutoTrainerProceedings of the 43rd International Conference on Software Engineering10.1109/ICSE43902.2021.00043(359-371)Online publication date: 22-May-2021
https://dl.acm.org/doi/10.1109/ICSE43902.2021.00043
Nguyen TTa QSergey IChin W(2021)Automated Repair of Heap-Manipulating Programs Using Deductive SynthesisVerification, Model Checking, and Abstract Interpretation10.1007/978-3-030-67067-2_17(376-400)Online publication date: 12-Jan-2021
https://doi.org/10.1007/978-3-030-67067-2_17
Show More Cited By

Index Terms

Data structure repair using goal-directed reasoning
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software notations and tools
    1. General programming languages
      1. Language features

Recommendations

Automatic detection and repair of errors in data structures
Special Issue: Proceedings of the OOPSLA '03 conference

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 ...
Dynamic symbolic data structure repair
ICSE '10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2

Generic repair of complex data structures is a new and exciting area of research. Existing approaches can integrate with good software engineering practices such as program assertions. But in practice there is a wide variety of assertions and not all of ...
Constraint-Based Program Debugging Using Data Structure Repair
ICST '11: Proceedings of the 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation

Developers have used data structure repair over the last few decades as an effective means to recover on-the-fly from errors in program state. Traditional repair techniques were based on dedicated repair routines, whereas more recent techniques have ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ICSE '05: Proceedings of the 27th international conference on Software engineering

May 2005

754 pages

ISBN:1581139632

DOI:10.1145/1062455

General Chair:
Gruia-Catalin Roman
Washington University in St. Louis
,
Program Chairs:
William Griswold
University of California, San Diego
,
Bashar Nuseibeh
The Open University, UK

Copyright © 2005 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 May 2005

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICSE05

Sponsor:

ICSE05: 27th International Conference on Software Engineering

May 15 - 21, 2005

MO, St. Louis, USA

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

64
Total Citations
View Citations
574
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Pailoor SWang YDillig I(2024)Semantic Code Refactoring for Abstract Data TypesProceedings of the ACM on Programming Languages10.1145/36328708:POPL(816-847)Online publication date: 5-Jan-2024
https://dl.acm.org/doi/10.1145/3632870
Zhang XZhai JMa SShen C(2021)AutoTrainerProceedings of the 43rd International Conference on Software Engineering10.1109/ICSE43902.2021.00043(359-371)Online publication date: 22-May-2021
https://dl.acm.org/doi/10.1109/ICSE43902.2021.00043
Nguyen TTa QSergey IChin W(2021)Automated Repair of Heap-Manipulating Programs Using Deductive SynthesisVerification, Model Checking, and Abstract Interpretation10.1007/978-3-030-67067-2_17(376-400)Online publication date: 12-Jan-2021
https://doi.org/10.1007/978-3-030-67067-2_17
Mesbah ARice AJohnston EGlorioso NAftandilian EDumas MPfahl DApel SRusso A(2019)DeepDelta: learning to repair compilation errorsProceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3338906.3340455(925-936)Online publication date: 12-Aug-2019
https://dl.acm.org/doi/10.1145/3338906.3340455
Balsamo DFletcher BWeddell AKaratziolas GAl-Hashimi BMerrett G(2019)MomentumACM Transactions on Embedded Computing Systems10.1145/328130017:6(1-25)Online publication date: 9-Jan-2019
https://dl.acm.org/doi/10.1145/3281300
Mesbah ARice AAftandilian EJohnston EGlorioso NMussbacher GAtlee JBultan T(2019)Analyzing and repairing compilation errorsProceedings of the 41st International Conference on Software Engineering: Companion Proceedings10.1109/ICSE-Companion.2019.00121(294-295)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.1109/ICSE-Companion.2019.00121
Sun HHuang JQin XXie C(2018)DLSpaceACM Transactions on Embedded Computing Systems10.1145/328474917:6(1-33)Online publication date: 8-Dec-2018
https://dl.acm.org/doi/10.1145/3284749
Springer PBientinesi P(2018)Design of a High-Performance GEMM-like Tensor–Tensor MultiplicationACM Transactions on Mathematical Software10.1145/315773344:3(1-29)Online publication date: 3-Jan-2018
https://dl.acm.org/doi/10.1145/3157733
Doliskani JGiorgi PLebreton RSchost E(2018)Simultaneous Conversions with the Residue Number System Using Linear AlgebraACM Transactions on Mathematical Software10.1145/314557344:3(1-21)Online publication date: 3-Jan-2018
https://dl.acm.org/doi/10.1145/3145573
Singh VGupta RNeamtiu IZaks AHermenegildo M(2016)Automatic fault location for data structuresProceedings of the 25th International Conference on Compiler Construction10.1145/2892208.2892215(99-109)Online publication date: 17-Mar-2016
https://dl.acm.org/doi/10.1145/2892208.2892215
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten