Publications
AFID: An Automated Fault Identification Tool
Alex Edwards, Sean Tucker, Sebastien Worms, Rahul Vaidya, and Brian Demsky
To appear in Proceedings of the 2008 International Symposium on Software Testing and Analysis
July 2008
Bristlecone: A Language for Robust Software Systems
Brian Demsky and Alokika Dash
To appear in Proceedings of the 22nd European Conference on Object-Oriented Programming
July 2008
Static Analysis of Task Interactions in Bristlecone for Program Understanding
Brian Demsky and Sivaji Sundaramurthy
Technical Report UCI-ISR-07-7
October 2007
Bristlecone: A Language for Robust Software
Systems
Brian Demsky and Alokika Dash
Technical Report UCI-ISR-07-6
October 2007
Goal-Directed Reasoning for Specification-Based Data Structure Repair
Brian Demsky and Martin C. Rinard
IEEE Transactions on Software Engineering
December 2006
Inference and Enforcement of Data Structure Consistency Specifications
(Postscript)
Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, and Martin Rinard
Proceedings of the 2006 International Symposium on Software Testing and Analysis
July 2006
Data Structure Repair Using Goal-Directed Reasoning
(Postscript)
Brian C. Demsky
Ph.D. Thesis, MIT
January 2006
Slides
Data Structure Repair Using Goal-Directed Reasoning
(Postscript)
Brian Demsky and Martin C. Rinard
Proceedings of the 2005 International Conference on Software Engineering
May 2005
ACM SIGSOFT Distinguished Paper Award
Slides
Data Structure Repair
Using Goal-Directed Reasoning
(Postscript)
Brian Demsky and Martin C. Rinard
MIT CSAIL Technical Report 950
May 2004
Efficient Specification-Assisted
Error Localization
(Postscript)
Brian Demsky, Cristian Cadar, Daniel Roy, and Martin C. Rinard
Proceedings of the Second International Workshop on Dynamic Analysis
May 2004
Efficient Specification-Assisted
Error Localization and Correction
(Postscript)
Brian Demsky, Cristian Cadar, Daniel Roy, and Martin C. Rinard
MIT CSAIL Technical Report 927
November 2003
Static Specification Analysis
for Termination of Specification-Based Data Structure Repair
(Postscript)
Brian Demsky and Martin C. Rinard
Proceedings of the 14th IEEE International Symposium on Software Reliability
Engineering
November 2003
Slides
Automatic Detection and
Repair of Errors in Data Structures
(Postscript)
Brian Demsky and Martin C. Rinard
Proceedings of 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
(Postscript)
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
(Postscript)
Brian Demsky and Martin C. Rinard
MIT LCS Technical Report 875
December 2002
Role-Based Exploration of Object-Oriented
Programs
(Postscript)
Brian Demsky and Martin C. Rinard
Proceedings of the 2002 International Conference on Software Engineering
Orlando, Florida May 2002
Slides
An empirical Study of Technologies
to Implement Servers in Java
(Postscript)
Brian C. Demsky
M.S. Thesis, MIT
May, 2001