David Notkin Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiryung Kim, David Notkin: Discovering and representing systematic code changes. ICSE 2009: 309-319
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarius Nita, David Notkin: White-box approaches for improved testing and analysis of configurable software systems. ICSE Companion 2009: 307-310
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: FAQs and figures. ACM SIGSOFT Software Engineering Notes 34(4): 6 (2009)
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: Editorial. ACM Trans. Softw. Eng. Methodol. 18(3): (2009)
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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)
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: Software, Software Engineering and Software Engineering Research: Some Unconventional Thoughts. J. Comput. Sci. Technol. 24(2): 189-197 (2009)
2008
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: ACM TOSEM FAQs and figures. ACM SIGSOFT Software Engineering Notes 33(2): 5-6 (2008)
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: ACM TOSEM: FAQs and figures. ACM SIGSOFT Software Engineering Notes 33(4): 6 (2008)
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: Editorial. ACM Trans. Softw. Eng. Methodol. 17(2): (2008)
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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)
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: Editorial. ACM Trans. Softw. Eng. Methodol. 17(3): (2008)
2007
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiryung Kim, David Notkin, Dan Grossman: Automatic Inference of Structural Changes for Matching across Program Versions. ICSE 2007: 333-343
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: FAQs and figures. ACM SIGSOFT Software Engineering Notes 32(1): 3 (2007)
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: FAQs and figures. ACM SIGSOFT Software Engineering Notes 32(2): 6-7 (2007)
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: ACM TOSEM: FAQs and figures. ACM SIGSOFT Software Engineering Notes 32(3): 6 (2007)
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: ACM TOSEM: FAQs and figures. ACM SIGSOFT Software Engineering Notes 32(4): 8 (2007)
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: ACM TOSEM: FAQs and figures. ACM SIGSOFT Software Engineering Notes 32(5): 5-6 (2007)
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: Editorial. ACM Trans. Softw. Eng. Methodol. 16(1): (2007)
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: Editorial. ACM Trans. Softw. Eng. Methodol. 16(2): (2007)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: Editorial. ACM Trans. Softw. Eng. Methodol. 17(1): (2007)
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: Dessert Island. Autom. Softw. Eng. 14(1): 123-125 (2007)
2006
102no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Stephan Diehl, David Notkin, Andreas Zeller: Multi-Version Program Analysis, 26. June - 1. July 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: Unconventional Views on Conventional Wisdom about Software Engineering Research. ICSM 2006: 201
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTao Xie, Jianjun Zhao, Darko Marinov, David Notkin: Detecting Redundant Unit Tests for AspectJ Programs. ISSRE 2006: 179-190
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiryung Kim, David Notkin: Program element matching for multi-version program analyses. MSR 2006: 58-64
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTao Xie, David Notkin: Tool-assisted unit-test generation and selection based on operational abstractions. Autom. Softw. Eng. 13(3): 345-371 (2006)
2005
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiryung Kim, Vibha Sazawal, David Notkin, Gail C. Murphy: An empirical study of code clone genealogies. ESEC/SIGSOFT FSE 2005: 187-196
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTao Xie, David Notkin: Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs. ISSRE 2005: 277-287
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiryung Kim, David Notkin: Using a clone genealogy extractor for understanding and supporting evolution of code clones. MSR 2005
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Stephan Diehl, David Notkin, Andreas Zeller: 05261 Abstracts Collection - Multi-Version Program Analysis. Multi-Version Program Analysis 2005
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Stephan Diehl, David Notkin, Andreas Zeller: 05261 Summary - Multi-Version Program Analysis. Multi-Version Program Analysis 2005
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTao Xie, Darko Marinov, Wolfram Schulte, David Notkin: Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. TACAS 2005: 365-381
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiryung 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)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTao Xie, David Notkin: Checking Inside the Black Box: Regression Testing by Comparing Value Spectra. IEEE Trans. Software Eng. 31(10): 869-883 (2005)
2004
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTao Xie, Darko Marinov, David Notkin: Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. ASE 2004: 196-205
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTao Xie, David Notkin: Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions. ICFEM 2004: 290-305
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTao Xie, David Notkin: Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences. ICSM 2004: 28-37
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiryung Kim, Lawrence D. Bergman, Tessa A. Lau, David Notkin: An Ethnographic Study of Copy and Paste Programming Practices in OOPL. ISESE 2004: 83-92
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVibha Sazawal, Miryung Kim, David Notkin: A Study of Evolution in the Presence of Source-Derived Partial Design Representations. IWPSE 2004: 21-30
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVibha Sazawal, David Notkin: Design snippets: partial design representations extracted from source code. OOPSLA Companion 2004: 13-14
2003
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTao Xie, David Notkin: Tool-Assisted Unit Test Selection Based on Operational Violations. ASE 2003: 40-48
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin: Language Support for Connector Abstractions. ECOOP 2003: 74-102
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTao Xie, David Notkin: Mutually Enhancing Test Generation and Specification Inference. FATES 2003: 60-69
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert 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
2002
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Aldrich, Craig Chambers, David Notkin: Architectural Reasoning in ArchJava. ECOOP 2002: 334-367
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Aldrich, Craig Chambers, David Notkin: ArchJava: connecting software architecture to implementation. ICSE 2002: 187-197
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: Longitudinal program analysis. PASTE 2002: 1
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin: Architecture-centric programming for adaptive systems. WOSS 2002: 93-95
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael D. Ernst, Greg J. Badros, David Notkin: An Empirical Analysis of C Preprocessor Use. IEEE Trans. Software Eng. 28(12): 1146-1170 (2002)
2001
74no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin, Marc Donner, Michael D. Ernst, Michael M. Gorlick, E. James Whitehead Jr.: Panel: Perspectives on Software Engineering. ICSE 2001: 699-702
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKevin J. Sullivan, Mary M. Shaw, Barry W. Boehm, David Notkin, Warren Harrison: Third International Workshop on Economics-Driven Software Engineering Research. ICSE 2001: 770-770
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoshio Kataoka, Michael D. Ernst, William G. Griswold, David Notkin: Automated Support for Program Refactoring Using Invariants. ICSM 2001: 736-743
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam 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)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGail 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)
2000
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: Dynamically Detecting Relevant Program Invariants. ICECCS 2000: 162-
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin: Quickly detecting relevant program invariants. ICSE 2000: 449-458
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGreg J. Badros, David Notkin: A framework for preprocessor-aware C source code analyses. Softw., Pract. Exper. 30(8): 907-924 (2000)
1999
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard 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
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam 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
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin: Dynamically Discovering Likely Program Invariants to Support Program Evolution. ICSE 1999: 213-224
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmir Michail, David Notkin: Assessing Software Libraries by Browsing Similar Classes, Functions and Relationships. ICSE 1999: 463-472
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin, Gregory J. Kirsch, Yannis Skulikaris: Panel: Intellectual Property Issues in Software. ICSE 1999: 594-595
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKevin J. Sullivan, David Notkin, Alfonso Fuggetta, John M. Favaro: First Workshop on Economics-Driven Software Engineering Research. ICSE 1999: 699-700
1998
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmir Michail, David Notkin: Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach. ASE 1998: 200-203
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam Chan, Richard J. Anderson, Paul Beame, David Notkin: Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. ISSTA 1998: 102-112
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Garlan, Somesh Jha, David Notkin: Reasoning about Implicit Invocation. SIGSOFT FSE 1998: 209-221
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGail 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)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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)
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: The Lifeblood of Our Field. IEEE Computer 31(10): 123 (1998)
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGail 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)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam 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)
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMary Lou Soffa, David Notkin: SIGPLAN and SIGSOFT Joint Efforts. SIGPLAN Notices 33(12): 1 (1998)
1997
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam 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
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGail C. Murphy, David Notkin: Reengineering with Reflection Models: A Case Study. IEEE Computer 30(8): 29-36 (1997)
1996
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGail C. Murphy, David Notkin, Erica S.-C. Lan: An Empirical Study of Static Call Graph Extractors. ICSE 1996: 90-99
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKingsum Chow, David Notkin: Semi-automatic update of applications in response to library changes. ICSM 1996: 359-
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael VanHilst, David Notkin: Using C++ Templates to Implement Role-Based Designs. ISOTAS 1996: 22-37
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael VanHilst, David Notkin: Using Role Components to Implement Collaboration-Based Designs. OOPSLA 1996: 359-369
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard 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
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael VanHilst, David Notkin: Decoupling Change from Design. SIGSOFT FSE 1996: 58-69
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter, John C. Mitchell, David Notkin: Strategic Directions in Software Engineering and Programming Languages. ACM Comput. Surv. 28(4): 727-737 (1996)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGail C. Murphy, David Notkin: Lightweight Lexical Source Model Extraction. ACM Trans. Softw. Eng. Methodol. 5(3): 262-292 (1996)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKevin J. Sullivan, Ira Kalet, David Notkin: Evaluating The Mediator Method: Prism as a Case Study. IEEE Trans. Software Eng. 22(8): 563-579 (1996)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGail C. Murphy, David Notkin: On the use of static typing to support operations on frameworks. Object Oriented Systems 3: 197-213 (1996)
1995
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGail C. Murphy, David Notkin: Lightweight Source Model Extraction. SIGSOFT FSE 1995: 116-127
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGail C. Murphy, David Notkin, Kevin J. Sullivan: Software Reflexion Models: Bridging the Gap Between Source and High-Level Models. SIGSOFT FSE 1995: 18-28
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam G. Griswold, David Notkin: Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool. IEEE Trans. Software Eng. 21(4): 275-287 (1995)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam G. Griswold, David Notkin: Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool. IEEE Trans. Software Eng. 21(6): 576 (1995)
1994
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Garlan, J. Frits Habermann, David Notkin: Nico Habermann's Research: A Brief Retrospective. ICSE 1994: 149-153
1993
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGail C. Murphy, David Notkin: Difficulties with Object-Oriented Frameworks. ICSE Workshop on Studies of Software Design 1993: 77-87
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin, David Garlan, William G. Griswold, Kevin J. Sullivan: Adding Implicit Invocation to Languages: Three Approaches. ISOTAS 1993: 489-510
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam G. Griswold, David Notkin: Automated Assistance for Program Restructuring. ACM Trans. Softw. Eng. Methodol. 2(3): 228-269 (1993)
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin, Richard D. Schlichting: Computer Science in Japanese Universities. IEEE Computer 26(5): 62-70 (1993)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz 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)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGail A. Alverson, David Notkin: Program Structuring for Effective Parallel Portability. IEEE Trans. Parallel Distrib. Syst. 4(9): 1041-1059 (1993)
1992
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKevin J. Sullivan, David Notkin: Reconciling Environment Integration and Software Evolution. ACM Trans. Softw. Eng. Methodol. 1(3): 229-268 (1992)
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Garlan, Gail E. Kaiser, David Notkin: Using Tool Abstraction to Compose Systems. IEEE Computer 25(6): 30-38 (1992)
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce Oberg, David Notkin: Error Reporting with Graduated Color. IEEE Software 9(6): 33-38 (1992)
1991
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Garlan, David Notkin: Formalizing Design Spaces: Implicit Invocation Mechanisms. VDM Europe (1) 1991: 31-44
1990
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. Brian Pinkerton, Edward D. Lazowska, David Notkin, John Zahorjan: A Heterogeneous Distributed File System. ICDCS 1990: 424-431
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam G. Griswold, Gail A. Harrison, David Notkin, Lawrence Snyder: How Port Ensembles Aid the Efficient Retargeting of Reduction Algorithms. ICPP (2) 1990: 286-287
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGail A. Alverson, William G. Griswold, David Notkin, Lawrence Snyder: A flexible communication abstraction for nonshared memory parallel computing. SC 1990: 584-593
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: Proxies: A Software Structure for Accommodating Heterogeneity. Softw., Pract. Exper. 20(4): 357-364 (1990)
1989
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. K. Chung, Edward D. Lazowska, David Notkin, John Zahorjan: Performance Implications of Design Alternatives for Remote Procedure Call Stubs. ICDCS 1989: 36-43
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark S. Squillante, David Notkin: Integrating Heterogeneous Local Mail Systems. IEEE Software 6(6): 59-67 (1989)
1988
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMary L. Bailey, David Socha, David Notkin: Debugging Parallel Programs using Graphical Views. ICPP (2) 1988: 46-49
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin, William G. Griswold: Extension and Software Development. ICSE 1988: 274-285
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: Applying software process models to the full lifecycle is premature. ISPW 1988: 116-117
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: The Relationship Between Software Development Environments and the Software Process (Panel Session Introduction). Software Development Environments (SDE) 1988: 107-109
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Socha, Mary L. Bailey, David Notkin: Voyeur: Graphical Views of Parallel Programs. Workshop on Parallel and Distributed Debugging 1988: 206-216
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincenzo Ambriola, David Notkin: Reasoning About Interactive Systems. IEEE Trans. Software Eng. 14(2): 272-276 (1988)
1987
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Zahorjan, Edward D. Lazowska, Henry M. Levy, David Notkin, Jan Sanislo: Accommodating Heterogeneity. Experiences with Distributed Systems 1987: 89-103
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin, William G. Griswold: Enhancement through extension: the extension interpreter. PLDI 1987: 45-55
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael F. Schwartz, John Zahorjan, David Notkin: A Name Service for Evolving, Heterogeneous Systems. SOSP 1987: 52-62
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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)
1986
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin, Lawrence Snyder: Programming Solutions to the Algorithm Contraction Problem. ICPP 1986: 258-261
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. Nico Habermann, David Notkin: Gandalf: Software Development Environments. IEEE Trans. Software Eng. 12(12): 1117-1127 (1986)
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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)
1985
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Notkin: The GANDALF project. Journal of Systems and Software 5(2): 91-105 (1985)

