| 2014 | ISSTA | Empirically revisiting the test independence assumption. | Sai Zhang, Darioush Jalali, Jochen Wuttke, Kivan Muslu, Wing Lam, Michael D. Ernst, David Notkin |
| 2012 | ICSE | Industrially validating longitudinal static and dynamic analyses. | Reid Holmes, David Notkin, Mark S. Hancock |
| 2012 | ICSE | Improving IDE recommendations by considering global implications of existing recommendations. | Kivan Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin |
| 2012 | OOPSLA | Speculative analysis of integrated development environment recommendations. | Kivan Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin |
| 2011 | ICSE | First workshop on developing tools as plug-ins: (TOPI 2011). | Judith Bishop, David Notkin, Karin K. Breitman |
| 2011 | ICSE | Identifying program, test, and environmental changes that affect behaviour. | Reid Holmes, David Notkin |
| 2011 | ICSE | Identifying opaque behavioural changes. | Reid Holmes, David Notkin |
| 2010 | ICSE | Using twinning to adapt programs to alternative APIs. | Marius Nita, David Notkin |
| 2009 | ICSE | Discovering and representing systematic code changes. | Miryung Kim, David Notkin |
| 2009 | ICSE | White-box approaches for improved testing and analysis of configurable software systems. | Marius Nita, David Notkin |
| 2007 | ICSE | Automatic Inference of Structural Changes for Matching across Program Versions. | Miryung Kim, David Notkin, Dan Grossman |
| 2006 | ISSRE | Detecting Redundant Unit Tests for AspectJ Programs. | Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin |
| 2006 | MSR | Program element matching for multi-version program analyses. | Miryung Kim, David Notkin |
| 2005 | ISSRE | Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs. | Tao Xie, David Notkin |
| 2005 | MSR | Using a clone genealogy extractor for understanding and supporting evolution of code clones. | Miryung Kim, David Notkin |
| 2005 | TACAS | Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. | Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin |
| 2004 | ICFEM | Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions. | Tao Xie, David Notkin |
| 2004 | OOPSLA | Design snippets: partial design representations extracted from source code. | Vibha Sazawal, David Notkin |
| 2003 | ECOOP | Language Support for Connector Abstractions. | Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin |
| 2003 | ICSE | Panel: Empirical Validation-What, Why, When, and How. | Robert J. Walker, Lionel C. Briand, David Notkin, Carolyn B. Seaman, Walter F. Tichy |
| 2002 | ECOOP | Architectural Reasoning in ArchJava. | Jonathan Aldrich, Craig Chambers, David Notkin |
| 2002 | ICSE | ArchJava: connecting software architecture to implementation. | Jonathan Aldrich, Craig Chambers, David Notkin |
| 2001 | ICSE | Panel: Perspectives on Software Engineering. | David Notkin, Marc Donner, Michael D. Ernst, Michael M. Gorlick, E. James Whitehead Jr. |
| 2001 | ICSE | Third International Workshop on Economics-Driven Software Engineering Research. | Kevin J. Sullivan, Mary Shaw, Barry W. Boehm, David Notkin, Warren Harrison |
| 2000 | ICECCS | Dynamically Detecting Relevant Program Invariants. | David Notkin |
| 2000 | ICSE | Quickly detecting relevant program invariants. | Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin |
| 1999 | ICSE | Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts. | William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner |
| 1999 | ICSE | Dynamically Discovering Likely Program Invariants to Support Program Evolution. | Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin |
| 1999 | ICSE | Assessing Software Libraries by Browsing Similar Classes, Functions and Relationships. | Amir Michail, David Notkin |
| 1999 | ICSE | Panel: Intellectual Property Issues in Software. | David Notkin, Gregory J. Kirsch, Yannis Skulikaris |
| 1999 | ICSE | First Workshop on Economics-Driven Software Engineering Research. | Kevin J. Sullivan, David Notkin, Alfonso Fuggetta, John M. Favaro |
| 1998 | ISSTA | Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. | William Chan, Richard J. Anderson, Paul Beame, David Notkin |
| 1997 | CAV | Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints. | William Chan, Richard J. Anderson, Paul Beame, David Notkin |
| 1996 | ICSE | An Empirical Study of Static Call Graph Extractors. | Gail C. Murphy, David Notkin, Erica S.-C. Lan |
| 1996 | OOPSLA | Using Role Components to Implement Collaboration-Based Designs. | Michael VanHilst, David Notkin |
| 1994 | ICSE | Nico Habermann's Research: A Brief Retrospective. | David Garlan, J. Frits Habermann, David Notkin |
| 1993 | ICSE | Difficulties with Object-Oriented Frameworks. | Gail C. Murphy, David Notkin |
| 1991 | FM | Formalizing Design Spaces: Implicit Invocation Mechanisms. | David Garlan, David Notkin |
| 1990 | ICDCS | A Heterogeneous Distributed File System. | C. Brian Pinkerton, Edward D. Lazowska, David Notkin, John Zahorjan |
| 1990 | ICPP | How Port Ensembles Aid the Efficient Retargeting of Reduction Algorithms. | William G. Griswold, Gail A. Harrison, David Notkin, Lawrence Snyder |
| 1990 | SC | A flexible communication abstraction for nonshared memory parallel computing. | Gail A. Alverson, William G. Griswold, David Notkin, Lawrence Snyder |
| 1989 | ICDCS | Performance Implications of Design Alternatives for Remote Procedure Call Stubs. | S. K. Chung, Edward D. Lazowska, David Notkin, John Zahorjan |
| 1988 | ICPP | Debugging Parallel Programs using Graphical Views. | Mary L. Bailey, David Socha, David Notkin |
| 1988 | ICSE | Extension and Software Development. | David Notkin, William G. Griswold |
| 1988 | PPoPP | Experiences with Poker. | David Notkin, Lawrence Snyder, David Socha, Mary L. Bailey, Bruce Forstall, Kevin Gates, Raymond Greenlaw, William G. Griswold, Thomas J. Holman, Richard Korry, Gemini Lasswell, Robert Mitchell, Philip A. Nelson |
| 1987 | PLDI | Enhancement through extension: the extension interpreter. | David Notkin, William G. Griswold |
| 1987 | SOSP | A Name Service for Evolving, Heterogeneous Systems. | Michael F. Schwartz, John Zahorjan, David Notkin |
| 1986 | ICPP | Programming Solutions to the Algorithm Contraction Problem. | David Notkin, Lawrence Snyder |