Search the dblp DataBase
David Notkin :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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. [Citation Graph (2, 8)][DBLP ] IEEE Trans. Knowl. Data Eng., 1993, v:5, n:4, pp:611-618 [Journal ] David Notkin , Norman C. Hutchinson , Jan Sanislo , Michael F. Schwartz Heterogeneous Computing Environments: Report on the ACM SIGOPS Workshop on Accommodating Heterogeneity. [Citation Graph (1, 0)][DBLP ] Commun. ACM, 1987, v:30, n:2, pp:132-140 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] CAV, 1997, pp:316-327 [Conf ] Thomas Ball , Stephan Diehl , David Notkin , Andreas Zeller 05261 Summary - Multi-Version Program Analysis. [Citation Graph (0, 0)][DBLP ] Multi-Version Program Analysis, 2005, pp:- [Conf ] Thomas Ball , Stephan Diehl , David Notkin , Andreas Zeller 05261 Abstracts Collection - Multi-Version Program Analysis. [Citation Graph (0, 0)][DBLP ] Multi-Version Program Analysis, 2005, pp:- [Conf ] John Zahorjan , Edward D. Lazowska , Henry M. Levy , David Notkin , Jan Sanislo Accommodating Heterogeneity. [Citation Graph (0, 0)][DBLP ] Experiences with Distributed Systems, 1987, pp:89-103 [Conf ] Jonathan Aldrich , Craig Chambers , David Notkin Architectural Reasoning in ArchJava. [Citation Graph (0, 0)][DBLP ] ECOOP, 2002, pp:334-367 [Conf ] Jonathan Aldrich , Vibha Sazawal , Craig Chambers , David Notkin Language Support for Connector Abstractions. [Citation Graph (0, 0)][DBLP ] ECOOP, 2003, pp:74-102 [Conf ] Richard J. Anderson , Paul Beame , William Chan , David Notkin Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 1999, pp:460-469 [Conf ] Tao Xie , David Notkin Mutually Enhancing Test Generation and Specification Inference. [Citation Graph (0, 0)][DBLP ] FATES, 2003, pp:60-69 [Conf ] David Garlan , David Notkin Formalizing Design Spaces: Implicit Invocation Mechanisms. [Citation Graph (0, 0)][DBLP ] VDM Europe (1), 1991, pp:31-44 [Conf ] S. K. Chung , Edward D. Lazowska , David Notkin , John Zahorjan Performance Implications of Design Alternatives for Remote Procedure Call Stubs. [Citation Graph (0, 0)][DBLP ] ICDCS, 1989, pp:36-43 [Conf ] C. Brian Pinkerton , Edward D. Lazowska , David Notkin , John Zahorjan A Heterogeneous Distributed File System. [Citation Graph (0, 0)][DBLP ] ICDCS, 1990, pp:424-431 [Conf ] David Notkin Dynamically Detecting Relevant Program Invariants. [Citation Graph (0, 0)][DBLP ] ICECCS, 2000, pp:162-0 [Conf ] Tao Xie , David Notkin Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions. [Citation Graph (0, 0)][DBLP ] ICFEM, 2004, pp:290-305 [Conf ] Mary L. Bailey , David Socha , David Notkin Debugging Parallel Programs using Graphical Views. [Citation Graph (0, 0)][DBLP ] ICPP (2), 1988, pp:46-49 [Conf ] William G. Griswold , Gail A. Harrison , David Notkin , Lawrence Snyder How Port Ensembles Aid the Efficient Retargeting of Reduction Algorithms. [Citation Graph (0, 0)][DBLP ] ICPP (2), 1990, pp:286-287 [Conf ] David Notkin , Lawrence Snyder Programming Solutions to the Algorithm Contraction Problem. [Citation Graph (0, 0)][DBLP ] ICPP, 1986, pp:258-261 [Conf ] Jonathan Aldrich , Craig Chambers , David Notkin ArchJava: connecting software architecture to implementation. [Citation Graph (0, 0)][DBLP ] ICSE, 2002, pp:187-197 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ICSE, 1999, pp:142-151 [Conf ] Michael D. Ernst , Adam Czeisler , William G. Griswold , David Notkin Quickly detecting relevant program invariants. [Citation Graph (0, 0)][DBLP ] ICSE, 2000, pp:449-458 [Conf ] Michael D. Ernst , Jake Cockrell , William G. Griswold , David Notkin Dynamically Discovering Likely Program Invariants to Support Program Evolution. [Citation Graph (0, 0)][DBLP ] ICSE, 1999, pp:213-224 [Conf ] David Garlan , J. Frits Habermann , David Notkin Nico Habermann's Research: A Brief Retrospective. [Citation Graph (0, 0)][DBLP ] ICSE, 1994, pp:149-153 [Conf ] Amir Michail , David Notkin Assessing Software Libraries by Browsing Similar Classes, Functions and Relationships. [Citation Graph (0, 0)][DBLP ] ICSE, 1999, pp:463-472 [Conf ] Gail C. Murphy , David Notkin Difficulties with Object-Oriented Frameworks. [Citation Graph (0, 0)][DBLP ] ICSE Workshop on Studies of Software Design, 1993, pp:77-87 [Conf ] Gail C. Murphy , David Notkin , Erica S.-C. Lan An Empirical Study of Static Call Graph Extractors. [Citation Graph (0, 0)][DBLP ] ICSE, 1996, pp:90-99 [Conf ] David Notkin , Marc Donner , Michael D. Ernst , Michael M. Gorlick , E. James Whitehead Jr. Panel: Perspectives on Software Engineering. [Citation Graph (0, 0)][DBLP ] ICSE, 2001, pp:699-702 [Conf ] David Notkin , William G. Griswold Extension and Software Development. [Citation Graph (0, 0)][DBLP ] ICSE, 1988, pp:274-285 [Conf ] David Notkin , Gregory J. Kirsch , Yannis Skulikaris Panel: Intellectual Property Issues in Software. [Citation Graph (0, 0)][DBLP ] ICSE, 1999, pp:594-595 [Conf ] Kevin J. Sullivan , David Notkin , Alfonso Fuggetta , John M. Favaro First Workshop on Economics-Driven Software Engineering Research. [Citation Graph (0, 0)][DBLP ] ICSE, 1999, pp:699-700 [Conf ] Kevin J. Sullivan , Mary M. Shaw , Barry W. Boehm , David Notkin , Warren Harrison Third International Workshop on Economics-Driven Software Engineering Research. [Citation Graph (0, 0)][DBLP ] ICSE, 2001, pp:770-770 [Conf ] Robert J. Walker , Lionel C. Briand , David Notkin , Carolyn B. Seaman , Walter F. Tichy Panel: Empirical Validation-What, Why, When, and How. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:721-722 [Conf ] Miryung Kim , David Notkin , Dan Grossman Automatic Inference of Structural Changes for Matching across Program Versions. [Citation Graph (0, 0)][DBLP ] ICSE, 2007, pp:333-343 [Conf ] Kingsum Chow , David Notkin Semi-automatic update of applications in response to library changes. [Citation Graph (0, 0)][DBLP ] ICSM, 1996, pp:359-0 [Conf ] Yoshio Kataoka , Michael D. Ernst , William G. Griswold , David Notkin Automated Support for Program Refactoring Using Invariants. [Citation Graph (0, 0)][DBLP ] ICSM, 2001, pp:736-743 [Conf ] Tao Xie , David Notkin Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences. [Citation Graph (0, 0)][DBLP ] ICSM, 2004, pp:28-37 [Conf ] David Notkin Unconventional Views on Conventional Wisdom about Software Engineering Research. [Citation Graph (0, 0)][DBLP ] ICSM, 2006, pp:201- [Conf ] Miryung Kim , Lawrence D. Bergman , Tessa A. Lau , David Notkin An Ethnographic Study of Copy and Paste Programming Practices in OOPL. [Citation Graph (0, 0)][DBLP ] ISESE, 2004, pp:83-92 [Conf ] David Notkin , David Garlan , William G. Griswold , Kevin J. Sullivan Adding Implicit Invocation to Languages: Three Approaches. [Citation Graph (0, 0)][DBLP ] ISOTAS, 1993, pp:489-510 [Conf ] Michael VanHilst , David Notkin Using C++ Templates to Implement Role-Based Designs. [Citation Graph (0, 0)][DBLP ] ISOTAS, 1996, pp:22-37 [Conf ] David Notkin Applying software process models to the full lifecycle is premature. [Citation Graph (0, 0)][DBLP ] ISPW, 1988, pp:116-117 [Conf ] Tao Xie , David Notkin Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs. [Citation Graph (0, 0)][DBLP ] ISSRE, 2005, pp:277-287 [Conf ] Tao Xie , Jianjun Zhao , Darko Marinov , David Notkin Detecting Redundant Unit Tests for AspectJ Programs. [Citation Graph (0, 0)][DBLP ] ISSRE, 2006, pp:179-190 [Conf ] William Chan , Richard J. Anderson , Paul Beame , David Notkin Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. [Citation Graph (0, 0)][DBLP ] ISSTA, 1998, pp:102-112 [Conf ] Vibha Sazawal , Miryung Kim , David Notkin A Study of Evolution in the Presence of Source-Derived Partial Design Representations. [Citation Graph (0, 0)][DBLP ] IWPSE, 2004, pp:21-30 [Conf ] Amir Michail , David Notkin Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach. [Citation Graph (0, 0)][DBLP ] ASE, 1998, pp:200-203 [Conf ] Tao Xie , Darko Marinov , David Notkin Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. [Citation Graph (0, 0)][DBLP ] ASE, 2004, pp:196-205 [Conf ] Tao Xie , David Notkin Tool-Assisted Unit Test Selection Based on Operational Violations. [Citation Graph (0, 0)][DBLP ] ASE, 2003, pp:40-48 [Conf ] Miryung Kim , David Notkin Using a clone genealogy extractor for understanding and supporting evolution of code clones. [Citation Graph (0, 0)][DBLP ] MSR, 2005, pp:- [Conf ] Miryung Kim , David Notkin Program element matching for multi-version program analyses. [Citation Graph (0, 0)][DBLP ] MSR, 2006, pp:58-64 [Conf ] Vibha Sazawal , David Notkin Design snippets: partial design representations extracted from source code. [Citation Graph (0, 0)][DBLP ] OOPSLA Companion, 2004, pp:13-14 [Conf ] Michael VanHilst , David Notkin Using Role Components to Implement Collaboration-Based Designs. [Citation Graph (0, 0)][DBLP ] OOPSLA, 1996, pp:359-369 [Conf ] David Notkin Longitudinal program analysis. [Citation Graph (0, 0)][DBLP ] PASTE, 2002, pp:1- [Conf ] David Socha , Mary L. Bailey , David Notkin Voyeur: Graphical Views of Parallel Programs. [Citation Graph (0, 0)][DBLP ] Workshop on Parallel and Distributed Debugging, 1988, pp:206-216 [Conf ] David Notkin , William G. Griswold Enhancement through extension: the extension interpreter. [Citation Graph (0, 0)][DBLP ] PLDI, 1987, pp:45-55 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] PPOPP/PPEALS, 1988, pp:10-20 [Conf ] Gail A. Alverson , William G. Griswold , David Notkin , Lawrence Snyder A flexible communication abstraction for nonshared memory parallel computing. [Citation Graph (0, 0)][DBLP ] SC, 1990, pp:584-593 [Conf ] David Notkin The Relationship Between Software Development Environments and the Software Process (Panel Session Introduction). [Citation Graph (0, 0)][DBLP ] Software Development Environments (SDE), 1988, pp:107-109 [Conf ] Richard J. Anderson , Paul Beame , Steve Burns , William Chan , Francesmary Modugno , David Notkin , Jon Damon Reese Model Checking Large Software Specifications. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1996, pp:156-166 [Conf ] David Garlan , Somesh Jha , David Notkin Reasoning about Implicit Invocation. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1998, pp:209-221 [Conf ] Miryung Kim , Vibha Sazawal , David Notkin , Gail C. Murphy An empirical study of code clone genealogies. [Citation Graph (0, 0)][DBLP ] ESEC/SIGSOFT FSE, 2005, pp:187-196 [Conf ] Gail C. Murphy , David Notkin Lightweight Source Model Extraction. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1995, pp:116-127 [Conf ] Gail C. Murphy , David Notkin , Kevin J. Sullivan Software Reflexion Models: Bridging the Gap Between Source and High-Level Models. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1995, pp:18-28 [Conf ] Michael VanHilst , David Notkin Decoupling Change from Design. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1996, pp:58-69 [Conf ] Michael F. Schwartz , John Zahorjan , David Notkin A Name Service for Evolving, Heterogeneous Systems. [Citation Graph (0, 0)][DBLP ] SOSP, 1987, pp:52-62 [Conf ] Tao Xie , Darko Marinov , Wolfram Schulte , David Notkin Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. [Citation Graph (0, 0)][DBLP ] TACAS, 2005, pp:365-381 [Conf ] Jonathan Aldrich , Vibha Sazawal , Craig Chambers , David Notkin Architecture-centric programming for adaptive systems. [Citation Graph (0, 0)][DBLP ] WOSS, 2002, pp:93-95 [Conf ] Tao Xie , David Notkin Tool-assisted unit-test generation and selection based on operational abstractions. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 2006, v:13, n:3, pp:345-371 [Journal ] David Notkin , Andrew P. Black , Edward D. Lazowska , Henry M. Levy , Jan Sanislo , John Zahorjan Interconnecting Heterogeneous Computer Systems. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1988, v:31, n:3, pp:258-273 [Journal ] David Garlan , Gail E. Kaiser , David Notkin Using Tool Abstraction to Compose Systems. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 1992, v:25, n:6, pp:30-38 [Journal ] Gail C. Murphy , David Notkin Reengineering with Reflection Models: A Case Study. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 1997, v:30, n:8, pp:29-36 [Journal ] David Notkin The Lifeblood of Our Field. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 1998, v:31, n:10, pp:123- [Journal ] David Notkin , Richard D. Schlichting Computer Science in Japanese Universities. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 1993, v:26, n:5, pp:62-70 [Journal ] Carl A. Gunter , John C. Mitchell , David Notkin Strategic Directions in Software Engineering and Programming Languages. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1996, v:28, n:4, pp:727-737 [Journal ] Jürgen Dingel , David Garlan , Somesh Jha , David Notkin Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1998, v:10, n:3, pp:193-213 [Journal ] David Notkin The GANDALF project. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1985, v:5, n:2, pp:91-105 [Journal ] Gail C. Murphy , David Notkin On the use of static typing to support operations on frameworks. [Citation Graph (0, 0)][DBLP ] Object Oriented Systems, 1996, v:3, n:, pp:197-213 [Journal ] David Notkin , Norman C. Hutchinson , Jan Sanislo , Michael F. Schwartz Report on the ACM SIGOPS Workshop on Accommodating Heterogeneity. [Citation Graph (0, 0)][DBLP ] Operating Systems Review, 1986, v:20, n:2, pp:9-24 [Journal ] Mary Lou Soffa , David Notkin SIGPLAN and SIGSOFT Joint Efforts. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 1998, v:33, n:12, pp:1- [Journal ] Bruce Oberg , David Notkin Error Reporting with Graduated Color. [Citation Graph (0, 0)][DBLP ] IEEE Software, 1992, v:9, n:6, pp:33-38 [Journal ] Mark S. Squillante , David Notkin Integrating Heterogeneous Local Mail Systems. [Citation Graph (0, 0)][DBLP ] IEEE Software, 1989, v:6, n:6, pp:59-67 [Journal ] Greg J. Badros , David Notkin A framework for preprocessor-aware C source code analyses. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 2000, v:30, n:8, pp:907-924 [Journal ] David Notkin Proxies: A Software Structure for Accommodating Heterogeneity. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1990, v:20, n:4, pp:357-364 [Journal ] William G. Griswold , David Notkin Automated Assistance for Program Restructuring. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 1993, v:2, n:3, pp:228-269 [Journal ] Gail C. Murphy , David Notkin Lightweight Lexical Source Model Extraction. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 1996, v:5, n:3, pp:262-292 [Journal ] Gail C. Murphy , David Notkin , William G. Griswold , Erica S.-C. Lan An Empirical Study of Static Call Graph Extractors. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 1998, v:7, n:2, pp:158-191 [Journal ] Kevin J. Sullivan , David Notkin Reconciling Environment Integration and Software Evolution. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 1992, v:1, n:3, pp:229-268 [Journal ] Gail A. Alverson , William G. Griswold , Calvin Lin , David Notkin , Lawrence Snyder Abstractions for Portable, Scalable Parallel Programming. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 1998, v:9, n:1, pp:71-86 [Journal ] Gail A. Alverson , David Notkin Program Structuring for Effective Parallel Portability. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 1993, v:4, n:9, pp:1041-1059 [Journal ] Vincenzo Ambriola , David Notkin Reasoning About Interactive Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1988, v:14, n:2, pp:272-276 [Journal ] William Chan , Richard J. Anderson , Paul Beame , Steve Burns , Francesmary Modugno , David Notkin , Jon Damon Reese Model Checking Large Software Specifications. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1998, v:24, n:7, pp:498-520 [Journal ] William Chan , Richard J. Anderson , Paul Beame , David H. Jones , David Notkin , William E. Warner Optimizing Symbolic Model Checking for Statecharts. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2001, v:27, n:2, pp:170-190 [Journal ] Michael D. Ernst , Greg J. Badros , David Notkin An Empirical Analysis of C Preprocessor Use. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2002, v:28, n:12, pp:1146-1170 [Journal ] Michael D. Ernst , Jake Cockrell , William G. Griswold , David Notkin Dynamically Discovering Likely Program Invariants to Support Program Evolution. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2001, v:27, n:2, pp:99-123 [Journal ] William G. Griswold , David Notkin Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1995, v:21, n:4, pp:275-287 [Journal ] William G. Griswold , David Notkin Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1995, v:21, n:6, pp:576- [Journal ] A. Nico Habermann , David Notkin Gandalf: Software Development Environments. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1986, v:12, n:12, pp:1117-1127 [Journal ] Gail C. Murphy , David Notkin , Kevin J. Sullivan Software Reflexion Models: Bridging the Gap between Design and Implementation. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2001, v:27, n:4, pp:364-380 [Journal ] David Notkin , D. Ross Jeffery Guest Editorial: Introduction to the Special Section Best Papers of the 17th International Conference on Software Engineering (ICSE-17). [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1996, v:22, n:6, pp:361-362 [Journal ] Kevin J. Sullivan , Ira Kalet , David Notkin Evaluating The Mediator Method: Prism as a Case Study. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1996, v:22, n:8, pp:563-579 [Journal ] Tao Xie , David Notkin Checking Inside the Black Box: Regression Testing by Comparing Value Spectra. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2005, v:31, n:10, pp:869-883 [Journal ] David Notkin Dessert Island. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 2007, v:14, n:1, pp:123-125 [Journal ] David Notkin Editorial. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2007, v:16, n:1, pp:- [Journal ] David Notkin Editorial. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2007, v:16, n:2, pp:- [Journal ] Discovering and representing systematic code changes. [Citation Graph (, )][DBLP ] White-box approaches for improved testing and analysis of configurable software systems. [Citation Graph (, )][DBLP ] Using twinning to adapt programs to alternative APIs. [Citation Graph (, )][DBLP ] Search in 0.029secs, Finished in 0.037secs