Coauthor Index

1Jonathan Aldrich [76] [78] [79] [82]
2Gail A. Alverson [20] [27] [53]
3Franz G. Amador [28]
4Vincenzo Ambriola [9]
5Richard J. Anderson [44] [50] [52] [58] [64] [65] [71]
6Greg J. Badros [66] [75]
7Mary L. Bailey [11] [13] [16]
8Thomas Ball [93] [94] [102]
9Paul Beame [44] [50] [52] [58] [64] [65] [71]
10Lawrence D. Bergman [86]
11Deborah Berman [28]
12Andrew P. Black [10]
13Barry W. Boehm [73]
14Alan Borning [28]
15Lionel C. Briand [80]
16Steve Burns [44] [52]
17Craig Chambers [76] [78] [79] [82]
18William Chan [44] [50] [52] [58] [64] [65] [71]
19Kingsum Chow [47]
20S. K. Chung [18]
21Jake Cockrell [63] [70]
22Adam Czeisler [67]
23Tony DeRose [28]
24Premkumar T. Devanbu [119]
25Stephan Diehl [93] [94] [102]
26Jürgen Dingel [55]
27Marc Donner [74]
28Michael D. Ernst [63] [67] [70] [72] [74] [75]
29John M. Favaro [60]
30Adam Finkelstein [28]
31Bruce Forstall [13]
32Alfonso Fuggetta [60]
33David Garlan [23] [25] [31] [33] [55] [57]
34Kevin Gates [13]
35Michael W. Godfrey [119]
36Michael M. Gorlick [74]
37Raymond Greenlaw [13]
38William G. Griswold [7] [13] [15] [20] [21] [30] [31] [34] [35] [53] [56] [63] [67] [70] [72]
39Dan Grossman [112]
40Carl A. Gunter [42]
41A. Nico Habermann [3]
42J. Frits Habermann [33]
43Gail A. Harrison [21]
44Warren Harrison [73]
45Ahmed E. Hassan [119]
46James D. Herbsleb [119]
47Thomas J. Holman [13]
48Norman C. Hutchinson [2] [5]
49D. Ross Jeffery [40]
50Somesh Jha [55] [57]
51David H. Jones [64] [71]
52Gail E. Kaiser [25]
53Ira J. Kalet (Ira Kalet) [39]
54Yoshio Kataoka [72]
55Miryung Kim [85] [86] [91] [95] [97] [99] [112] [123]
56Gregory J. Kirsch [61]
57Richard Korry [13]
58Erica S.-C. Lan [48] [56]
59Gemini Lasswell [13]
60Tessa A. Lau (Tessa Lau) [86]
61Edward D. Lazowska [8] [10] [18] [22]
62Henry M. Levy (Hank Levy) [8] [10]
63Calvin Lin [53]
64Darko Marinov [89] [92] [100]
65Amir Michail [59] [62]
66John C. Mitchell [42]
67Robert Mitchell [13]
68Audris Mockus [119]
69Francesmary Modugno [44] [52]
70Gail C. Murphy [32] [36] [37] [38] [41] [48] [49] [56] [69] [97] [119]
71Philip A. Nelson [13]
72Dorothy Neville [28]
73Marius Nita [122]
74Bruce Oberg [24]
75Dewayne E. Perry [119]
76Mauro Pezzè [114]
77C. Brian Pinkerton [22]
78Jon Damon Reese [44] [52]
79Martin P. Robillard [119]
80David Salesin [28]
81Michael Salisbury [28]
82Jan Sanislo [2] [5] [8] [10]
83Vibha Sazawal [76] [82] [84] [85] [97]
84Richard D. Schlichting [29]
85Wolfram Schulte [92]
86Michael F. Schwartz [2] [5] [6]
87Carolyn B. Seaman [80]
88Mary M. Shaw [73]
89Joe Sherman [28]
90Yannis Skulikaris [61]
91Lawrence Snyder (Larry Snyder) [4] [13] [20] [21] [53]
92David Socha [11] [13] [16]
93Mary Lou Soffa [51]
94Mark S. Squillante [17]
95Kevin J. Sullivan [26] [31] [36] [39] [60] [69] [73]
96Ying Sun [28]
97Walter F. Tichy [80]
98Michael VanHilst [43] [45] [46]
99Robert J. Walker [80]
100William E. Warner [64] [71]
101Daniel S. Weld [28]
102E. James Whitehead Jr. (Jim Whitehead) [74]
103Georges Winkenbach [28]
104Tao Xie [81] [83] [87] [88] [89] [90] [92] [96] [98] [100]
105John Zahorjan [6] [8] [10] [18] [22]
106Andreas Zeller [93] [94] [102]
107Jianjun Zhao [100]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)