Presentations


Data Structure Repair Using Goal-Directed Reasoning
Brian Demsky
Thesis Defense
November 2005
Slides

Data Structure Repair Using Goal-Directed Reasoning
Brian Demsky and Martin C. Rinard
Dagstuhl
June 2005
Slides

Data Structure Repair Using Goal-Directed Reasoning
Brian Demsky and Martin C. Rinard
ACM SIGSOFT Distinguished Paper Award
Proceedings of the 2005 International Conference on Software Engineering
May 2005
Slides

Efficient Specification-Assisted Error Localization
Brian Demsky, Cristian Cadar, Daniel Roy, and Martin C. Rinard
The Second International Workshop on Dynamic Analysis
May 2004
Slides

Specification-Based Error Localization
Dagstuhl
November 2003
Slides

Static Specification Analysis for Termination of Specification-Based Data Structure Repair
Brian Demsky and Martin C. Rinard
The 14th IEEE International Symposium on Software Reliability Engineering
November 2003
Slides

Automatic Detection and Repair of Errors in Data Structures
Brian Demsky and Martin C. Rinard
The 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications
October 2003
Slides

Automatic Data Structure Repair for Self-Healing Systems
Brian Demsky and Martin C. Rinard
First Workshop on Algorithms and Architectures for Self-Managing Systems
June 2003
Slides

Automatic Detection and Repair of Errors in Data Structures
Brian Demsky and Martin C. Rinard
New England Programming Languages and Systems Symposium Series
February 2003

Role-Based Exploration of Object-Oriented Programs
Brian Demsky and Martin C. Rinard
International Conference on Software Engineering
Orlando, Florida May 2002
Slides