Publications
Bristlecone: Language Support for Robust Software Applications
(Postscript)
Brian Demsky and Sivaji Sundaramurthy
IEEE Transactions on Software Engineering
Vol. ?, No. ?, ? 2009
Automatically Tuning Task-Based Programs for Multi-core Processors
(Postscript)
Jin Zhou and Brian Demsky
The 4th International Workshop on Automatic Performance Tuning
October 2009
Garm: Cross Application Data Provenance and Policy Enforcement
(Postscript)
Brian Demsky
4th USENIX Workshop on Hot Topics in Security
August 2009
Automatic Extraction of Heap Reference Properties in Object-Oriented Programs
(Postscript)
Brian Demsky and Martin Rinard
IEEE Transactions on Software Engineering
Vol. 35, No. 3, May-June 2009
Software Transactional Distributed Shared Memory
(Postscript)
Alokika Dash and Brian Demsky
Technical Report UCI-ISR-09-2
February 2009
Disjointness Analysis for Java-Like Languages
(Postscript)
James C. Jenista and Brian Demsky
Technical Report UCI-ISR-09-1
February 2009
Software Transactional Distributed Shared Memory
(Postscript)
Alokika Dash and Brian Demsky
Poster at the 2009 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
February 2009
AFID: An Automated Fault Identification Tool
(Postscript)
Alex Edwards, Sean Tucker, Sebastien Worms, Rahul Vaidya, and Brian Demsky
Proceedings of the 2008 International Symposium on Software Testing and Analysis
July 2008
Slides
Bristlecone: A Language for Robust Software Systems
(Postscript)
Brian Demsky and Alokika Dash
Proceedings of the 22nd European Conference on Object-Oriented Programming
July 2008
Slides
Data Structure Repair Using Goal-Directed Reasoning
(Postscript)
Brian Demsky and Sivaji Sundaramurthy
Technical Report UCI-ISR-07-7
October 2007
Bristlecone: A Language for Robust Software Systems
(Postscript)
Brian Demsky and Alokika Dash
Technical Report UCI-ISR-07-6
October 2007
Goal-Directed Reasoning for Specification-Based Data Structure Repair
(Postscript)
Brian Demsky and Martin C. Rinard
IEEE Transactions on Software Engineering
Vol. 32, No. 12, 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 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 LCS 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
Slides
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