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