Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
David Notkin
2010 – today
- 2013
[j62]Judith Bishop, David Notkin: Developing tools as plug-ins: TOPI 2011 special issue editorial. Softw., Pract. Exper. 43(4): 389-390 (2013)- [j61]
- [j60]Miryung Kim, David Notkin, Dan Grossman, Gary Wilson Jr.: Identifying and Summarizing Systematic Code Changes via Rule Inference. IEEE Trans. Software Eng. 39(1): 45-62 (2013)
- [c79]Kivanç Muslu, Yuriy Brun, Michael D. Ernst, David Notkin: Making offline analyses continuous. ESEC/SIGSOFT FSE 2013: 323-333
- [e4]David Notkin, Betty H. C. Cheng, Klaus Pohl (Eds.): 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. IEEE / ACM 2013, ISBN 978-1-4673-3076-3
- 2012
- [j59]
- [j58]
- [c78]Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin: Improving IDE recommendations by considering global implications of existing recommendations. ICSE 2012: 1349-1352
- [c77]Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin: Speculative analysis of integrated development environment recommendations. OOPSLA 2012: 669-682
- 2011
- [c76]Reid Holmes, David Notkin: Identifying program, test, and environmental changes that affect behaviour. ICSE 2011: 371-380
- [c75]
- [c74]Judith Bishop, David Notkin, Karin Breitman: First workshop on developing tools as plug-ins: (TOPI 2011). ICSE 2011: 1230-1231
- [c73]Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin: Proactive detection of collaboration conflicts. SIGSOFT FSE 2011: 168-178
- [c72]Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin: Crystal: precise and unobtrusive conflict warnings. SIGSOFT FSE 2011: 444-447
- 2010
- [j57]
- [j56]
- [c71]Marius Nita, David Notkin: Using twinning to adapt programs to alternative APIs. ICSE (1) 2010: 205-214
- [c70]
- [c69]Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin: Speculative analysis: exploring future development states of software. FoSER 2010: 59-64
2000 – 2009
- 2009
- [j55]David Notkin: Software, Software Engineering and Software Engineering Research: Some Unconventional Thoughts. J. Comput. Sci. Technol. 24(2): 189-197 (2009)
- [j54]
- [j53]Michael W. Godfrey, Ahmed E. Hassan, James D. Herbsleb, Gail C. Murphy, Martin P. Robillard, Premkumar T. Devanbu, Audris Mockus, Dewayne E. Perry, David Notkin: Future of Mining Software Archives: A Roundtable. IEEE Software 26(1): 67-70 (2009)
- [j52]
- [c68]Marius Nita, David Notkin: White-box approaches for improved testing and analysis of configurable software systems. ICSE Companion 2009: 307-310
- [c67]
- 2008
- [j51]
- [j50]
- [j49]
- [j48]David Notkin, Mauro Pezzè: Introduction to the special section from the ACM international symposium on software testing and analysis (ISSTA 2006). ACM Trans. Softw. Eng. Methodol. 17(2) (2008)
- [j47]
- 2007
- [j46]
- [j45]
- [j44]
- [j43]
- [j42]
- [j41]
- [j40]
- [j39]
- [j38]
- [c66]Miryung Kim, David Notkin, Dan Grossman: Automatic Inference of Structural Changes for Matching across Program Versions. ICSE 2007: 333-343
- 2006
- [j37]Tao Xie, David Notkin: Tool-assisted unit-test generation and selection based on operational abstractions. Autom. Softw. Eng. 13(3): 345-371 (2006)
- [c65]David Notkin: Unconventional Views on Conventional Wisdom about Software Engineering Research. ICSM 2006: 201
- [c64]Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin: Detecting Redundant Unit Tests for AspectJ Programs. ISSRE 2006: 179-190
- [c63]Miryung Kim, David Notkin: Program element matching for multi-version program analyses. MSR 2006: 58-64
- [e3]Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller (Eds.): Multi-Version Program Analysis, 26. June - 1. July 2005. Dagstuhl Seminar Proceedings 05261, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
- 2005
- [j36]Miryung Kim, David Notkin: Using a clone genealogy extractor for understanding and supporting evolution of code clones. ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005)
- [j35]Tao Xie, David Notkin: Checking Inside the Black Box: Regression Testing by Comparing Value Spectra. IEEE Trans. Software Eng. 31(10): 869-883 (2005)
- [c62]Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller: 05261 Summary - Multi-Version Program Analysis. Multi-Version Program Analysis 2005
- [c61]Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller: 05261 Abstracts Collection - Multi-Version Program Analysis. Multi-Version Program Analysis 2005
- [c60]Tao Xie, David Notkin: Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs. ISSRE 2005: 277-287
- [c59]Miryung Kim, David Notkin: Using a clone genealogy extractor for understanding and supporting evolution of code clones. MSR 2005
- [c58]Miryung Kim, Vibha Sazawal, David Notkin, Gail C. Murphy: An empirical study of code clone genealogies. ESEC/SIGSOFT FSE 2005: 187-196
- [c57]Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin: Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. TACAS 2005: 365-381
- 2004
- [c56]Tao Xie, David Notkin: Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions. ICFEM 2004: 290-305
- [c55]
- [c54]Miryung Kim, Lawrence D. Bergman, Tessa A. Lau, David Notkin: An Ethnographic Study of Copy and Paste Programming Practices in OOPL. ISESE 2004: 83-92
- [c53]Vibha Sazawal, Miryung Kim, David Notkin: A Study of Evolution in the Presence of Source-Derived Partial Design Representations. IWPSE 2004: 21-30
- [c52]Tao Xie, Darko Marinov, David Notkin: Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. ASE 2004: 196-205
- [c51]Vibha Sazawal, David Notkin: Design snippets: partial design representations extracted from source code. OOPSLA Companion 2004: 13-14
- 2003
- [c50]Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin: Language Support for Connector Abstractions. ECOOP 2003: 74-102
- [c49]Tao Xie, David Notkin: Mutually Enhancing Test Generation and Specification Inference. FATES 2003: 60-69
- [c48]Robert J. Walker, Lionel C. Briand, David Notkin, Carolyn B. Seaman, Walter F. Tichy: Panel: Empirical Validation-What, Why, When, and How. ICSE 2003: 721-722
- [c47]
- 2002
- [j34]Michael D. Ernst, Greg J. Badros, David Notkin: An Empirical Analysis of C Preprocessor Use. IEEE Trans. Software Eng. 28(12): 1146-1170 (2002)
- [c46]Jonathan Aldrich, Craig Chambers, David Notkin: Architectural Reasoning in ArchJava. ECOOP 2002: 334-367
- [c45]Jonathan Aldrich, Craig Chambers, David Notkin: ArchJava: connecting software architecture to implementation. ICSE 2002: 187-197
- [c44]
- [c43]Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin: Architecture-centric programming for adaptive systems. WOSS 2002: 93-95
- 2001
- [j33]Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin: Dynamically Discovering Likely Program Invariants to Support Program Evolution. IEEE Trans. Software Eng. 27(2): 99-123 (2001)
- [j32]William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner: Optimizing Symbolic Model Checking for Statecharts. IEEE Trans. Software Eng. 27(2): 170-190 (2001)
- [j31]Gail C. Murphy, David Notkin, Kevin J. Sullivan: Software Reflexion Models: Bridging the Gap between Design and Implementation. IEEE Trans. Software Eng. 27(4): 364-380 (2001)
- [c42]David Notkin, Marc Donner, Michael D. Ernst, Michael M. Gorlick, E. James Whitehead Jr.: Panel: Perspectives on Software Engineering. ICSE 2001: 699-702
- [c41]Kevin J. Sullivan, Mary M. Shaw, Barry W. Boehm, David Notkin, Warren Harrison: Third International Workshop on Economics-Driven Software Engineering Research. ICSE 2001: 770
- [c40]Yoshio Kataoka, Michael D. Ernst, William G. Griswold, David Notkin: Automated Support for Program Refactoring Using Invariants. ICSM 2001: 736-743
- 2000
- [j30]Greg J. Badros, David Notkin: A framework for preprocessor-aware C source code analyses. Softw., Pract. Exper. 30(8): 907-924 (2000)
- [c39]
- [c38]Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin: Quickly detecting relevant program invariants. ICSE 2000: 449-458
1990 – 1999
- 1999
- [c37]Richard J. Anderson, Paul Beame, William Chan, David Notkin: Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications. Ershov Memorial Conference 1999: 460-469
- [c36]William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner: Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts. ICSE 1999: 142-151
- [c35]Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin: Dynamically Discovering Likely Program Invariants to Support Program Evolution. ICSE 1999: 213-224
- [c34]Amir Michail, David Notkin: Assessing Software Libraries by Browsing Similar Classes, Functions and Relationships. ICSE 1999: 463-472
- [c33]David Notkin, Gregory J. Kirsch, Yannis Skulikaris: Panel: Intellectual Property Issues in Software. ICSE 1999: 594-595
- [c32]Kevin J. Sullivan, David Notkin, Alfonso Fuggetta, John M. Favaro: First Workshop on Economics-Driven Software Engineering Research. ICSE 1999: 699-700
- 1998
- [j29]
- [j28]Jürgen Dingel, David Garlan, Somesh Jha, David Notkin: Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. Formal Asp. Comput. 10(3): 193-213 (1998)
- [j27]
- [j26]Gail C. Murphy, David Notkin, William G. Griswold, Erica S.-C. Lan: An Empirical Study of Static Call Graph Extractors. ACM Trans. Softw. Eng. Methodol. 7(2): 158-191 (1998)
- [j25]Gail A. Alverson, William G. Griswold, Calvin Lin, David Notkin, Lawrence Snyder: Abstractions for Portable, Scalable Parallel Programming. IEEE Trans. Parallel Distrib. Syst. 9(1): 71-86 (1998)
- [j24]William Chan, Richard J. Anderson, Paul Beame, Steve Burns, Francesmary Modugno, David Notkin, Jon Damon Reese: Model Checking Large Software Specifications. IEEE Trans. Software Eng. 24(7): 498-520 (1998)
- [c31]William Chan, Richard J. Anderson, Paul Beame, David Notkin: Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. ISSTA 1998: 102-112
- [c30]Amir Michail, David Notkin: Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach. ASE 1998: 200-203
- [c29]David Garlan, Somesh Jha, David Notkin: Reasoning about Implicit Invocation. SIGSOFT FSE 1998: 209-221
- 1997
- [j23]Gail C. Murphy, David Notkin: Reengineering with Reflection Models: A Case Study. IEEE Computer 30(8): 29-36 (1997)
- [c28]William Chan, Richard J. Anderson, Paul Beame, David Notkin: Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints. CAV 1997: 316-327
- 1996
- [j22]Carl A. Gunter, John C. Mitchell, David Notkin: Strategic Directions in Software Engineering and Programming Languages. ACM Comput. Surv. 28(4): 727-737 (1996)
- [j21]Gail C. Murphy, David Notkin: On the use of static typing to support operations on frameworks. Object Oriented Systems 3: 197-213 (1996)
- [j20]Gail C. Murphy, David Notkin: Lightweight Lexical Source Model Extraction. ACM Trans. Softw. Eng. Methodol. 5(3): 262-292 (1996)
- [j19]David Notkin, D. Ross Jeffery: Guest Editorial: Introduction to the Special Section Best Papers of the 17th International Conference on Software Engineering (ICSE-17). IEEE Trans. Software Eng. 22(6): 361-362 (1996)
- [j18]Kevin J. Sullivan, Ira Kalet, David Notkin: Evaluating The Mediator Method: Prism as a Case Study. IEEE Trans. Software Eng. 22(8): 563-579 (1996)
- [c27]Gail C. Murphy, David Notkin, Erica S.-C. Lan: An Empirical Study of Static Call Graph Extractors. ICSE 1996: 90-99
- [c26]Kingsum Chow, David Notkin: Semi-automatic update of applications in response to library changes. ICSM 1996: 359-
- [c25]Michael VanHilst, David Notkin: Using C++ Templates to Implement Role-Based Designs. ISOTAS 1996: 22-37
- [c24]Michael VanHilst, David Notkin: Using Role Components to Implement Collaboration-Based Designs. OOPSLA 1996: 359-369
- [c23]
- [c22]Richard J. Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin, Jon Damon Reese: Model Checking Large Software Specifications. SIGSOFT FSE 1996: 156-166
- 1995
- [j17]William G. Griswold, David Notkin: Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool. IEEE Trans. Software Eng. 21(4): 275-287 (1995)
- [j16]William G. Griswold, David Notkin: Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool. IEEE Trans. Software Eng. 21(6): 576 (1995)
- [c21]Gail C. Murphy, David Notkin, Kevin J. Sullivan: Software Reflexion Models: Bridging the Gap Between Source and High-Level Models. SIGSOFT FSE 1995: 18-28
- [c20]
- [e2]Dewayne E. Perry, Ross Jeffrey, David Notkin (Eds.): 17th International Conference on Software Engineering, Seattle, Washington, USA, April 23-30, 1995, Proceedings. ACM 1995, ISBN 0-89791-708-1
- 1994
- [c19]David Garlan, J. Frits Habermann, David Notkin: Nico Habermann's Research: A Brief Retrospective. ICSE 1994: 149-153
- 1993
- [j15]David Notkin, Richard D. Schlichting: Computer Science in Japanese Universities. IEEE Computer 26(5): 62-70 (1993)
- [j14]Franz G. Amador, Deborah Berman, Alan Borning, Tony DeRose, Adam Finkelstein, Dorothy Neville, David Notkin, David Salesin, Michael Salisbury, Joe Sherman, Ying Sun, Daniel S. Weld, Georges Winkenbach: Electronic "How Things Work" Articles: Two Early Prototypes. IEEE Trans. Knowl. Data Eng. 5(4): 611-618 (1993)
- [j13]William G. Griswold, David Notkin: Automated Assistance for Program Restructuring. ACM Trans. Softw. Eng. Methodol. 2(3): 228-269 (1993)
- [j12]Gail A. Alverson, David Notkin: Program Structuring for Effective Parallel Portability. IEEE Trans. Parallel Distrib. Syst. 4(9): 1041-1059 (1993)
- [c18]Gail C. Murphy, David Notkin: Difficulties with Object-Oriented Frameworks. ICSE Workshop on Studies of Software Design 1993: 77-87
- [c17]David Notkin, David Garlan, William G. Griswold, Kevin J. Sullivan: Adding Implicit Invocation to Languages: Three Approaches. ISOTAS 1993: 489-510
- [e1]David Notkin (Ed.): SIGSOFT '93, Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, Los Angeles, California, USA, December 7-10, 1993. ACM 1993
- 1992
- [j11]David Garlan, Gail E. Kaiser, David Notkin: Using Tool Abstraction to Compose Systems. IEEE Computer 25(6): 30-38 (1992)
- [j10]
- [j9]Kevin J. Sullivan, David Notkin: Reconciling Environment Integration and Software Evolution. ACM Trans. Softw. Eng. Methodol. 1(3): 229-268 (1992)
- 1991
- [c16]David Garlan, David Notkin: Formalizing Design Spaces: Implicit Invocation Mechanisms. VDM Europe (1) 1991: 31-44
- 1990
- [j8]David Notkin: Proxies: A Software Structure for Accommodating Heterogeneity. Softw., Pract. Exper. 20(4): 357-364 (1990)
- [c15]C. Brian Pinkerton, Edward D. Lazowska, David Notkin, John Zahorjan: A Heterogeneous Distributed File System. ICDCS 1990: 424-431
- [c14]William G. Griswold, Gail A. Harrison, David Notkin, Lawrence Snyder: How Port Ensembles Aid the Efficient Retargeting of Reduction Algorithms. ICPP (2) 1990: 286-287
- [c13]Gail A. Alverson, William G. Griswold, David Notkin, Lawrence Snyder: A flexible communication abstraction for nonshared memory parallel computing. SC 1990: 584-593
- [c12]Kevin J. Sullivan, David Notkin: Reconciling environment integration and component independence. SDE 1990: 22-33
1980 – 1989
- 1989
- [j7]Mark S. Squillante, David Notkin: Integrating Heterogeneous Local Mail Systems. IEEE Software 6(6): 59-67 (1989)
- [c11]S. K. Chung, Edward D. Lazowska, David Notkin, John Zahorjan: Performance Implications of Design Alternatives for Remote Procedure Call Stubs. ICDCS 1989: 36-43
- 1988
- [j6]David Notkin, Andrew P. Black, Edward D. Lazowska, Henry M. Levy, Jan Sanislo, John Zahorjan: Interconnecting Heterogeneous Computer Systems. Commun. ACM 31(3): 258-273 (1988)
- [j5]Vincenzo Ambriola, David Notkin: Reasoning About Interactive Systems. IEEE Trans. Software Eng. 14(2): 272-276 (1988)
- [c10]Mary L. Bailey, David Socha, David Notkin: Debugging Parallel Programs using Graphical Views. ICPP (2) 1988: 46-49
- [c9]
- [c8]David Notkin: Applying software process models to the full lifecycle is premature. ISPW 1988: 116-117
- [c7]David Socha, Mary L. Bailey, David Notkin: Voyeur: Graphical Views of Parallel Programs. Workshop on Parallel and Distributed Debugging 1988: 206-216
- [c6]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: Experiences with Poker. PPOPP/PPEALS 1988: 10-20
- [c5]David Notkin: The Relationship Between Software Development Environments and the Software Process (Panel Session Introduction). Software Development Environments (SDE) 1988: 107-109
- 1987
- [j4]David Notkin, Norman C. Hutchinson, Jan Sanislo, Michael F. Schwartz: Heterogeneous Computing Environments: Report on the ACM SIGOPS Workshop on Accommodating Heterogeneity. Commun. ACM 30(2): 132-140 (1987)
- [c4]John Zahorjan, Edward D. Lazowska, Henry M. Levy, David Notkin, Jan Sanislo: Accommodating Heterogeneity. Experiences with Distributed Systems 1987: 89-103
- [c3]David Notkin, William G. Griswold: Enhancement through extension: the extension interpreter. PLDI 1987: 45-55
- [c2]Michael F. Schwartz, John Zahorjan, David Notkin: A Name Service for Evolving, Heterogeneous Systems. SOSP 1987: 52-62
- 1986
- [j3]David Notkin, Norman C. Hutchinson, Jan Sanislo, Michael F. Schwartz: Report on the ACM SIGOPS Workshop on Accommodating Heterogeneity. Operating Systems Review 20(2): 9-24 (1986)
- [j2]A. Nico Habermann, David Notkin: Gandalf: Software Development Environments. IEEE Trans. Software Eng. 12(12): 1117-1127 (1986)
- [c1]David Notkin, Lawrence Snyder: Programming Solutions to the Algorithm Contraction Problem. ICPP 1986: 258-261
- 1985
- [j1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:06 CEST by the dblp team