David Notkin
Making Offline Analyses Continuous
K. Muşlu, Y. Brun, M.D. Ernst, D. Notkin, the 9th joint meeting of the European Software Engineering Conference and the Symposium on the Foundations of Software Engineering (FSE), 2013.
Downloads: Implementation
Speculative analysis of integrated development environment recommendations
K. Muşlu, Y. Brun, R. Holmes, M.D. Ernst, D. Notkin, Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2012), 2012.
Downloads: implementation PDF BibTeX
Crystal: Precise and unobtrusive conflict warnings
Y. Brun, R. Holmes, M.D. Ernst, D. Notkin, ESEC/FSE 2011: The 8th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2011.
Proactive detection of collaboration conflicts
Y. Brun, R. Holmes, M.D. Ernst, D. Notkin, ESEC/FSE 2011: The 8th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2011.
Communication patterns of agile requirements engineering
N.N.B. Abdullah, S. Honiden, H. Sharp, B. Nuseibeh, D. Notkin, AREW '11: Proceedings of the 1st Workshop on Agile Requirements Engineering, ACM, 2011.
Downloads: ACM-Authorizer-Link
First workshop on developing tools as plug-ins (TOPI 2011)
J. Bishop, D. Notkin, K. Breitman, ICSE '11: Proceedings of the 33rd International Conference on Software Engineering (Workshop proceedings), ACM, 2011.
Downloads: ACM-Authorizer-Link
Identifying program, test, and environmental changes that affect behaviour
R. Holmes, D. Notkin, Proceedings of the 33rd International Conference on Software Engineering, ACM, 2011.
Downloads: ACM-Authorizer-Link YouTube-Demonstration-Video
Speculative identification of merge conflicts and non-conflicts
Y. Brun, R. Holmes, M.D. Ernst, D. Notkin, University of Washington Department of Computer Science and Engineering:UW-CSE-10-03-01, 2010.
Downloads: PDF
Speculative analysis: Exploring future development states of software
Y. Brun, R. Holmes, M.D. Ernst, D. Notkin, Workshop on the Future of Software Engineering Research, 2010.
Software, Software Engineering and Software Engineering Research: Some Unconventional Thoughts
D. Notkin, J. Comput. Sci. Technol. 24:2, 2009.
An empirical analysis of C preprocessor use
M.D. Ernst, G.J. Badros, D. Notkin, IEEE Transactions on Software Engineering 28:12, 2002.
Downloads: PDF
Automated support for program refactoring using invariants
Y. Kataoka, M.D. Ernst, W.G. Griswold, D. Notkin, ICSM 2001, Proceedings of the International Conference on Software Maintenance, 2001.
Downloads: PDF PostScript
Panel: Perspectives on software engineering
D. Notkin, M. Donner, M.D. Ernst, M. Gorlick, J.E. Whitehead, ICSE 2001, Proceedings of the 23rd International Conference on Software Engineering, 2001.
Downloads: Slides (for all panelists)
Dynamically discovering likely program invariants to support program evolution
M.D. Ernst, J. Cockrell, W.G. Griswold, D. Notkin, IEEE Transactions on Software Engineering 27:2, 2001.
A previous version appeared in ġroup\em ICSE '99, Proceedings of the 21st International Conference on Software Engineeringġroup, pages 213–224, Los Angeles, CA, USA, May 19–21, 1999
Downloads: ICSE 1999 paper (PDF) ICSE 1999 talk slides (PowerPoint) ICSE 1999 talk slides (PostScript) Daikon implementation PDF
Software Reflexion Models: Bridging the Gap between Design and Implementation
G.C. Murphy, D. Notkin, K.J. Sullivan, IEEE Trans. Softw. Eng., IEEE Press 27, 2001.
Quickly detecting relevant program invariants
M.D. Ernst, A. Czeisler, W.G. Griswold, D. Notkin, ICSE 2000, Proceedings of the 22nd International Conference on Software Engineering, 2000.
Downloads: Daikon implementation PDF PostScript
Dynamically discovering pointer-based program invariants
M.D. Ernst, W.G. Griswold, Y. Kataoka, D. Notkin, University of Washington Department of Computer Science and Engineering:UW-CSE-99-11-02, 1999.
Revised March 17, 2000
Downloads: Daikon implementation PDF PostScript
Reengineering with Reflexion Models: A Case Study
G.C. Murphy, D. Notkin, Computer, IEEE Computer Society Press 30, 1997.
Mediators in a Radiation Treatment Planning Environment
K.J. Sullivan, I.J. Kalet, D. Notkin, IEEE Transactions on Software Engineering, IEEE Computer Society 22:8, 1996.
Downloads: PDF IEEE-disclaimer
Automated assistance for program restructuring
W.G. Griswold, D. Notkin, ACM Trans. Softw. Eng. Methodol., ACM 2:3, 1993.
Downloads: ACM-Authorizer-Link
Reconciling environment integration and software evolution
K.J. Sullivan, D. Notkin, ACM Trans. Softw. Eng. Methodol., ACM 1, 1992.
Downloads: ACM-Authorizer-Link

Contact
Office: CSE542
Email:
notkin
cs
Phone: (206) 685-3798
