David Notkin

Making Offline Analyses Continuous

K. Muşlu, Y. Brun, M.D. Ernst, D. Notkinthe 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. NotkinObject-Oriented Programming Systems, Languages, and Applications (OOPSLA 2012), 2012.
Downloads: implementation PDF BibTeX 

Improving IDE Recommendations by Considering Global Implications of Existing Recommendations

K. Muşlu, Y. Brun, R. Holmes, M.D. Ernst, D. NotkinProceedings of the 34th International Conference on Software Engineering (New Ideas and Emerging Results Track), 2012.
Downloads: PDF BibTex Slides 

Predicting Development Trajectories to Prevent Collaboration Conflicts

Y. Brun, K. Muşlu, R. Holmes, M.D. Ernst, D. NotkinProceedings of the 2012 Computer Supported Cooperative Work Working Conference on the Future of Collaborative Software Development, 2012.
Downloads: PDF BibTex Poster 

Crystal: Precise and unobtrusive conflict warnings

Y. Brun, R. Holmes, M.D. Ernst, D. NotkinESEC/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. NotkinESEC/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. NotkinAREW '11: Proceedings of the 1st Workshop on Agile Requirements EngineeringACM, 2011.
Downloads: ACM-Authorizer-Link 

First workshop on developing tools as plug-ins (TOPI 2011)

J. Bishop, D. Notkin, K. BreitmanICSE '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. NotkinProceedings of the 33rd International Conference on Software EngineeringACM, 2011.

Speculative identification of merge conflicts and non-conflicts

Y. Brun, R. Holmes, M.D. Ernst, D. NotkinUniversity 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. NotkinWorkshop on the Future of Software Engineering Research, 2010.

An empirical analysis of C preprocessor use

M.D. Ernst, G.J. Badros, D. NotkinIEEE 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. NotkinICSM 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. WhiteheadICSE 2001, Proceedings of the 23rd International Conference on Software Engineering, 2001.

Dynamically discovering likely program invariants to support program evolution

M.D. Ernst, J. Cockrell, W.G. Griswold, D. NotkinIEEE 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

Software Reflexion Models: Bridging the Gap between Design and Implementation

G.C. Murphy, D. Notkin, K.J. SullivanIEEE Trans. Softw. Eng.IEEE Press 27, 2001.

Quickly detecting relevant program invariants

M.D. Ernst, A. Czeisler, W.G. Griswold, D. NotkinICSE 2000, Proceedings of the 22nd International Conference on Software Engineering, 2000.

Dynamically discovering pointer-based program invariants

M.D. Ernst, W.G. Griswold, Y. Kataoka, D. NotkinUniversity of Washington Department of Computer Science and Engineering:UW-CSE-99-11-02, 1999.

Revised March 17, 2000

Reengineering with Reflexion Models: A Case Study

G.C. Murphy, D. NotkinComputerIEEE Computer Society Press 30, 1997.

Mediators in a Radiation Treatment Planning Environment

K.J. Sullivan, I.J. Kalet, D. NotkinIEEE Transactions on Software EngineeringIEEE Computer Society 22:8, 1996.
Downloads: PDF IEEE-disclaimer 

Automated assistance for program restructuring

W.G. Griswold, D. NotkinACM Trans. Softw. Eng. Methodol.ACM 2:3, 1993.
Downloads: ACM-Authorizer-Link 

Reconciling environment integration and software evolution

K.J. Sullivan, D. NotkinACM Trans. Softw. Eng. Methodol.ACM 1, 1992.
Downloads: ACM-Authorizer-Link