default search action
David Notkin
Person information
- affiliation: University of Washington, Seattle, Washington, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2015
- [j72]Kivanç Muslu, Yuriy Brun
, Michael D. Ernst, David Notkin:
Reducing Feedback Delay of Software Development Tools via Continuous Analysis. IEEE Trans. Software Eng. 41(8): 745-763 (2015) - 2014
- [c81]Sai Zhang, Darioush Jalali, Jochen Wuttke, Kivanç Muslu, Wing Lam, Michael D. Ernst, David Notkin:
Empirically revisiting the test independence assumption. ISSTA 2014: 385-396 - 2013
- [j71]Judith Bishop, David Notkin:
Developing tools as plug-ins: TOPI 2011 special issue editorial. Softw. Pract. Exp. 43(4): 389-390 (2013) - [j70]David Notkin:
Editorial - looking back. ACM Trans. Softw. Eng. Methodol. 22(1): 1:1-1:2 (2013) - [j69]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) - [j68]Yuriy Brun
Early Detection of Collaboration Conflicts and Risks. IEEE Trans. Software Eng. 39(10): 1358-1375 (2013) - [c80]Kivanç Muslu, Yuriy Brun
Making offline analyses continuous. ESEC/SIGSOFT FSE 2013: 323-333 - [e5]David Notkin, Betty H. C. Cheng, Klaus Pohl:
35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-3076-3 [contents] - 2012
- [j67]David Notkin:
TOSEM news. ACM SIGSOFT Softw. Eng. Notes 37(4): 7-8 (2012) - [j66]David Notkin:
Editorial. ACM Trans. Softw. Eng. Methodol. 21(2): 7:1-7:2 (2012) - [c79]Reid Holmes, David Notkin, Mark S. Hancock
Industrially validating longitudinal static and dynamic analyses. USER@ICSE 2012: 43-44 - [c78]Kivanç Muslu, Yuriy Brun
Improving IDE recommendations by considering global implications of existing recommendations. ICSE 2012: 1349-1352 - [c77]Kivanç Muslu, Yuriy Brun
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]Reid Holmes, David Notkin:
Identifying opaque behavioural changes. ICSE 2011: 995-997 - [c74]Judith Bishop, David Notkin, Karin K. Breitman
First workshop on developing tools as plug-ins: (TOPI 2011). ICSE 2011: 1230-1231 - [c73]Yuriy Brun
Proactive detection of collaboration conflicts. SIGSOFT FSE 2011: 168-178 - [c72]Yuriy Brun
Crystal: precise and unobtrusive conflict warnings. SIGSOFT FSE 2011: 444-447 - [e4]Judith Bishop, Karin K. Breitman, David Notkin:
Proceedings of the 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Waikiki, Honolulu, HI, USA, May 28, 2011. ACM 2011, ISBN 978-1-4503-0599-0 [contents] - 2010
- [j65]David Notkin:
ACM TOSEM: FAQs and Figures. ACM SIGSOFT Softw. Eng. Notes 35(3): 5-6 (2010) - [j64]David Notkin:
Editorial. ACM Trans. Softw. Eng. Methodol. 19(3): 7:1-7:2 (2010) - [c71]Marius Nita, David Notkin:
Using twinning to adapt programs to alternative APIs. ICSE (1) 2010: 205-214 - [c70]Reid Holmes, David Notkin:
Enhancing static source code search with dynamic data. SUITE@ICSE 2010: 13-16 - [c69]David Notkin:
Exposing unforeseen consequences of software change. ISEC 2010: 1-2 - [c68]Yuriy Brun
Speculative analysis: exploring future development states of software. FoSER 2010: 59-64
2000 – 2009
- 2009
- [j63]David Notkin:
Software, Software Engineering and Software Engineering Research: Some Unconventional Thoughts. J. Comput. Sci. Technol. 24(2): 189-197 (2009) - [j62]David Notkin:
FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 34(4): 6 (2009) - [j61]Michael W. Godfrey, Ahmed E. Hassan, James D. Herbsleb
Future of Mining Software Archives: A Roundtable. IEEE Softw. 26(1): 67-70 (2009) - [j60]David Notkin:
Editorial. ACM Trans. Softw. Eng. Methodol. 18(3): 8:1-8:2 (2009) - [c67]Marius Nita, David Notkin:
White-box approaches for improved testing and analysis of configurable software systems. ICSE Companion 2009: 307-310 - [c66]Miryung Kim, David Notkin:
Discovering and representing systematic code changes. ICSE 2009: 309-319 - 2008
- [j59]David Notkin:
ACM TOSEM FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 33(2): 5-6 (2008) - [j58]David Notkin:
ACM TOSEM: FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 33(4): 6 (2008) - [j57]David Notkin:
Editorial. ACM Trans. Softw. Eng. Methodol. 17(2): 5:1 (2008) - [j56]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): 6:1-6:2 (2008) - [j55]David Notkin:
Editorial. ACM Trans. Softw. Eng. Methodol. 17(3): 12:1-12:2 (2008) - 2007
- [j54]David Notkin:
Dessert Island. Autom. Softw. Eng. 14(1): 123-125 (2007) - [j53]David Notkin:
FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 32(1): 3 (2007) - [j52]David Notkin:
FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 32(2): 6-7 (2007) - [j51]David Notkin:
ACM TOSEM: FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 32(3): 6 (2007) - [j50]David Notkin:
ACM TOSEM: FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 32(4): 8 (2007) - [j49]David Notkin:
ACM TOSEM: FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 32(5): 5-6 (2007) - [j48]David Notkin:
Editorial. ACM Trans. Softw. Eng. Methodol. 16(1): 1 (2007) - [j47]David Notkin:
Editorial. ACM Trans. Softw. Eng. Methodol. 16(2): 6 (2007) - [j46]David Notkin:
Editorial. ACM Trans. Softw. Eng. Methodol. 17(1): 1:1-1:2 (2007) - [c65]Miryung Kim, David Notkin, Dan Grossman:
Automatic Inference of Structural Changes for Matching across Program Versions. ICSE 2007: 333-343 - 2006
- [j45]Tao Xie, David Notkin:
Tool-assisted unit-test generation and selection based on operational abstractions. Autom. Softw. Eng. 13(3): 345-371 (2006) - [c64]David Notkin:
Unconventional Views on Conventional Wisdom about Software Engineering Research. ICSM 2006: 201 - [c63]Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin:
Detecting Redundant Unit Tests for AspectJ Programs. ISSRE 2006: 179-190 - [c62]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:
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 [contents] - 2005
- [j44]Miryung Kim, David Notkin:
Using a clone genealogy extractor for understanding and supporting evolution of code clones. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-5 (2005) - [j43]Tao Xie, David Notkin:
Checking Inside the Black Box: Regression Testing by Comparing Value Spectra. IEEE Trans. Software Eng. 31(10): 869-883 (2005) - [c61]Tao Xie, David Notkin:
Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs. ISSRE 2005: 277-287 - [c60]Miryung Kim, David Notkin:
Using a clone genealogy extractor for understanding and supporting evolution of code clones. MSR 2005 - [c59]Miryung Kim, Vibha Sazawal, David Notkin, Gail C. Murphy:
An empirical study of code clone genealogies. ESEC/SIGSOFT FSE 2005: 187-196 - [c58]Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin:
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. TACAS 2005: 365-381 - [i2]Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller:
05261 Summary - Multi-Version Program Analysis. Multi-Version Program Analysis 2005 - [i1]Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller:
05261 Abstracts Collection - Multi-Version Program Analysis. Multi-Version Program Analysis 2005 - 2004
- [c57]Tao Xie, David Notkin:
Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions. ICFEM 2004: 290-305 - [c56]Tao Xie, David Notkin:
Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences. ICSM 2004: 28-37 - [c55]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 - [c54]Vibha Sazawal, Miryung Kim, David Notkin:
A Study of Evolution in the Presence of Source-Derived Partial Design Representations. IWPSE 2004: 21-30 - [c53]Tao Xie, Darko Marinov, David Notkin:
Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. ASE 2004: 196-205 - [c52]Vibha Sazawal, David Notkin:
Design snippets: partial design representations extracted from source code. OOPSLA Companion 2004: 13-14 - 2003
- [c51]Jonathan Aldrich
Language Support for Connector Abstractions. ECOOP 2003: 74-102 - [c50]Tao Xie, David Notkin:
Mutually Enhancing Test Generation and Specification Inference. FATES 2003: 60-69 - [c49]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 - [c48]Tao Xie, David Notkin:
Tool-Assisted Unit Test Selection Based on Operational Violations. ASE 2003: 40-48 - 2002
- [j42]Michael D. Ernst, Greg J. Badros, David Notkin:
An Empirical Analysis of C Preprocessor Use. IEEE Trans. Software Eng. 28(12): 1146-1170 (2002) - [c47]Jonathan Aldrich
Architectural Reasoning in ArchJava. ECOOP 2002: 334-367 - [c46]Jonathan Aldrich, Craig Chambers, David Notkin:
ArchJava: connecting software architecture to implementation. ICSE 2002: 187-197 - [c45]David Notkin:
Longitudinal program analysis. PASTE 2002: 1 - [c44]Jonathan Aldrich
Architecture-centric programming for adaptive systems. WOSS 2002: 93-95 - 2001
- [j41]Michael D. Ernst, Jake Cockrell, William G. Griswold
Dynamically Discovering Likely Program Invariants to Support Program Evolution. IEEE Trans. Software Eng. 27(2): 99-123 (2001) - [j40]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) - [j39]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) - [c43]David Notkin, Marc Donner, Michael D. Ernst, Michael M. Gorlick, E. James Whitehead Jr.:
Panel: Perspectives on Software Engineering. ICSE 2001: 699-702 - [c42]Kevin J. Sullivan, Mary Shaw, Barry W. Boehm, David Notkin, Warren Harrison:
Third International Workshop on Economics-Driven Software Engineering Research. ICSE 2001: 770 - [c41]Yoshio Kataoka, Michael D. Ernst, William G. Griswold
Automated Support for Program Refactoring Using Invariants. ICSM 2001: 736-743 - 2000
- [j38]Greg J. Badros, David Notkin:
A framework for preprocessor-aware C source code analyses. Softw. Pract. Exp. 30(8): 907-924 (2000) - [c40]David Notkin:
Dynamically Detecting Relevant Program Invariants. ICECCS 2000: 162- - [c39]Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin:
Quickly detecting relevant program invariants. ICSE 2000: 449-458
1990 – 1999
- 1999
- [c38]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 - [c37]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 - [c36]Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin:
Dynamically Discovering Likely Program Invariants to Support Program Evolution. ICSE 1999: 213-224 - [c35]Amir Michail, David Notkin:
Assessing Software Libraries by Browsing Similar Classes, Functions and Relationships. ICSE 1999: 463-472 - [c34]David Notkin, Gregory J. Kirsch, Yannis Skulikaris:
Panel: Intellectual Property Issues in Software. ICSE 1999: 594-595 - [c33]Kevin J. Sullivan, David Notkin, Alfonso Fuggetta, John M. Favaro
First Workshop on Economics-Driven Software Engineering Research. ICSE 1999: 699-700 - 1998
- [j37]David Notkin:
The Lifeblood of Our Field. Computer 31(10): 123 (1998) - [j36]Jürgen Dingel, David Garlan, Somesh Jha, David Notkin:
Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. Formal Aspects Comput. 10(3): 193-213 (1998) - [j35]Mary Lou Soffa, David Notkin:
SIGPLAN and SIGSOFT Joint Efforts. ACM SIGPLAN Notices 33(12): 1 (1998) - [j34]Gail C. Murphy, David Notkin, William G. Griswold
An Empirical Study of Static Call Graph Extractors. ACM Trans. Softw. Eng. Methodol. 7(2): 158-191 (1998) - [j33]Gail A. Alverson, William G. Griswold
Abstractions for Portable, Scalable Parallel Programming. IEEE Trans. Parallel Distributed Syst. 9(1): 71-86 (1998) - [j32]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) - [c32]William Chan, Richard J. Anderson, Paul Beame
Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. ISSTA 1998: 102-112 - [c31]Amir Michail, David Notkin:
Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach. ASE 1998: 200-203 - [c30]David Garlan, Somesh Jha, David Notkin:
Reasoning about Implicit Invocation. SIGSOFT FSE 1998: 209-221 - 1997
- [j31]Gail C. Murphy, David Notkin:
Reengineering with Reflection Models: A Case Study. Computer 30(8): 29-36 (1997) - [j30]David Notkin:
FSE 96 special session: novel notions, wild ideas, and fun flames. ACM SIGSOFT Softw. Eng. Notes 22(1): 23-24 (1997) - [c29]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
- [j29]Carl A. Gunter, John C. Mitchell, David Notkin:
Strategic Directions in Software Engineering and Programming Languages. ACM Comput. Surv. 28(4): 727-737 (1996) - [j28]Gail C. Murphy, David Notkin:
On the use of static typing to support operations on frameworks. Object Oriented Syst. 3: 197-213 (1996) - [j27]David Notkin:
Letter from the executive committee. ACM SIGSOFT Softw. Eng. Notes 21(1): 1 (1996) - [j26]Gail C. Murphy, David Notkin:
Lightweight Lexical Source Model Extraction. ACM Trans. Softw. Eng. Methodol. 5(3): 262-292 (1996) - [j25]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) - [j24]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) - [c28]Gail C. Murphy, David Notkin, Erica S.-C. Lan:
An Empirical Study of Static Call Graph Extractors. ICSE 1996: 90-99 - [c27]Kingsum Chow, David Notkin:
Semi-automatic update of applications in response to library changes. ICSM 1996: 359- - [c26]Michael VanHilst, David Notkin:
Using C++ Templates to Implement Role-Based Designs. ISOTAS 1996: 22-37 - [c25]Michael VanHilst, David Notkin:
Using Role Components to Implement Collaboration-Based Designs. OOPSLA 1996: 359-369 - [c24]Michael VanHilst, David Notkin:
Decoupling Change from Design. SIGSOFT FSE 1996: 58-69 - [c23]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
- [j23]William G. Griswold
Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool. IEEE Trans. Software Eng. 21(4): 275-287 (1995) - [j22]William G. Griswold, David Notkin:
Correction to "Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool". IEEE Trans. Software Eng. 21(6): 576 (1995) - [c22]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 - [c21]Gail C. Murphy, David Notkin:
Lightweight Source Model Extraction. SIGSOFT FSE 1995: 116-127 - [e2]Dewayne E. Perry, Ross Jeffery, David Notkin:
17th International Conference on Software Engineering, Seattle, Washington, USA, April 23-30, 1995, Proceedings. ACM 1995, ISBN 0-89791-708-1 [contents] - 1994
- [c20]David Garlan, J. Frits Habermann, David Notkin:
Nico Habermann's Research: A Brief Retrospective. ICSE 1994: 149-153 - 1993
- [j21]David Notkin, Richard D. Schlichting:
Computer Science in Japanese Universities. Computer 26(5): 62-70 (1993) - [j20]David Notkin:
SIGSOFT '93: Foundations of Software Engineering. ACM SIGSOFT Softw. Eng. Notes 18(3): A:1-A:2 (1993) - [j19]David Notkin:
Nico Habermann remembered. ACM SIGSOFT Softw. Eng. Notes 18(4): 1 (1993) - [j18]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) - [j17]William G. Griswold
Automated Assistance for Program Restructuring. ACM Trans. Softw. Eng. Methodol. 2(3): 228-269 (1993) - [j16]Gail A. Alverson, David Notkin:
Program Structuring for Effective Parallel Portability. IEEE Trans. Parallel Distributed Syst. 4(9): 1041-1059 (1993) - [c19]Gail C. Murphy, David Notkin:
Difficulties with Object-Oriented Frameworks. ICSE Workshop on Studies of Software Design 1993: 77-87 - [c18]David Notkin, David Garlan, William G. Griswold
Adding Implicit Invocation to Languages: Three Approaches. ISOTAS 1993: 489-510 - [e1]David Notkin:
Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1993, Los Angeles, California, USA, December 7-10, 1993. ACM 1993, ISBN 978-0-89791-625-7 [contents] - 1992
- [j15]David Garlan, Gail E. Kaiser, David Notkin:
Using Tool Abstraction to Compose Systems. Computer 25(6): 30-38 (1992) - [j14]William G. Griswold, David Notkin:
Computer-aided vs. manual program restructuring. ACM SIGSOFT Softw. Eng. Notes 17(1): 33-41 (1992) - [j13]Bruce Oberg, David Notkin:
Error Reporting with Graduated Color. IEEE Softw. 9(6): 33-38 (1992) - [j12]Kevin J. Sullivan, David Notkin:
Reconciling Environment Integration and Software Evolution. ACM Trans. Softw. Eng. Methodol. 1(3): 229-268 (1992) - 1991
- [c17]David Garlan, David Notkin:
Formalizing Design Spaces: Implicit Invocation Mechanisms. VDM Europe (1) 1991: 31-44 - 1990
- [j11]David Notkin:
Proxies: A Software Structure for Accommodating Heterogeneity. Softw. Pract. Exp. 20(4): 357-364 (1990) - [c16]C. Brian Pinkerton, Edward D. Lazowska, David Notkin, John Zahorjan:
A Heterogeneous Distributed File System. ICDCS 1990: 424-431 - [c15]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 - [c14]Gail A. Alverson, William G. Griswold, David Notkin, Lawrence Snyder:
A flexible communication abstraction for nonshared memory parallel computing. SC 1990: 584-593 - [c13]Kevin J. Sullivan, David Notkin:
Reconciling environment integration and component independence. SDE 1990: 22-33
1980 – 1989
- 1989
- [j10]Mark S. Squillante, David Notkin:
Integrating Heterogeneous Local Mail Systems. IEEE Softw. 6(6): 59-67 (1989) - [c12]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
- [j9]David Notkin, Andrew P. Black
Interconnecting Heterogeneous Computer Systems. Commun. ACM 31(3): 258-273 (1988) - [j8]Vincenzo Ambriola, David Notkin:
Reasoning About Interactive Systems. IEEE Trans. Software Eng. 14(2): 272-276 (1988) - [c11]Mary L. Bailey, David Socha, David Notkin:
Debugging Parallel Programs using Graphical Views. ICPP (2) 1988: 46-49 - [c10]David Notkin, William G. Griswold:
Extension and Software Development. ICSE 1988: 274-285 - [c9]David Notkin:
Applying software process models to the full lifecycle is premature. ISPW 1988: 116-117 - [c8]David Socha, Mary L. Bailey, David Notkin:
Voyeur: Graphical Views of Parallel Programs. Workshop on Parallel and Distributed Debugging 1988: 206-216 - [c7]David Notkin, Lawrence Snyder, David Socha, Mary L. Bailey, Bruce Forstall, Kevin Gates, Raymond Greenlaw, William G. Griswold
Experiences with Poker. PPOPP/PPEALS 1988: 10-20 - [c6]David Notkin:
The Relationship Between Software Development Environments and the Software Process (Panel Session Introduction). Software Development Environments (SDE) 1988: 107-109 - 1987
- [j7]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) - [j6]Peter B. Henderson, David Notkin:
Guest Editors' Introduction: Integrated Design and Programming Environments. Computer 20(11): 12-16 (1987) - [c5]John Zahorjan, Edward D. Lazowska
Accommodating Heterogeneity. Experiences with Distributed Systems 1987: 89-103 - [c4]David Notkin, William G. Griswold
Enhancement through extension: the extension interpreter. PLDI 1987: 45-55 - [c3]Michael F. Schwartz, John Zahorjan, David Notkin:
A Name Service for Evolving, Heterogeneous Systems. SOSP 1987: 52-62 - 1986
- [j5]David Notkin, Norman C. Hutchinson, Jan Sanislo, Michael F. Schwartz:
Report on the ACM SIGOPS Workshop on Accommodating Heterogeneity. ACM SIGOPS Oper. Syst. Rev. 20(2): 9-24 (1986) - [j4]A. Nico Habermann, David Notkin:
Gandalf: Software Development Environments. IEEE Trans. Software Eng. 12(12): 1117-1127 (1986) - [c2]David Notkin, Lawrence Snyder:
Programming Solutions to the Algorithm Contraction Problem. ICPP 1986: 258-261 - 1985
- [j3]David Notkin:
The GANDALF project. J. Syst. Softw. 5(2): 91-105 (1985) - 1980
- [j2]Mary Shaw, Anita Jones, Paul Knueven, John McDermott, Philip Miller, David Notkin:
Cheating Policy in a Computer Science Department. ACM SIGCSE Bull. 12(2): 72-76 (1980) - [c1]David Notkin:
An experience with parallelism in Ada. SIGPLAN 1980: 9-15
1970 – 1979
- 1976
- [j1]Andries van Dam, Jens M. Dill, Douglas F. Dixon, David Notkin:
Structured programming in assembly language. ACM SIGCSE Bull. 8(4): 53-67 (1976)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: