David Notkin

According to our database1, David Notkin
  • authored at least 146 papers between 1985 and 2015.
  • has a "Dijkstra number"2 of three.

Awards

IEEE Fellow

IEEE Fellow 2008, "For contributions to software engineering and software evolution research".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2015
Reducing Feedback Delay of Software Development Tools via Continuous Analysis.
IEEE Trans. Software Eng., 2015

2014
Empirically revisiting the test independence assumption.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013
Identifying and Summarizing Systematic Code Changes via Rule Inference.
IEEE Trans. Software Eng., 2013

Early Detection of Collaboration Conflicts and Risks.
IEEE Trans. Software Eng., 2013

Editorial - looking back.
ACM Trans. Softw. Eng. Methodol., 2013

Developing tools as plug-ins: TOPI 2011 special issue editorial.
Softw., Pract. Exper., 2013

Making offline analyses continuous.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2012
Editorial.
ACM Trans. Softw. Eng. Methodol., 2012

TOSEM news.
ACM SIGSOFT Software Engineering Notes, 2012

Speculative analysis of integrated development environment recommendations.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Improving IDE recommendations by considering global implications of existing recommendations.
Proceedings of the 34th International Conference on Software Engineering, 2012

Industrially validating longitudinal static and dynamic analyses.
Proceedings of the First International Workshop on User Evaluation for Software Engineering Researchers, 2012

2011
Crystal: precise and unobtrusive conflict warnings.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Proactive detection of collaboration conflicts.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Identifying opaque behavioural changes.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Identifying program, test, and environmental changes that affect behaviour.
Proceedings of the 33rd International Conference on Software Engineering, 2011

First workshop on developing tools as plug-ins: (TOPI 2011).
Proceedings of the 33rd International Conference on Software Engineering, 2011

2010
Editorial.
ACM Trans. Softw. Eng. Methodol., 2010

ACM TOSEM: FAQs and Figures.
ACM SIGSOFT Software Engineering Notes, 2010

Speculative analysis: exploring future development states of software.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Exposing unforeseen consequences of software change.
Proceedings of the Proceeding of the 3rd Annual India Software Engineering Conference, 2010

Using twinning to adapt programs to alternative APIs.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009
Editorial.
ACM Trans. Softw. Eng. Methodol., 2009

Future of Mining Software Archives: A Roundtable.
IEEE Software, 2009

FAQs and figures.
ACM SIGSOFT Software Engineering Notes, 2009

Software, Software Engineering and Software Engineering Research: Some Unconventional Thoughts.
J. Comput. Sci. Technol., 2009

White-box approaches for improved testing and analysis of configurable software systems.
Proceedings of the 31st International Conference on Software Engineering, 2009

Discovering and representing systematic code changes.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
Introduction to the special section from the ACM international symposium on software testing and analysis (ISSTA 2006).
ACM Trans. Softw. Eng. Methodol., 2008

Editorial.
ACM Trans. Softw. Eng. Methodol., 2008

Editorial.
ACM Trans. Softw. Eng. Methodol., 2008

ACM TOSEM: FAQs and figures.
ACM SIGSOFT Software Engineering Notes, 2008

ACM TOSEM FAQs and figures.
ACM SIGSOFT Software Engineering Notes, 2008

2007
Editorial.
ACM Trans. Softw. Eng. Methodol., 2007

Editorial.
ACM Trans. Softw. Eng. Methodol., 2007

Editorial.
ACM Trans. Softw. Eng. Methodol., 2007

ACM TOSEM: FAQs and figures.
ACM SIGSOFT Software Engineering Notes, 2007

ACM TOSEM: FAQs and figures.
ACM SIGSOFT Software Engineering Notes, 2007

ACM TOSEM: FAQs and figures.
ACM SIGSOFT Software Engineering Notes, 2007

FAQs and figures.
ACM SIGSOFT Software Engineering Notes, 2007

FAQs and figures.
ACM SIGSOFT Software Engineering Notes, 2007

Dessert Island.
Autom. Softw. Eng., 2007

Automatic Inference of Structural Changes for Matching across Program Versions.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006
Tool-assisted unit-test generation and selection based on operational abstractions.
Autom. Softw. Eng., 2006

Program element matching for multi-version program analyses.
Proceedings of the 2006 International Workshop on Mining Software Repositories, 2006

Detecting Redundant Unit Tests for AspectJ Programs.
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Unconventional Views on Conventional Wisdom about Software Engineering Research.
Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 2006

2005
Checking Inside the Black Box: Regression Testing by Comparing Value Spectra.
IEEE Trans. Software Eng., 2005

Using a clone genealogy extractor for understanding and supporting evolution of code clones.
ACM SIGSOFT Software Engineering Notes, 2005

Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

An empirical study of code clone genealogies.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Using a clone genealogy extractor for understanding and supporting evolution of code clones.
Proceedings of the 2005 International Workshop on Mining Software Repositories, 2005

Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs.
Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

05261 Abstracts Collection - Multi-Version Program Analysis.
Proceedings of the Multi-Version Program Analysis, 26. June - 1. July 2005, 2005

05261 Summary - Multi-Version Program Analysis.
Proceedings of the Multi-Version Program Analysis, 26. June - 1. July 2005, 2005

2004
Design snippets: partial design representations extracted from source code.
Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

A Study of Evolution in the Presence of Source-Derived Partial Design Representations.
Proceedings of the 7th International Workshop on Principles of Software Evolution (IWPSE 2004), 2004

An Ethnographic Study of Copy and Paste Programming Practices in OOPL.
Proceedings of the 2004 International Symposium on Empirical Software Engineering (ISESE 2004), 2004

Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences.
Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), 2004

Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions.
Proceedings of the Formal Methods and Software Engineering, 2004

2003
Tool-Assisted Unit Test Selection Based on Operational Violations.
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

Panel: Empirical Validation-What, Why, When, and How.
Proceedings of the 25th International Conference on Software Engineering, 2003

Mutually Enhancing Test Generation and Specification Inference.
Proceedings of the Formal Approaches to Software Testing, 2003

Language Support for Connector Abstractions.
Proceedings of the ECOOP 2003, 2003

2002
An Empirical Analysis of C Preprocessor Use.
IEEE Trans. Software Eng., 2002

Architecture-centric programming for adaptive systems.
Proceedings of the First Workshop on Self-Healing Systems, 2002

Longitudinal program analysis.
Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2002

ArchJava: connecting software architecture to implementation.
Proceedings of the 24th International Conference on Software Engineering, 2002

Architectural Reasoning in ArchJava.
Proceedings of the ECOOP 2002, 2002

2001
Software Reflexion Models: Bridging the Gap between Design and Implementation.
IEEE Trans. Software Eng., 2001

Dynamically Discovering Likely Program Invariants to Support Program Evolution.
IEEE Trans. Software Eng., 2001

Optimizing Symbolic Model Checking for Statecharts.
IEEE Trans. Software Eng., 2001

Automated Support for Program Refactoring Using Invariants.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

Third International Workshop on Economics-Driven Software Engineering Research.
Proceedings of the 23rd International Conference on Software Engineering, 2001

Panel: Perspectives on Software Engineering.
Proceedings of the 23rd International Conference on Software Engineering, 2001

2000
A framework for preprocessor-aware C source code analyses.
Softw., Pract. Exper., 2000

Quickly detecting relevant program invariants.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Dynamically Detecting Relevant Program Invariants.
Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000

1999
First Workshop on Economics-Driven Software Engineering Research.
Proceedings of the 1999 International Conference on Software Engineering, 1999

Panel: Intellectual Property Issues in Software.
Proceedings of the 1999 International Conference on Software Engineering, 1999

Assessing Software Libraries by Browsing Similar Classes, Functions and Relationships.
Proceedings of the 1999 International Conference on Software Engineering, 1999

Dynamically Discovering Likely Program Invariants to Support Program Evolution.
Proceedings of the 1999 International Conference on Software Engineering, 1999

Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts.
Proceedings of the 1999 International Conference on Software Engineering, 1999

Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications.
Proceedings of the Perspectives of System Informatics, 1999

1998
Model Checking Large Software Specifications.
IEEE Trans. Software Eng., 1998

Abstractions for Portable, Scalable Parallel Programming.
IEEE Trans. Parallel Distrib. Syst., 1998

An Empirical Study of Static Call Graph Extractors.
ACM Trans. Softw. Eng. Methodol., 1998

SIGPLAN and SIGSOFT Joint Efforts.
SIGPLAN Notices, 1998

Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning.
Formal Asp. Comput., 1998

The Lifeblood of Our Field.
IEEE Computer, 1998

Reasoning about Implicit Invocation.
Proceedings of the SIGSOFT '98, 1998

Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach.
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

Improving Efficiency of Symbolic Model Checking for State-Based System Requirements.
Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

1997
Reengineering with Reflection Models: A Case Study.
IEEE Computer, 1997

Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996
Evaluating The Mediator Method: Prism as a Case Study.
IEEE Trans. Software Eng., 1996

Guest Editorial: Introduction to the Special Section Best Papers of the 17th International Conference on Software Engineering (ICSE-17).
IEEE Trans. Software Eng., 1996

Lightweight Lexical Source Model Extraction.
ACM Trans. Softw. Eng. Methodol., 1996

On the use of static typing to support operations on frameworks.
Object Oriented Systems, 1996

Strategic Directions in Software Engineering and Programming Languages.
ACM Comput. Surv., 1996

Decoupling Change from Design.
Proceedings of the SIGSOFT '96, 1996

Model Checking Large Software Specifications.
Proceedings of the SIGSOFT '96, 1996

Using Role Components to Implement Collaboration-Based Designs.
Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996

Using C++ Templates to Implement Role-Based Designs.
Proceedings of the Object Technologies for Advanced Software, 1996

Semi-automatic update of applications in response to library changes.
Proceedings of the 1996 International Conference on Software Maintenance (ICSM '96), 1996

An Empirical Study of Static Call Graph Extractors.
Proceedings of the 18th International Conference on Software Engineering, 1996

1995
Correction to "Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool".
IEEE Trans. Software Eng., 1995

Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool.
IEEE Trans. Software Eng., 1995

Software Reflexion Models: Bridging the Gap Between Source and High-Level Models.
Proceedings of the SIGSOFT '95, 1995

Lightweight Source Model Extraction.
Proceedings of the SIGSOFT '95, 1995

1994
Nico Habermann's Research: A Brief Retrospective.
Proceedings of the 16th International Conference on Software Engineering, 1994

1993
Program Structuring for Effective Parallel Portability.
IEEE Trans. Parallel Distrib. Syst., 1993

Automated Assistance for Program Restructuring.
ACM Trans. Softw. Eng. Methodol., 1993

Electronic "How Things Work" Articles: Two Early Prototypes.
IEEE Trans. Knowl. Data Eng., 1993

Computer Science in Japanese Universities.
IEEE Computer, 1993

Adding Implicit Invocation to Languages: Three Approaches.
Proceedings of the Object Technologies for Advanced Software, 1993

Difficulties with Object-Oriented Frameworks.
Proceedings of the Studies of Software Design, 1993

1992
Reconciling Environment Integration and Software Evolution.
ACM Trans. Softw. Eng. Methodol., 1992

Error Reporting with Graduated Color.
IEEE Software, 1992

Using Tool Abstraction to Compose Systems.
IEEE Computer, 1992

1991
Formalizing Design Spaces: Implicit Invocation Mechanisms.
Proceedings of the VDM '91, 1991

1990
Proxies: A Software Structure for Accommodating Heterogeneity.
Softw., Pract. Exper., 1990

Reconciling environment integration and component independence.
Proceedings of the SIGSOFT'90 4th Symposium on Software Development Environments, 1990

A flexible communication abstraction for nonshared memory parallel computing.
Proceedings of the Proceedings Supercomputing '90, New York, NY, USA, November 12-16, 1990, 1990

How Port Ensembles Aid the Efficient Retargeting of Reduction Algorithms.
Proceedings of the 1990 International Conference on Parallel Processing, 1990

A Heterogeneous Distributed File System.
Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990

1989
Integrating Heterogeneous Local Mail Systems.
IEEE Software, 1989

Performance Implications of Design Alternatives for Remote Procedure Call Stubs.
Proceedings of the 9th International Conference on Distributed Computing Systems, 1989

1988
Reasoning About Interactive Systems.
IEEE Trans. Software Eng., 1988

Interconnecting Heterogeneous Computer Systems.
Commun. ACM, 1988

The Relationship Between Software Development Environments and the Software Process (Panel Session Introduction).
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988


Voyeur: Graphical Views of Parallel Programs.
Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, 1988

Applying software process models to the full lifecycle is premature.
Proceedings of the Forth International Software Process Workshop (ISPW '88), 1988

Extension and Software Development.
Proceedings of the Proceedings, 1988

Debugging Parallel Programs using Graphical Views.
Proceedings of the International Conference on Parallel Processing, 1988

1987
Guest Editors' Introduction: Integrated Design and Programming Environments.
IEEE Computer, 1987

Heterogeneous Computing Environments: Report on the ACM SIGOPS Workshop on Accommodating Heterogeneity.
Commun. ACM, 1987

A Name Service for Evolving, Heterogeneous Systems.
Proceedings of the Eleventh ACM Symposium on Operating System Principles, 1987

Enhancement through extension: the extension interpreter.
Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24, 1987

Accommodating Heterogeneity.
Proceedings of the Experiences with Distributed Systems, 1987

1986
Gandalf: Software Development Environments.
IEEE Trans. Software Eng., 1986

Report on the ACM SIGOPS Workshop on Accommodating Heterogeneity.
Operating Systems Review, 1986

Programming Solutions to the Algorithm Contraction Problem.
Proceedings of the International Conference on Parallel Processing, 1986

1985
The GANDALF project.
Journal of Systems and Software, 1985


  Loading...