Assertion-based Repair of Complex Data Structures

Channel:

Google TechTalks

Subscribers:

348,000

Published on October 9, 2007 3:32:09 AM ● Video Link: https://www.youtube.com/watch?v=q2-P0dlcYoM

Duration: 33:13

2,105 views

1

Google Tech Talks
June 29th, 2007

ABSTRACT

Data structure corruptions are insidious bugs that reduce the reliability of software systems. Programmers have long used assertions to characterize data structure properties. An assertion violation signals a corruption in the program state. At such a state, it is standard to terminate the program, debug it if possible, and re-execute it.

This talk will discuss a new view: instead of terminating the program, use the violated assertion as a basis of repairing the state of the program and let it continue.

The talk will present a novel algorithm to repair structurally complex data. Given a structure that violates an assertion that represents its...