Automated Techniques for Surviving (Otherwise) Fatal Software Errors

Authors:
Martin Rinard
Affiliations:
Department of Electrical Engineering and Computer Science, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA 02139
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2007

Citing 4
Cited 1

Acceptability-oriented computing

OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors)

ACSAC '04 Proceedings of the 20th Annual Computer Security Applications Conference
Exploring the acceptability envelope

OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Enhancing server availability and security through failure-oblivious computing

OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6

Exception handlers for healing component-based systems

ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a set of automated techniques that enable software systems to survive otherwise fatal errors such as memory leaks, infinite loops, and addressing errors.