This page is not currently up-to-date or complete. For information on our most recent projects and publications, please visit the personal web pages of group members.

Inference of resource management specifications

N. Shadab, P. Gharat, S. Tiwari, M.D. Ernst, M. Kellogg, S. Lahiri, A. Lal, M. Sridharan, OOPSLA 2023, Object-Oriented Programming Systems, Languages, and Applications, 2023.
https://checkerframework.org/ implementation

Pluggable type inference for free

M. Kellogg, D. Daskiewicz, L.Ngo Duc Nguyen, M. Ahmed, M.D. Ernst, ASE 2023: Proceedings of the 38th Annual International Conference on Automated Software Engineering, 2023.
https://checkerframework.org/ implementation

Five Futures with AI Coding Agents

S.L. Tanimoto, 2023.

Nothing is better than the Optional type. Really. Nothing is better.

M.D. Ernst, Java Magazine, 2022.
https://homes.cs.washington.edu/~mernst/advice/nothing-is-better-than-op... original version https://blogs.oracle.com/javamagazine/post/optional-class-null-pointer-d... Java Magazine version

Call Me Maybe: Using NLP to automatically generate unit test cases respecting temporal constraints

A. Blasi, A. Gorla, M.D. Ernst, M. Pezzè, ASE 2022: Proceedings of the 37th Annual International Conference on Automated Software Engineering, 2022.
https://github.com/ariannab/callmemaybe implementation & replication package

Notes on Program Analysis

M.D. Ernst, \urlhttps://homes.cs.washington.edu/ mernst/pubs/program-analysis-book.pdf, 2022.

Accumulation analysis (artifact)

M. Kellogg, N. Shadab, M. Sridharan, M.D. Ernst, DARTS, Dagstuhl Artifacts Series 8:2, 2022.
https://checkerframework.org/ implementation https://drops.dagstuhl.de/opus/volltexte/2022/16220/artifact/DARTS-8-2-2... artifact

Accumulation analysis

M. Kellogg, N. Shadab, M. Sridharan, M.D. Ernst, ECOOP 2022 –- Object-Oriented Programming, 33rd European Conference, 2022.
https://docs.google.com/presentation/d/1cEk5wH9L1a5a9bXof3BmA7DN6Nwx9NIV... slides (Google Slides) https://checkerframework.org/ implementation https://doi.org/10.5281/zenodo.5771196 artifact

Programming in an fMRI Scanner: A Report from the Field

S. Tanimoto, 2022.

MeMo: Automatically identifying metamorphic relations in Javadoc comments for test automation

A. Blasi, A. Gorla, M.D. Ernst, M. Pezzè, A. Carzaniga, Journal of Systems and Software 181, 2021.
https://github.com/ariannab/MeMo implementation

Lightweight and modular resource leak verification

M. Kellogg, N. Shadab, M. Sridharan, M.D. Ernst, ESEC/FSE 2021: The ACM 29th joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2021.
https://docs.google.com/presentation/d/1MBBVh0wbaQnlxKwsPwMPEFVIMaH2tj6N... slides (Google Slides) https://www.youtube.com/watch?v=bY5K3kRg3aw talk video (YouTube) https://checkerframework.org/ implementation https://doi.org/10.5281/zenodo.4902321 scripts and data

Checking conformance of applications against GUI policies

Z. Zhang, Y. Feng, M.D. Ernst, S. Porst, I. Dillig, ESEC/FSE 2021: The ACM 29th joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2021.
https://docs.google.com/presentation/d/1CsPMaomfsL53KON1nWfI3vVN8bKmzLMJ... slides (Google Slides) https://github.com/izgzhen/ui-checker implementation

Verifying determinism in sequential programs

R. Mudduluru, J. Waataja, S. Millstein, M.D. Ernst, ICSE 2021, Proceedings of the 43rd International Conference on Software Engineering, 2021.
https://homes.cs.washington.edu/~mernst/pubs/determinism-tr210201.pdf extended version (PDF) https://github.com/t-rasmud/checker-framework/tree/nondet-checker implementation https://doi.org/10.5281/zenodo.4536285 experimental data

Verifying determinism in sequential programs (extended version)

R. Mudduluru, J. Waataja, S. Millstein, M.D. Ernst, University of Washington Paul G. Allen School of Computer Science and Engineering:UW-CSE-2021-02-01, 2021.

Revisiting the relationship between fault detection, test adequacy criteria, and test set size

Y.T. Chen, R. Gopinath, A. Tadakamalla, M.D. Ernst, R. Holmes, G. Fraser, P. Ammann, R. Just, ASE 2020: Proceedings of the 35th Annual International Conference on Automated Software Engineering, 2020.
https://docs.google.com/presentation/d/1ipwcUWZzHKkKbxFPYWkJ-z1OGdabBHF9... slides (Google Slides)

Continuous compliance

M. Kellogg, M. Schäf, S. Tasiran, M.D. Ernst, ASE 2020: Proceedings of the 35th Annual International Conference on Automated Software Engineering, 2020.
https://doi.org/10.5281/zenodo.3976221 scripts and data https://github.com/awslabs/aws-kms-compliance-checker KMS checker https://github.com/awslabs/aws-crypto-policy-compliance-checker crypto checker https://github.com/kelloggm/bucket-compliance-checker bucket checker https://github.com/kelloggm/no-literal-checker no literal checker

Dependent-test-aware regression testing techniques

W. Lam, A. Shi, R. Oei, S. Zhang, M.D. Ernst, T. Xie, ISSTA 2020, Proceedings of the 2020 International Symposium on Software Testing and Analysis, 2020.
https://www.youtube.com/watch?v=YV9561AmNlU talk video (YouTube) https://github.com/TestingResearchIllinois/dependent-tests-impact implementation https://sites.google.com/view/test-dependence-impact data

Verifying Object Construction

M. Kellogg, M. Ran, M. Sridharan, M. Schäf, M.D. Ernst, ICSE 2020, Proceedings of the 42nd International Conference on Software Engineering, 2020.
https://docs.google.com/presentation/d/16aeJkvQqFqFkfs6Y1X6iwvGCsus37muE... slides (Google Slides) https://checkerframework.org/ implementation https://doi.org/10.5281/zenodo.3634993 scripts and data

Where should I comment my code? A dataset and model for predicting locations that need comments

A. Louis, S.Kumar Dash, E.T. Barr, M.D. Ernst, C. Sutton, ICSE NIER, Proceedings of the 42nd International Conference on Software Engineering, New Ideas and Emerging Results Track, 2020.
https://groups.inf.ed.ac.uk/cup/comment-locator/ implementation and dataset

Visualizing Distributed System Executions

I. Beschastnikh, P. Liu, A. Xing, P. Wang, Y. Brun, M.D. Ernst, ACM Transactions on Software Engineering and Methodology 29:2, 2020.
https://bestchai.bitbucket.io/shiviz/ ShiViz https://bestchai.bitbucket.io/shiviz-demo/ video demo of ShiViz https://github.com/DistributedClocks XVector

Teaching rigorous distributed systems with efficient model checking

E. Michael, D. Woos, T. Anderson, M.D. Ernst, Z. Tatlock, EuroSys, 2019.

An empirical study of fault localization families and their combinations

D. Zou, J. Liang, Y. Xiong, M.D. Ernst, L. Zhang, IEEE Transactions on Software Engineering 47, 2019.
https://combinefl.github.io CombineFL tool

Modular verification of web page layout

P. Panchekha, M.D. Ernst, Z. Tatlock, S. Kamil, Proceedings of the ACM on Programming Languages 3:151, 2019.  OOPSLA
https://cassius.uwplse.org/ Troika, VizAssert, and Cassius tools

Comparing developer-provided to user-provided tests for fault localization and automated program repair

R. Just, C. Parnin, I. Drosos, M.D. Ernst, ISSTA 2018, Proceedings of the 2018 International Symposium on Software Testing and Analysis, 2018.
https://docs.google.com/presentation/d/1vdkSkkue-jsk5VdUtcXwYIZ0_2bJlfBv... slides (Google Slides) https://github.com/rjust/defects4j data

Translating code comments to procedure specifications

A. Blasi, A. Goffi, K. Kuznetsov, A. Gorla, M.D. Ernst, M. Pezzè, S.Delgado Castellanos, ISSTA 2018, Proceedings of the 2018 International Symposium on Software Testing and Analysis, 2018.
https://github.com/albertogoffi/toradocu Jdoctor implementation

Lightweight verification of array indexing

M. Kellogg, V. Dort, S. Millstein, M.D. Ernst, ISSTA 2018, Proceedings of the 2018 International Symposium on Software Testing and Analysis, 2018.
https://checkerframework.org/ implementation

Verifying that web pages have accessible layout

P. Panchekha, A. Geller, M.D. Ernst, Z. Tatlock, S. Kamil, PLDI 2018: Proceedings of the ACM SIGPLAN 2016 Conference on Programming Language Design and Implementation, 2018.
https://cassius.uwplse.org/ VizAssert and Cassius tools

Generalized data structure synthesis

C. Loncaric, M.D. Ernst, E. Torlak, ICSE 2018, Proceedings of the 40th International Conference on Software Engineering, 2018.
https://github.com/CozySynthesizer/cozy Cozy implementation

NL2Bash: A corpus and semantic parser for natural language interface to the Linux operating system

X.Victoria Lin, C. Wang, L. Zettlemoyer, M.D. Ernst, LREC: Language Resources and Evaluation Conference, 2018.
https://github.com/TellinaTool/nl2bash dataset

Automatic formal verification for EPICS

J. Jacky, S. Banerian, M.D. Ernst, C. Loncaric, S. Pernsteiner, Z. Tatlock, E. Torlak, ICALEPCS 2017: 16th International Conference on Accelerator and Large Experimental Physics Control Systems, 2017.
https://www.youtube.com/watch?v=CFSnkB5z0GA talk video (YouTube)

SpaceSearch: A library for building and verifying solver-aided tools

K. Weitz, S. Lyubomirsky, S. Heule, E. Torlak, M.D. Ernst, Z. Tatlock, ICFP 2017: Proceedings of the 22nd ACM SIGPLAN International Conference on Functional Programming, 2017.

Verifying Invariants of Lock-free Data Structures with Rely-Guarantee and Refinement Types

C.S. Gordon, M.D. Ernst, D. Grossman, M. Parkinson, ACM Transactions on Pro\-gramming Languages and Systems 39:3, 2017.

Natural language is a programming language: Applying natural language processing to software development

M.D. Ernst, SNAPL 2017: the 2nd Summit oN Advances in Programming Languages, 2017.

Evaluating and improving fault localization

S. Pearson, J. Campos, R. Just, G. Fraser, R. Abreu, M.D. Ernst, D. Pang, B. Keller, ICSE 2017, Proceedings of the 39th International Conference on Software Engineering, 2017.
https://homes.cs.washington.edu/~mernst/pubs/fault-localization-icse2017... longer slide deck (PowerPoint) https://homes.cs.washington.edu/~mernst/pubs/fault-localization-icse2017... longer slide deck (PDF) https://homes.cs.washington.edu/~mernst/pubs/fault-localization-tr160803... technical report UW-CSE-16-08-03 https://bitbucket.org/rjust/fault-localization-data data and scripts

Translating Code Comments to Procedure Specifications

A. Goffi, A. Gorla, M.D. Ernst, M. Pezzè, S.Delgado Castellanos, A. Blasi, B. Keller, 2017.

Program synthesis from natural language using recurrent neural networks

X.Victoria Lin, C. Wang, D. Pang, K. Vu, L. Zettlemoyer, M.D. Ernst, University of Washington Department of Computer Science and Engineering:UW-CSE-17-03-01, 2017.
https://kirin.cs.washington.edu:8000/ Tellina website https://github.com/TellinaTool/tellina Tellina implementation

Scalable verification of Border Gateway Protocol configurations with an SMT solver

K. Weitz, D. Woos, E. Torlak, M.D. Ernst, A. Krishnamurthy, Z. Tatlock, OOPSLA 2016, Object-Oriented Programming Systems, Languages, and Applications, 2016.
https://www.youtube.com/watch?v=eKB5Vj0PsIk talk video https://bagpipe.uwplse.org Bagpipe homepage

Automatic trigger generation for rule-based smart homes

C. Nandi, M.D. Ernst, PLAS 2016: ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2016.
https://docs.google.com/a/cs.washington.edu/presentation/d/1lW9zagndSkCd... slides (Google Slides) https://homes.cs.washington.edu/~mernst/pubs/trigger-generation-plas2016... PDF https://homes.cs.washington.edu/~mernst/pubs/trigger-generation-plas2016... slides (PDF)

Evaluating & improving fault localization techniques

S. Pearson, J. Campos, R. Just, G. Fraser, R. Abreu, M.D. Ernst, D. Pang, B. Keller, University of Washington Department of Computer Science and Engineering:UW-CSE-16-08-03, 2016.  Revised February 2017
https://bitbucket.org/rjust/fault-localization-data data and scripts https://homes.cs.washington.edu/~mernst/pubs/fault-localization-tr160803... PDF

Debugging distributed systems: Challenges and options for validation and debugging

I. Beschastnikh, P. Wang, Y. Brun, M.D. Ernst, Communications of the ACM 59:8, 2016.
https://bestchai.bitbucket.io/shiviz/ online deployment (try it!) https://github.com/DistributedClocks/shiviz ShiVector and ShiViz source code https://bestchai.bitbucket.io/shiviz-demo/ video demo (YouTube)

Formal Semantics and Automated Verification for the Border Gateway Protocol

K. Weitz, D. Woos, E. Torlak, M.D. Ernst, A. Krishnamurthy, Z. Tatlock, NetPL 2016: ACM SIGCOMM Workshop on Networking and Programming Languages (NetPL 2016), 2016.
https://github.com/uwplse/uwplse-bagpipe Bagpipe implementation

Investigating safety of a radiotherapy machine using system models with pluggable checkers

S. Pernsteiner, C. Loncaric, E. Torlak, Z. Tatlock, X. Wang, M.D. Ernst, J. Jacky, CAV 2016: 28th International Conference on Computer Aided Verification, 2016.

Automatic generation of oracles for exceptional behaviors

A. Goffi, A. Gorla, M.D. Ernst, M. Pezzè, ISSTA 2016, Proceedings of the 2016 International Symposium on Software Testing and Analysis, 2016.
https://github.com/albertogoffi/toradocu Toradocu implementation

Fast synthesis of fast collections

C. Loncaric, E. Torlak, M.D. Ernst, PLDI 2016: Proceedings of the ACM SIGPLAN 2016 Conference on Programming Language Design and Implementation, 2016.
https://github.com/CozySynthesizer/cozy Cozy implementation

Semantics for locking specifications

M.D. Ernst, D. Macedonio, M. Merro, F. Spoto, NFM 2016: 8th NASA Formal Methods Symposium, 2016.
https://checkerframework.org/ checking implementation https://homes.cs.washington.edu/~mernst/pubs/locking-semantics-nfm2016.pdf PDF

Locking discipline inference and checking

M.D. Ernst, A. Lovato, D. Macedonio, F. Spoto, J. Thaine, ICSE 2016, Proceedings of the 38th International Conference on Software Engineering, 2016.
https://checkerframework.org/ checking implementation https://homes.cs.washington.edu/~mernst/pubs/locking-inference-checking-... PDF

Debugging distributed systems: Challenges and options for validation and debugging

I. Beschastnikh, P. Wang, Y. Brun, M.D. Ernst, ACM Queue 14:2, 2016.
https://bestchai.bitbucket.io/shiviz/ online deployment (try it!) https://github.com/DistributedClocks/shiviz ShiVector and ShiViz source code https://bestchai.bitbucket.io/shiviz-demo/ video demo (YouTube)

Bagpipe: Verified BGP configuration checking

K. Weitz, D. Woos, E. Torlak, M.D. Ernst, A. Krishnamurthy, Z. Tatlock, University of Washington Department of Computer Science and Engineering:UW-CSE-16-01-01, 2016.
https://github.com/uwplse/uwplse-bagpipe Bagpipe implementation https://homes.cs.washington.edu/~mernst/pubs/bgp-configuration-tr160101.pdf PDF

Planning for change in a formal verification of the Raft consensus protocol

D. Woos, J.R. Wilcox, S. Anton, Z. Tatlock, M.D. Ernst, T. Anderson, CPP 2016: 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016.
https://verdi.uwplse.org/ Verdi website https://github.com/uwplse/verdi Verdi implementation https://github.com/uwplse/verdi/tree/cpp2015 Raft implementation and proofs https://homes.cs.washington.edu/~mernst/pubs/raft-proof-cpp2016.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/raft-proof-cpp2016-slides.pdf slides (PDF)

Summarizing Source Code using a Neural Attention Model

S. Iyer, Y. Konstas, A. Cheung, L. Zettlemoyer, Annual Meeting of the Association for Computational Linguistics (ACL), 2016.
https://github.com/sriniiyer/codenn CODE

Boolean formulas for the static identification of injection attacks in Java

M.D. Ernst, A. Lovato, D. Macedonio, C. Spiridon, F. Spoto, LPAR 2015: Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, 2015.
https://homes.cs.washington.edu/~mernst/pubs/detect-injections-lpar2015.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/detect-injections-lpar2015-... slides (PDF)

Static analysis of implicit control flow: Resolving Java reflection and Android intents

P. Barros, R. Just, S. Millstein, P. Vines, W. Dietl, M. d'Amorim, M.D. Ernst, ASE 2015: Proceedings of the 30th Annual International Conference on Automated Software Engineering, 2015.
https://homes.cs.washington.edu/~mernst/pubs/implicit-control-flow-tr150... extended version https://types.cs.washington.edu/sparta/ SPARTA toolset https://checkerframework.org/ Checker Framework https://homes.cs.washington.edu/~mernst/pubs/implicit-control-flow-ase20... PDF https://homes.cs.washington.edu/~mernst/pubs/implicit-control-flow-ase20... slides (PDF)

Explaining visual changes in web interfaces

B. Burg, A.J. Ko, M.D. Ernst, UIST 2015: Proceedings of the 28th ACM Symposium on User Interface Software and Technology, 2015.
https://github.com/burg/replay-staging/ Timelapse implementation https://homes.cs.washington.edu/~mernst/pubs/dom-tracing-uist2015.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/dom-tracing-uist2015-slides... slides (PDF)

Development history granularity transformations

K. Muşlu, L. Swart, Y. Brun, M.D. Ernst, ASE 2015: Proceedings of the 30th Annual International Conference on Automated Software Engineering, 2015.
https://homes.cs.washington.edu/~mernst/pubs/history-transformations-ase... PDF https://homes.cs.washington.edu/~mernst/pubs/history-transformations-ase... slides (PDF) https://homes.cs.washington.edu/~mernst/pubs/history-transformations-ase... slides (PowerPoint)

Ayudante: Identifying undesired variable interactions

I.Ul Haq, J. Caballero, M.D. Ernst, WODA 2015: 13th International Workshop on Dynamic Analysis, 2015.
https://homes.cs.washington.edu/~mernst/pubs/variable-interactions-woda2... PDF https://homes.cs.washington.edu/~mernst/pubs/variable-interactions-woda2... slides (PDF)

Semantics for locking specifications

M.D. Ernst, D. Macedonio, M. Merro, F. Spoto, University of Washington Department of Computer Science and Engineering:UW-CSE-15-09-01, 2015.
https://homes.cs.washington.edu/~mernst/pubs/locking-semantics-tr150901.pdf PDF

Locking discipline inference and checking

M.D. Ernst, A. Lovato, D. Macedonio, F. Spoto, J. Thaine, University of Washington Department of Computer Science and Engineering:UW-CSE-15-09-02, 2015.
https://homes.cs.washington.edu/~mernst/pubs/locking-inference-checking-... PDF

Boolean formulas for the static identification of injection attacks in Java

M.D. Ernst, A. Lovato, D. Macedonio, C. Spiridon, F. Spoto, University of Washington Department of Computer Science and Engineering:UW-CSE-15-09-03, 2015.

Reducing feedback delay of software development tools via continuous analysis

K. Muşlu, Y. Brun, M.D. Ernst, D. Notkin, IEEE Transactions on Software Engineering 41:8, 2015.
https://homes.cs.washington.edu/~mernst/pubs/offline-continuous-esecfse2... ESEC/FSE 2013 slides (PDF) https://homes.cs.washington.edu/~mernst/pubs/offline-continuous-esecfse2... ESEC/FSE 2013 slides (PowerPoint) https://homes.cs.washington.edu/~mernst/pubs/offline-continuous-tse2015.pdf PDF

Static analysis of implicit control flow: Resolving Java reflection and Android intents (extended version)

P. Barros, R. Just, S. Millstein, P. Vines, W. Dietl, M. d'Amorim, M.D. Ernst, University of Washington Department of Computer Science and Engineering:UW-CSE-15-08-01, 2015.
https://types.cs.washington.edu/sparta/ SPARTA toolset https://checkerframework.org/ Checker Framework

Proactive detection of inadequate diagnostic messages for software configuration errors

S. Zhang, M.D. Ernst, ISSTA 2015, Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015.
https://github.com/zhang-sai/config-errors ConfDiagDetector implementation https://homes.cs.washington.edu/~mernst/pubs/inadequate-diagnostics-isst... PDF https://homes.cs.washington.edu/~mernst/pubs/inadequate-diagnostics-isst... slides (PDF)

Verdi: A framework for implementing and formally verifying distributed systems

J.R. Wilcox, D. Woos, P. Panchekha, Z. Tatlock, X. Wang, M.D. Ernst, T. Anderson, PLDI 2015: Proceedings of the ACM SIGPLAN 2015 Conference on Programming Language Design and Implementation, 2015.
https://verdi.uwplse.org/verdi_slides.pdf slides (PDF) https://verdi.uwplse.org/ Verdi website https://github.com/uwplse/verdi Verdi implementation https://homes.cs.washington.edu/~mernst/pubs/verify-distsystem-pldi2015.pdf PDF

Toward a dependability case language and workflow for a radiation therapy system

M.D. Ernst, D. Grossman, J. Jacky, C. Loncaric, S. Pernsteiner, Z. Tatlock, E. Torlak, X. Wang, SNAPL 2015: the Inaugural Summit oN Advances in Programming Languages, 2015.
https://homes.cs.washington.edu/~mernst/pubs/dependability-case-snapl201... PDF https://homes.cs.washington.edu/~mernst/pubs/dependability-case-snapl201... slides (PDF)

Static analysis of implicit control flow: Resolving Java reflection and Android intents

P. Barros, R. Just, S. Millstein, P. Vines, W. Dietl, M. d'Amorim, M.D. Ernst, University of Washington Department of Computer Science and Engineering:UW-CSE-15-05-01, 2015.
https://types.cs.washington.edu/sparta/ SPARTA toolset https://checkerframework.org/ Checker Framework

Using declarative specification to improve the understanding, extensibility, and comparison of model-inference algorithms

I. Beschastnikh, Y. Brun, J. Abrahamson, M.D. Ernst, A. Krishnamurthy, IEEE Transactions on Software Engineering 41:4, 2015.
https://homes.cs.washington.edu/~mernst/pubs/fsm-inference-declarative-i... ICSE 2013 slides (PDF) https://github.com/ModelInference/synoptic InvariMint implementation https://homes.cs.washington.edu/~mernst/pubs/fsm-inference-declarative-t... PDF

A data programming CS1 course

R. Anderson, M.D. Ernst, R. Ordóñez, P. Pham, B. Tribelhorn, SIGCSE: Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015.
https://homes.cs.washington.edu/~mernst/teaching/data-programming/ Data Programming class at UW https://homes.cs.washington.edu/~mernst/pubs/data-programming-sigcse2015... PDF

When tests collide: Evaluating and coping with the impact of test dependence

W. Lam, S. Zhang, M.D. Ernst, University of Washington Department of Computer Science and Engineering:UW-CSE-15-03-01, 2015.
https://homes.cs.washington.edu/~mernst/pubs/deptest-impact-tr150301.pdf PDF

Collaborative verification of information flow for a high-assurance app store

M.D. Ernst, R. Just, S. Millstein, W. Dietl, S. Pernsteiner, F. Roesner, K. Koscher, P. Barros, R. Bhoraskar, S. Han, P. Vines, E.X. Wu, CCS 2014: Proceedings of the 21st ACM Conference on Computer and Communications Security, 2014.
https://types.cs.washington.edu/sparta/ SPARTA toolset and experimental data https://homes.cs.washington.edu/~mernst/pubs/infoflow-ccs2014.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/infoflow-ccs2014-slides.pdf slides (PDF)

Are mutants a valid substitute for real faults in software testing?

R. Just, D. Jalali, L. Inozemtseva, M.D. Ernst, R. Holmes, G. Fraser, FSE 2014: Proceedings of the ACM SIGSOFT 22nd Symposium on the Foundations of Software Engineering, 2014.
https://defects4j.org/ Defects4J subject programs https://mutation-testing.org/ Major mutation tool https://homes.cs.washington.edu/~mernst/pubs/mutation-effectiveness-fse2... PDF https://homes.cs.washington.edu/~mernst/pubs/mutation-effectiveness-fse2... slides (PDF)

A type system for format strings

K. Weitz, G. Kim, S. Srisakaokul, M.D. Ernst, ISSTA 2014, Proceedings of the 2014 International Symposium on Software Testing and Analysis, 2014.
https://homes.cs.washington.edu/~mernst/pubs/format-string-issta2014-dem... demo paper (PDF) https://checkerframework.org/manual/#formatter-checker Format String Checker implementation https://homes.cs.washington.edu/~mernst/pubs/format-string-issta2014.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/format-string-issta2014-sli... slides (PDF)

Empirically revisiting the test independence assumption

S. Zhang, D. Jalali, J. Wuttke, K. Muşlu, W. Lam, M.D. Ernst, D. Notkin, ISSTA 2014, Proceedings of the 2014 International Symposium on Software Testing and Analysis, 2014.
https://homes.cs.washington.edu/~mernst/pubs/test-independence-issta2014... PDF

A format string checker for Java

K. Weitz, G. Kim, S. Srisakaokul, M.D. Ernst, ISSTA 2014, Proceedings of the 2014 International Symposium on Software Testing and Analysis, 2014.

Efficient mutation analysis by propagating and partitioning infected execution states

R. Just, M.D. Ernst, G. Fraser, ISSTA 2014, Proceedings of the 2014 International Symposium on Software Testing and Analysis, 2014.
https://mutation-testing.org/ Major mutation framework and experimental data https://homes.cs.washington.edu/~mernst/pubs/state-infection-issta2014.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/state-infection-issta2014-s... slides (PDF)

Defects4J: A Database of existing faults to enable controlled testing studies for Java programs

R. Just, D. Jalali, M.D. Ernst, ISSTA 2014, Proceedings of the 2014 International Symposium on Software Testing and Analysis, 2014.  Tool demo
https://defects4j.org/ Defects4J website https://homes.cs.washington.edu/~mernst/pubs/bug-database-issta2014.pdf PDF

User scripting on Android using BladeDroid

R. Bhoraskar, D. Langenegger, P. He, R. Cheng, W. Scott, M.D. Ernst, APSys 2014: 5th Asia-Pacific Workshop on Systems, 2014.
https://homes.cs.washington.edu/~mernst/pubs/bladedroid-apsys2014.pdf PDF

Inferring models of concurrent systems from logs of their behavior with CSight

I. Beschastnikh, Y. Brun, M.D. Ernst, A. Krishnamurthy, ICSE 2014, Proceedings of the 36th International Conference on Software Engineering, 2014.
https://github.com/ModelInference/synoptic CSight implementation https://homes.cs.washington.edu/~mernst/pubs/concurrent-models-icse2014.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/concurrent-models-icse2014-... slides (PDF)

Case studies and tools for contract specifications

T.W. Schiller, K. Donohue, F. Coward, M.D. Ernst, ICSE 2014, Proceedings of the 36th International Conference on Software Engineering, 2014.
https://plse.cs.washington.edu/code-contracts/ data and tools https://homes.cs.washington.edu/~mernst/pubs/contract-specifications-ics... PDF https://homes.cs.washington.edu/~mernst/pubs/contract-specifications-ics... slides (PDF)

Shedding light on distributed system executions

J. Abrahamson, I. Beschastnikh, Y. Brun, M.D. Ernst, ICSE 2014, Proceedings of the 36th International Conference on Software Engineering, 2014.
https://bestchai.bitbucket.io/shiviz/ online deployment (try it!) https://github.com/DistributedClocks/shiviz ShiVector and ShiViz source code https://bestchai.bitbucket.io/shiviz-demo/ video demo (YouTube) https://homes.cs.washington.edu/~mernst/pubs/shivector-shiviz-icse2014.pdf PDF

Which configuration option should I change?

S. Zhang, M.D. Ernst, ICSE 2014, Proceedings of the 36th International Conference on Software Engineering, 2014.
https://github.com/zhang-sai/config-errors ConfSuggester implementation https://homes.cs.washington.edu/~mernst/pubs/confsuggester-icse2014.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/confsuggester-icse2014-slid... slides (PDF)

User scripting on Android using BladeDroid

R. Bhoraskar, D. Langenegger, P. He, M.D. Ernst, NSDI 2014: 11th USENIX Symposium on Networked Systems Design and Implementation, 2014.

Introductory programming meets the real world: Using real problems and data in CS1

R. Anderson, M.D. Ernst, R. Ordóñez, P. Pham, S.A. Wolfman, SIGCSE: Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014.
https://homes.cs.washington.edu/~mernst/teaching/data-programming/ Data Programming class at UW https://homes.cs.washington.edu/~mernst/pubs/data-programming-sigcse2014... PDF

Are mutants a valid substitute for real faults in software testing?

R. Just, D. Jalali, L. Inozemtseva, M.D. Ernst, R. Holmes, G. Fraser, University of Washington Department of Computer Science and Engineering:UW-CSE-14-02-02, 2014.

Inferring models of concurrent systems from logs of their behavior with CSight

I. Beschastnikh, Y. Brun, M.D. Ernst, A. Krishnamurthy, University of British Columbia, 2014.  \urlhttps://hdl.handle.net/2429/46122
https://github.com/ModelInference/synoptic CSight implementation

Empirically revisiting the test independence assumption

S. Zhang, D. Jalali, J. Wuttke, K. Muşlu, W. Lam, M.D. Ernst, D. Notkin, University of Washington Department of Computer Science and Engineering:UW-CSE-14-01-01, 2014.
ftp://ftp.cs.washington.edu/tr/2014/01/UW-CSE-14-01-01.PDF PDF

Annotations on Java types

J.S.R.308 Expert Group, 2014.  Proposed Final Draft.
https://download.oracle.com/otndocs/jcp/annotations-2014_01_08-pfd-spec/ PDF

Type Annotations specification (JSR 308)

M.D. Ernst, 2013.
https://checkerframework.org/jsr308/ current status and implementation https://jcp.org/en/jsr/detail?id=308 original proposal

Type Annotations specification (JSR 308)

M.D. Ernst, 2013.
https://checkerframework.org/jsr308/ current status and implementation https://jcp.org/en/jsr/detail?id=308 original proposal

Interactive record/replay for web application debugging

B. Burg, R. Bailey, A.J. Ko, M.D. Ernst, UIST 2013: Proceedings of the 26th ACM Symposium on User Interface Software and Technology, 2013.
https://github.com/burg/replay-staging/ Timelapse implementation https://homes.cs.washington.edu/~mernst/pubs/record-replay-uist2013.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/record-replay-uist2013-slid... slides (PDF)

Early detection of collaboration conflicts and risks

Y. Brun, R. Holmes, M.D. Ernst, D. Notkin, IEEE Transactions on Software Engineering 39:10, 2013.
https://homes.cs.washington.edu/~mernst/pubs/vc-conflicts-fse2011-slides... ESEC/FSE 2011 slides (PDF) https://homes.cs.washington.edu/~mernst/pubs/vc-conflicts-fse2011-toolde... tool demo paper (PDF) https://github.com/brunyuriy/crystalvc Crystal implementation https://homes.cs.washington.edu/~mernst/pubs/vc-conflicts-tse2013.pdf PDF

Making offline analyses continuous

K. Muşlu, Y. Brun, M.D. Ernst, D. Notkin, ESEC/FSE 2013: The 9th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2013.
https://bitbucket.org/kivancmuslu/solstice/ Solstice implementation

Making Offline Analyses Continuous

K. Muşlu, Y. Brun, M.D. Ernst, D. Notkin, the 9th joint meeting of the European Software Engineering Conference and the Symposium on the Foundations of Software Engineering (FSE), 2013.

https://bitbucket.org/kivancmuslu/solstice Implementation

JavaUI: Effects for controlling UI object access

C.S. Gordon, W. Dietl, M.D. Ernst, D. Grossman, ECOOP 2013 –- Object-Oriented Programming, 27th European Conference, 2013.
https://homes.cs.washington.edu/~mernst/pubs/gui-thread-tr20130401.pdf technical report (PDF) https://checkerframework.org/manual/#guieffect-checker JavaUI implementation https://github.com/csgordon/javaui older implementation and annotated subject programs https://homes.cs.washington.edu/~mernst/pubs/gui-thread-ecoop2013.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/gui-thread-ecoop2013-slides... slides (PDF)

Automatically repairing broken workflows for evolving GUI applications

S. Zhang, H. Lü, M.D. Ernst, ISSTA 2013, Proceedings of the 2013 International Symposium on Software Testing and Analysis, 2013.
https://code.google.com/archive/p/workflow-repairer/ FlowFixer implementation https://homes.cs.washington.edu/~mernst/pubs/repair-workflow-issta2013.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/repair-workflow-issta2013-s... slides (PDF)

Rely-guarantee references for refinement types over aliased mutable data

C.S. Gordon, M.D. Ernst, D. Grossman, PLDI 2013: Proceedings of the ACM SIGPLAN 2013 Conference on Programming Language Design and Implementation, 2013.
https://homes.cs.washington.edu/~mernst/pubs/rely-guarantee-ref-tr130302... technical report https://github.com/csgordon/rgref/ implementation https://homes.cs.washington.edu/~mernst/pubs/rely-guarantee-ref-pldi2013... PDF https://homes.cs.washington.edu/~mernst/pubs/rely-guarantee-ref-pldi2013... slides (PDF)

Integrating Systematic Exploration, Analysis, and Maintenance in Software Development

K. Muşlu, the 35th International Conference on Software Engineering, 2013.

http://files.kivancmuslu.com/Publications/Unpublished/2013/Muslu2013icse... PDF
http://files.kivancmuslu.com/Publications/2013/Muslu2013icse.bib BibTeX
http://files.kivancmuslu.com/Publications/2013/Muslu2013icse_slides.pdf Slides

Automated diagnosis of software configuration errors

S. Zhang, M.D. Ernst, ICSE 2013, Proceedings of the 35th International Conference on Software Engineering, 2013.
https://github.com/zhang-sai/config-errors ConfDiagnoser implementation https://homes.cs.washington.edu/~mernst/pubs/configuration-errors-icse20... PDF https://homes.cs.washington.edu/~mernst/pubs/configuration-errors-icse20... slides (PDF)

Unifying FSM-inference algorithms through declarative specification

I. Beschastnikh, Y. Brun, J. Abrahamson, M.D. Ernst, A. Krishnamurthy, ICSE 2013, Proceedings of the 35th International Conference on Software Engineering, 2013.
https://homes.cs.washington.edu/~mernst/pubs/fsm-inference-declarative-t... TR UW-CSE-13-03-01 https://github.com/ModelInference/synoptic InvariMint implementation

Immutability

A. Potanin, J. Östlund, Y. Zibin, M.D. Ernst, Aliasing in Object-Oriented Programming, Springer-Verlag 7850, 2013.
https://homes.cs.washington.edu/~mernst/pubs/immutability-aliasing-2013-... PDF

Unifying FSM-inference algorithms through declarative specification

I. Beschastnikh, Y. Brun, J. Abrahamson, M.D. Ernst, A. Krishnamurthy, University of Washington Department of Computer Science and Engineering:UW-CSE-13-03-01, 2013.

HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars

A. Kieżun, V. Ganesh, S. Artzi, P.J. Guo, P. Hooimeijer, M.D. Ernst, ACM Transactions on Software Engineering and Methodology 21:4, 2012.
https://people.csail.mit.edu/akiezun/hampi/ HAMPI implementation and experiments https://homes.cs.washington.edu/~mernst/pubs/string-solver-tosem2012.pdf ISSTA 2009 slides (PDF) https://homes.cs.washington.edu/~mernst/pubs/string-solver-tosem2012.pdf PDF

Uniqueness and Reference Immutability for Safe Parallelism

C.S. Gordon, M.J. Parkinson, J. Parsons, A. Bromfield, J. Duffy, Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2012), ACM, 2012.

Speculative analysis of integrated development environment recommendations

K. Muşlu, Y. Brun, R. Holmes, M.D. Ernst, D. Notkin, OOPSLA 2012, Object-Oriented Programming Systems, Languages, and Applications, 2012.
https://github.com/brunyuriy/quick-fix-scout implementation https://homes.cs.washington.edu/~mernst/pubs/quick-fix-scout-oopsla2012.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/quick-fix-scout-oopsla2012-... slides (PDF)

Reducing the barriers to writing verified specifications

T.W. Schiller, M.D. Ernst, OOPSLA 2012, Object-Oriented Programming Systems, Languages, and Applications, 2012.
https://plse.cs.washington.edu/veriweb/ study materials https://homes.cs.washington.edu/~mernst/pubs/veriweb-oopsla2012.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/veriweb-oopsla2012-slides.pdf slides (PDF)

ReIm & ReImInfer: Checking and inference of reference immutability and method purity

W. Huang, A. Milanova, W. Dietl, M.D. Ernst, OOPSLA 2012, Object-Oriented Programming Systems, Languages, and Applications, 2012.
https://www.cs.rpi.edu/~huangw5/cf-inference/ implementation https://homes.cs.washington.edu/~mernst/pubs/infer-refimmutability-oopsl... PDF https://homes.cs.washington.edu/~mernst/pubs/infer-refimmutability-oopsl... slides (PDF)

Unifying FSM-inference algorithms through declarative specification

I. Beschastnikh, Y. Brun, J. Abrahamson, M.D. Ernst, A. Krishnamurthy, University of Washington Department of Computer Science and Engineering:UW-CSE-12-08-02, 2012.

Finding errors in multithreaded GUI applications

S. Zhang, H. Lü, M.D. Ernst, ISSTA 2012, Proceedings of the 2012 International Symposium on Software Testing and Analysis, 2012.
https://github.com/zhang-sai/guierrordetector implementation https://homes.cs.washington.edu/~mernst/pubs/gui-thread-issta2012.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/gui-thread-issta2012-slides... slides (PDF) https://homes.cs.washington.edu/~mernst/pubs/gui-thread-tr130401.pdf extended version (PDF)

Improving IDE Recommendations by Considering Global Implications of Existing Recommendations

K. Muşlu, Y. Brun, R. Holmes, M.D. Ernst, D. Notkin, Proceedings of the 34th International Conference on Software Engineering (New Ideas and Emerging Results Track), 2012.

http://files.kivancmuslu.com/Publications/2012/MusluBHEN2012icse.pdf PDF
http://files.kivancmuslu.com/Publications/2012/MusluBHEN2012icse.bib BibTex
http://files.kivancmuslu.com/Publications/2012/MusluBHEN2012icse-slides.pdf Slides

Inference and checking of object ownership

W. Huang, W. Dietl, A. Milanova, M.D. Ernst, ECOOP 2012 –- Object-Oriented Programming, 26th European Conference, 2012.
https://www.cs.rpi.edu/~huangw5/cf-inference/ implementation https://homes.cs.washington.edu/~mernst/pubs/infer-ownership-ecoop2012.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/infer-ownership-ecoop2012-s... slides (PDF)

A type system for regular expressions

E. Spishak, W. Dietl, M.D. Ernst, FTfJP: 14th Workshop on Formal Techniques for Java-like Programs, 2012.
https://checkerframework.org/manual/#regex-checker Regex Checker implementation https://homes.cs.washington.edu/~mernst/pubs/regex-types-ftfjp2012.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/regex-types-ftfjp2012-slide... slides (PDF)

Verification games: Making verification fun

W. Dietl, S. Dietzel, M.D. Ernst, N. Mote, B. Walker, S. Cooper, T. Pavlik, Z. Popović, FTfJP: 14th Workshop on Formal Techniques for Java-like Programs, 2012.
https://homes.cs.washington.edu/~mernst/pubs/verigames-ftfjp2012.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/verigames-ftfjp2012-slides.pdf slides (PDF)

CBCD: Cloned Buggy Code Detector

J. Li, M.D. Ernst, ICSE 2012, Proceedings of the 34th International Conference on Software Engineering, 2012.
https://homes.cs.washington.edu/~mernst/pubs/buggy-clones-tr110502.pdf TR UW-CSE-11-05-02 https://homes.cs.washington.edu/~mernst/pubs/buggy-clones-icse2012.pdf PDF

Predicting Development Trajectories to Prevent Collaboration Conflicts

Y. Brun, K. Muşlu, R. Holmes, M.D. Ernst, D. Notkin, Proceedings of the 2012 Computer Supported Cooperative Work Working Conference on the Future of Collaborative Software Development, 2012.

http://files.kivancmuslu.com/Publications/2012/BrunMHEN2012fcsd.pdf PDF
http://files.kivancmuslu.com/Publications/2012/BrunMHEN2012fcsd.bib BibTex
http://files.kivancmuslu.com/Publications/2012/BrunMHEN2012fcsd-poster.pdf Poster

Predicting development trajectories to prevent collaboration conflicts

Y. Brun, K. Muşlu, R. Holmes, M.D. Ernst, D. Notkin, FutureCSD 2012: The Future of Collaborative Software Development, 2012.
https://homes.cs.washington.edu/~mernst/pubs/speculate-predict-fcsd2012-... poster (PowerPoint) https://homes.cs.washington.edu/~mernst/pubs/speculate-predict-fcsd2012.pdf PDF

Static lock capabilities for deadlock freedom

C.S. Gordon, M.D. Ernst, D. Grossman, TLDI 2012: The seventh ACM SIGPLAN Workshop on Types in Language Design and Implementation, 2012.
https://homes.cs.washington.edu/~mernst/pubs/lock-capabilities-tldi2012.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/lock-capabilities-tldi2012-... slides (PDF)

Static Lock Capabilities for Deadlock Freedom

C.S. Gordon, M.D. Ernst, D. Grossman, Workshop on Types in Language Design and Implementation (TLDI), 2012.

http://dl.acm.org/citation.cfm?id=2103786 ACM
http://homes.cs.washington.edu/~csgordon/papers/tldi12.pdf PDF
ftp://ftp.cs.washington.edu/tr/2011/10/UW-CSE-11-10-01.PDF TR

Playing Cupid: the IDE as a matchmaker for plugins

T.W. Schiller, B. Lucia, TOPI 2012: 2nd Workshop on Developing Tools as Plug-ins, 2012.

The HaLoop approach to large-scale iterative data analysis

Y. Bu, B. Howe, M. Balazinska, M.D. Ernst, The VLDB Journal 21:2, 2012.
https://homes.cs.washington.edu/~mernst/pubs/haloop-vldb2010-slides.pdf VLDB 2010 slides (PDF) https://homes.cs.washington.edu/~mernst/pubs/haloop-vldb2010-slides.ppt VLDB 2010 slides (PowerPoint) https://code.google.com/archive/p/haloop/ HaLoop implementation https://homes.cs.washington.edu/~mernst/pubs/haloop-vldb2012.pdf PDF

Mining temporal invariants from partially ordered logs

I. Beschastnikh, Y. Brun, M.D. Ernst, A. Krishnamurthy, T.E. Anderson, SIGOPS Operating Systems Review 45:3, 2011.
https://homes.cs.washington.edu/~mernst/pubs/mining-po-logs-osr2011.pdf PDF

Automated documentation inference to explain failed tests

S. Zhang, C. Zhang, M.D. Ernst, ASE 2011: Proceedings of the 26th Annual International Conference on Automated Software Engineering, 2011.
https://code.google.com/archive/p/failuredoc/ FailureDoc implementation https://homes.cs.washington.edu/~mernst/pubs/test-documentation-ase2011.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/test-documentation-ase2011-... slides (PDF)

Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs

B. Robinson, M.D. Ernst, J.H. Perkins, V. Augustine, N. Li, ASE 2011: Proceedings of the 26th Annual International Conference on Automated Software Engineering, 2011.
https://randoop.github.io/randoop/ Randoop implementation https://homes.cs.washington.edu/~mernst/pubs/maintainable-tests-ase2011.pdf PDF

Static lock capabilities for deadlock freedom

C.S. Gordon, M.D. Ernst, D. Grossman, University of Washington Department of Computer Science and Engineering:UW-CSE-11-10-01, 2011.

Type Annotations specification (JSR 308)

M.D. Ernst, 2011.
https://checkerframework.org/jsr308/ current status and implementation https://jcp.org/en/jsr/detail?id=308 original proposal

Mining temporal invariants from partially ordered logs

I. Beschastnikh, Y. Brun, M.D. Ernst, A. Krishnamurthy, T.E. Anderson, SLAML 2011: Workshop on Managing Large-Scale Systems via the Analysis of System Logs and the Application of Machine Learning Techniques (SLAML '11), 2011.  Article No. 3

Bandsaw: Log-powered test scenario generation for distributed systems

I. Beschastnikh, Y. Brun, M.D. Ernst, A. Krishnamurthy, T.E. Anderson, SOSP WIP: Proceedings of the 23rd ACM Symposium on Operating Systems Principles, Work In Progress Track, 2011.
https://homes.cs.washington.edu/~mernst/pubs/log-test-gen-sospwip2011.pdf PDF

Finding Bugs by Isolating Unit Tests

K. Muşlu, B. Soran, J. Wuttke, Proceedings of the 8th Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering, New Ideas and Emerging Results Track, 2011.

http://files.kivancmuslu.com/Publications/2011/MusluSW2011esecfse.pdf PDF
http://files.kivancmuslu.com/Publications/2011/MusluSW2011esecfse.bib BibTex
http://files.kivancmuslu.com/Publications/2011/MusluSW2011esecfse-slides... Slides

Leveraging existing instrumentation to automatically infer invariant-constrained models

I. Beschastnikh, Y. Brun, S. Schneider, M. Sloan, M.D. Ernst, ESEC/FSE 2011: The 8th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2011.
https://github.com/ModelInference/synoptic Synoptic implementation https://homes.cs.washington.edu/~mernst/pubs/synoptic-fse2011-tool-demo.pdf tool demo paper (PDF) https://homes.cs.washington.edu/~mernst/pubs/synoptic-fse2011.pdf PDF

Proactive detection of collaboration conflicts

Y. Brun, R. Holmes, M.D. Ernst, D. Notkin, ESEC/FSE 2011: The 8th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2011.
https://github.com/brunyuriy/crystalvc Crystal implementation https://people.cs.umass.edu/~brun/video/Brun11esecfse/ video of talk https://homes.cs.washington.edu/~mernst/pubs/vc-conflicts-fse2011-toolde... tool demo paper (PDF)

Tunable static inference for Generic Universe Types

W. Dietl, M.D. Ernst, P. Müller, ECOOP 2011 –- Object-Oriented Programming, 25th European Conference, 2011.
https://ece.uwaterloo.ca/~wdietl/inference/ Implementation and experiments https://homes.cs.washington.edu/~mernst/pubs/tunable-typeinf-ecoop2011.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/tunable-typeinf-ecoop2011-s... slides (PDF)

HAMPI: a string solver for testing, analysis and vulnerability detection

V. Ganesh, A. Kieżun, S. Artzi, P.J. Guo, P. Hooimeijer, M.D. Ernst, CAV 2011: 23rd International Conference on Computer Aided Verification, 2011.

Combined static and dynamic automated test generation

S. Zhang, D. Saff, Y. Bu, M.D. Ernst, ISSTA 2011, Proceedings of the 2011 International Symposium on Software Testing and Analysis, 2011.
https://code.google.com/archive/p/tpalus/ implementation https://homes.cs.washington.edu/~mernst/pubs/palus-testgen-issta2011.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/palus-testgen-issta2011.pdf slides (PDF) https://homes.cs.washington.edu/~mernst/pubs/palus-testgen-issta2011.pdf slides (PowerPoint)

How do programs become more concurrent? A story of program transformations

D. Dig, J. Marrero, M.D. Ernst, Proceedings of the 4th International Workshop on Multicore Software Engineering, 2011.
https://homes.cs.washington.edu/~mernst/pubs/concurrent-history-iwmse201... PDF

Always-available static and dynamic feedback

M. Bayne, R. Cook, M.D. Ernst, ICSE 2011, Proceedings of the 33rd International Conference on Software Engineering, 2011.
https://github.com/mernst/ductilej DuctileJ implementation https://homes.cs.washington.edu/~mernst/pubs/ductile-icse2011.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/ductile-icse2011-slides.pdf slides (PDF)

Inference of field initialization

F. Spoto, M.D. Ernst, ICSE 2011, Proceedings of the 33rd International Conference on Software Engineering, 2011.
ftp://ftp.cs.washington.edu/tr/2010/02/UW-CSE-10-02-01.PDF earlier TR with additional details https://homes.cs.washington.edu/~mernst/pubs/initialization-icse2011.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/initialization-icse2011-sli... slides (PDF)

Refactoring using type constraints

F. Tip, R.M. Fuhrer, A. Kieżun, M.D. Ernst, I. Balaban, B. De Sutter, ACM Transactions on Pro\-gramming Languages and Systems 33:3, 2011.
https://homes.cs.washington.edu/~mernst/pubs/refactoring-type-constraint... PDF

Building and using pluggable type-checkers

W. Dietl, S. Dietzel, M.D. Ernst, K. Muşlu, T. Schiller, ICSE 2011, Proceedings of the 33rd International Conference on Software Engineering, 2011.
https://checkerframework.org/ implementation https://homes.cs.washington.edu/~mernst/pubs/pluggable-checkers-icse2011... PDF https://homes.cs.washington.edu/~mernst/pubs/pluggable-checkers-icse2011... slides (PDF)

C3: An Experimental, Extensible, Reconfigurable Platform for HTML-based Applications

B.S. Lerner, B. Burg, H. Venter, W. Schulte, 2nd USENIX Conference on Web Application Development (WebApps '11), 2011.

Exploiting the collective wisdom of web application executions

B. Burg, 32nd ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2011): Fun Ideas and Thoughts Session, 2011.

Identifying program, test, and environmental changes that affect behaviour

R. Holmes, D. Notkin, Proceedings of the 33rd International Conference on Software Engineering, ACM, 2011.

http://homes.cs.washington.edu/~notkin/publications/acm-authorizer/notki... ACM-Authorizer-Link
http://www.youtube.com/watch?feature=player_embedded&v=Q7Xbi-JUNwU YouTube-Demonstration-Video

First workshop on developing tools as plug-ins (TOPI 2011)

J. Bishop, D. Notkin, K. Breitman, ICSE '11: Proceedings of the 33rd International Conference on Software Engineering (Workshop proceedings), ACM, 2011.

http://homes.cs.washington.edu/~notkin/publications/acm-authorizer/notki... ACM-Authorizer-Link

Communication patterns of agile requirements engineering

N.N.B. Abdullah, S. Honiden, H. Sharp, B. Nuseibeh, D. Notkin, AREW '11: Proceedings of the 1st Workshop on Agile Requirements Engineering, ACM, 2011.

http://homes.cs.washington.edu/~notkin/publications/acm-authorizer/notki... ACM-Authorizer-Link

Speculative analysis: Exploring future development states of software

Y. Brun, R. Holmes, M.D. Ernst, D. Notkin, FoSER: Workshop on the Future of Software Engineering Research, 2010.
https://github.com/brunyuriy/quick-fix-scout Quick Fix Scout implementation https://homes.cs.washington.edu/~mernst/pubs/speculation-foser2010.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/speculation-foser2010-slide... slides (PDF)

Rethinking the economics of software engineering

T.W. Schiller, M.D. Ernst, FoSER: Workshop on the Future of Software Engineering Research, 2010.
https://homes.cs.washington.edu/~mernst/pubs/economics-foser2010.pdf PDF

Ownership and immutability in generic Java

Y. Zibin, A. Potanin, P. Li, M. Ali, M.D. Ernst, OOPSLA 2010, Object-Oriented Programming Systems, Languages, and Applications, 2010.
https://ecs.wgtn.ac.nz/foswiki/pub/Main/TechnicalReportSeries/ECSTR10-16... TR with proofs https://homes.cs.washington.edu/~mernst/pubs/ownership-immutability-oops... PDF

Synoptic: Summarizing system logs with refinement

S. Schneider, I. Beschastnikh, S. Chernyak, M.D. Ernst, Y. Brun, SLAML 2010: Workshop on Managing Systems via Log Analysis and Machine Learning Techniques (SLAML '10), 2010.
https://github.com/ModelInference/synoptic implementation

Finding bugs in web applications using dynamic test generation and explicit state model checking

S. Artzi, A. Kieżun, J. Dolby, F. Tip, D. Dig, A. Paradkar, M.D. Ernst, IEEE Transactions on Software Engineering 36:4, 2010.
https://homes.cs.washington.edu/~mernst/pubs/bugs-webapps-tse2010.pdf PDF

Featherweight Ownership and Immutability Generic Java (FOIGJ)

A. Potanin, P. Li, Y. Zibin, M.D. Ernst, VUW School of Engineering and Computer Science:09-13, 2009.
https://homes.cs.washington.edu/~mernst/pubs/ownership-immutability-tr09... PDF

Automatically patching errors in deployed software

J.H. Perkins, S. Kim, S. Larsen, S. Amarasinghe, J. Bachrach, M. Carbin, C. Pacheco, F. Sherwood, S. Sidiroglou, G. Sullivan, W.F. Wong, Y. Zibin, M.D. Ernst, M. Rinard, SOSP 2009, Proceedings of the 22nd ACM Symposium on Operating Systems Principles, 2009.
https://homes.cs.washington.edu/~mernst/pubs/automatic-patching-sosp2009... PDF https://homes.cs.washington.edu/~mernst/pubs/automatic-patching-sosp2009... Slides (PDF) https://homes.cs.washington.edu/~mernst/pubs/automatic-patching-sosp2009... Slides (PowerPoint)

HAMPI: A solver for string constraints

A. Kieżun, V. Ganesh, P.J. Guo, P. Hooimeijer, M.D. Ernst, ISSTA 2009, Proceedings of the 2009 International Symposium on Software Testing and Analysis, 2009.
https://people.csail.mit.edu/akiezun/hampi/ HAMPI implementation and experiments https://homes.cs.washington.edu/~mernst/pubs/string-solver-issta2009.pdf PDF

Refactoring sequential Java code for concurrency via concurrent libraries

D. Dig, J. Marrero, M.D. Ernst, ICSE 2009, Proceedings of the 31st International Conference on Software Engineering, 2009.
https://web.archive.org/web/20170709075029/https://refactoring.info/tool... Concurrencer implementation https://homes.cs.washington.edu/~mernst/pubs/concurrent-refactoring-icse... PDF

Automatic creation of SQL injection and cross-site scripting attacks

A. Kieżun, P.J. Guo, K. Jayaraman, M.D. Ernst, ICSE 2009, Proceedings of the 31st International Conference on Software Engineering, 2009.
https://groups.csail.mit.edu/pag/ardilla/ Experimental data https://homes.cs.washington.edu/~mernst/pubs/create-attacks-icse2009.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/create-attacks-icse2009-sli... slides (PDF)

Parameter reference immutability: Formal definition, inference tool, and comparison

S. Artzi, J. Quinonez, A. Kieżun, M.D. Ernst, Automated Software Engineering 16:1, 2009.
https://homes.cs.washington.edu/~mernst/pubs/mutability-ase2007-slides.pdf slides (PDF) https://homes.cs.washington.edu/~mernst/pubs/mutability-ase2007-slides.pptx slides (PowerPoint) https://homes.cs.washington.edu/~mernst/pubs/mutability-jase2009.pdf PDF

Software, Software Engineering and Software Engineering Research: Some Unconventional Thoughts

D. Notkin, J. Comput. Sci. Technol. 24:2, 2009.

Type Annotations specification (JSR 308)

M.D. Ernst, 2008.
https://checkerframework.org/jsr308/ current status and implementation https://jcp.org/en/jsr/detail?id=308 original proposal

ReCrash: Making software failures reproducible by preserving object states

S. Artzi, S. Kim, M.D. Ernst, ECOOP 2008 –- Object-Oriented Programming, 22nd European Conference, 2008.
https://groups.csail.mit.edu/pag/ReCrash/ ReCrash implementation https://homes.cs.washington.edu/~mernst/pubs/reproduce-failures-ecoop200... PDF

Practical pluggable types for Java

M.M. Papi, M. Ali, T.Luis Correa, J.H. Perkins, M.D. Ernst, ISSTA 2008, Proceedings of the 2008 International Symposium on Software Testing and Analysis, 2008.
https://homes.cs.washington.edu/~mernst/pubs/pluggable-types-issta2008-s... talk slides (PDF) https://homes.cs.washington.edu/~mernst/pubs/pluggable-types-demo-slides... demo slides (PDF) https://homes.cs.washington.edu/~mernst/pubs/pluggable-checkers-retrospe... ISSTA 2018 retrospective slides (PDF) https://docs.google.com/presentation/d/1-DRyBQq-Afmu0nZnb7BK2vd95Nmr13O5... ISSTA 2018 retrospective slides (Google Slides) https://groups.csail.mit.edu/pag/pubs/pluggable-checkers-papi-mengthesis... Papi thesis (PDF) https://checkerframework.org/ Checker Framework implementation https://homes.cs.washington.edu/~mernst/pubs/pluggable-checkers-issta200... PDF

Inference of reference immutability

J. Quinonez, M.S. Tschantz, M.D. Ernst, ECOOP 2008 –- Object-Oriented Programming, 22nd European Conference, 2008.
https://groups.csail.mit.edu/pag/pubs/infer-refimmutability-quinonez-men... Quinonez thesis https://types.cs.washington.edu/javari/javarifier/ Javarifier implementation https://homes.cs.washington.edu/~mernst/pubs/infer-refimmutability-ecoop... PDF

Quantitative information flow as network flow capacity

S. McCamant, M.D. Ernst, PLDI 2008: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008.
https://people.csail.mit.edu/smcc/projects/secret-flow/flowcheck.html Flowcheck implementation https://groups.csail.mit.edu/pag/pubs/secret-max-flow-pldi2008.pdf PDF

Theories in practice: Easy-to-write specifications that catch bugs

D. Saff, M. Boshernitsan, M.D. Ernst, MIT Computer Science and Artificial Intelligence Laboratory:MIT-CSAIL-TR-2008-002, 2008.
https://dspace.mit.edu/bitstream/handle/1721.1/40090/MIT-CSAIL-TR-2008-0... PDF

The Daikon system for dynamic detection of likely invariants

M.D. Ernst, J.H. Perkins, P.J. Guo, S. McCamant, C. Pacheco, M.S. Tschantz, C. Xiao 69:1–3, 2007.
https://plse.cs.washington.edu/daikon/ Daikon implementation https://homes.cs.washington.edu/~mernst/pubs/daikon-tool-scp2007.pdf PDF

Annotations on Java types: JSR 308 working document

M.D. Ernst, 2007.
https://checkerframework.org/jsr308/ current status and implementation https://jcp.org/en/jsr/detail?id=308 original proposal

JSR 308: Annotations on Java types

M.D. Ernst, D. Coward, 2007.
https://checkerframework.org/jsr308/ current status and implementation https://jcp.org/en/jsr/detail?id=308 original proposal

Tools for enforcing and inferring reference immutability in Java

T.Luis Correa, J. Quinonez, M.D. Ernst, OOPSLA Companion: Object-Oriented Programming Systems, Languages, and Applications, 2007.
https://types.cs.washington.edu/javari/ Javari implementation https://homes.cs.washington.edu/~mernst/pubs/refimmut-tools-oopsla2007.pdf PDF

Object and reference immutability using Java generics

Y. Zibin, A. Potanin, M. Ali, S. Artzi, A. Kieżun, M.D. Ernst, ESEC/FSE 2007: Proceedings of the 11th European Software Engineering Conference and the 15th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2007.
https://checkerframework.org/manual/#igj-checker IGJ implementation https://homes.cs.washington.edu/~mernst/pubs/immutability-generics-fse20... PDF

Which warnings should I fix first?

S. Kim, M.D. Ernst, ESEC/FSE 2007: Proceedings of the 11th European Software Engineering Conference and the 15th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2007.
https://homes.cs.washington.edu/~mernst/pubs/prioritize-warnings-fse2007... PDF

A simulation-based proof technique for dynamic information flow

S. McCamant, M.D. Ernst, PLAS 2007: ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2007.
https://groups.csail.mit.edu/pag/pubs/infoflow-proof-plas2007.pdf PDF

Refactoring for parameterizing Java classes

A. Kieżun, M.D. Ernst, F. Tip, R.M. Fuhrer, ICSE 2007, Proceedings of the 29th International Conference on Software Engineering, 2007.
https://homes.cs.washington.edu/~mernst/pubs/parameterizing-generics-ics... PDF https://homes.cs.washington.edu/~mernst/pubs/parameterizing-generics-ics... slides (PDF)

Prioritizing warnings by analyzing software history

S. Kim, M.D. Ernst, MSR 2007: International Workshop on Mining Software Repositories, 2007.
https://homes.cs.washington.edu/~mernst/pubs/prioritize-warnings-msr2007... PDF

Feedback-directed random test generation

C. Pacheco, S.K. Lahiri, M.D. Ernst, T. Ball, ICSE 2007, Proceedings of the 29th International Conference on Software Engineering, 2007.
https://homes.cs.washington.edu/~mernst/pubs/feedback-testgen-issta2008-... ISSTA'08 slides (PowerPoint) https://homes.cs.washington.edu/~mernst/pubs/feedback-testgen-icse2017-m... ICSE 2017 retrospective slides (PDF) https://homes.cs.washington.edu/~mernst/pubs/feedback-testgen-icse2017-m... ICSE 2017 retrospective slides (PowerPoint) https://randoop.github.io/randoop/ Randoop implementation https://homes.cs.washington.edu/~mernst/pubs/feedback-testgen-icse2007.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/feedback-testgen-icse2007-s... slides (PDF) https://homes.cs.washington.edu/~mernst/pubs/feedback-testgen-icse2007-s... slides (PowerPoint)

The Groupthink specification exercise

M.D. Ernst, ICSE Education and Training Track: Software Engineering Education in the Modern Age: Challenges and Possibilities, PostProceedings of ICSE '05 Education and Training Track, Springer 4309, 2006.
https://homes.cs.washington.edu/~mernst/pubs/groupthink-specification-ex... activity materials https://homes.cs.washington.edu/~mernst/software/UpopVote.zip optional voting software https://homes.cs.washington.edu/~mernst/pubs/groupthink-icse2005-slides.pdf ICSE 2005 slides (PDF) https://homes.cs.washington.edu/~mernst/pubs/groupthink-icse2005-slides.ppt ICSE 2005 slides (PowerPoint) https://homes.cs.washington.edu/~mernst/pubs/groupthink-2006.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/groupthink-2006-2up.pdf 2-up PDF

Quantitative information-flow tracking for C and related languages

S. McCamant, M.D. Ernst, MIT Computer Science and Artificial Intelligence Laboratory:MIT-CSAIL-TR-2006-076, 2006.
https://groups.csail.mit.edu/pag/pubs/secret-tracking-tr076.pdf PDF https://dspace.mit.edu/handle/1721.1/34892 DSpace

JSR 308: Annotations on Java types

M.D. Ernst, D. Coward, 2006.
https://checkerframework.org/jsr308/ current status and implementation https://jcp.org/en/jsr/detail?id=308 original proposal

Finding the needles in the haystack: Generating legal test inputs for object-oriented programs

S. Artzi, M.D. Ernst, A. Kieżun, C. Pacheco, J.H. Perkins, M-TOOS: 1st Workshop on Model-Based Testing and Object-Oriented Systems, 2006.
https://homes.cs.washington.edu/~mernst/pubs/oo-test-gen-mtoos2006.pdf PDF

Combined static and dynamic mutability analysis

S. Artzi, M.D. Ernst, D. Glasser, A. Kieżun, MIT Computer Science and Artificial Intelligence Laboratory:MIT-CSAIL-TR-2006-065, 2006.
https://homes.cs.washington.edu/~mernst/pubs/mutability-tr065.pdf PDF

Feedback-directed random test generation

C. Pacheco, S.K. Lahiri, M.D. Ernst, T. Ball, Microsoft Research:MSR-TR-2006-125, 2006.
https://homes.cs.washington.edu/~mernst/pubs/feedback-testgen-tr125.pdf PDF

Refactoring for parameterizing Java classes

A. Kieżun, M.D. Ernst, F. Tip, R.M. Fuhrer, MIT Computer Science and Artificial Intelligence Laboratory:MIT-CSAIL-TR-2006-061, 2006.
https://homes.cs.washington.edu/~mernst/pubs/parameterizing-generics-tr.pdf PDF

An empirical comparison of automated generation and classification techniques for object-oriented unit testing

M. d'Amorim, C. Pacheco, D. Marinov, T. Xie, M.D. Ernst, ASE 2006: Proceedings of the 21st Annual International Conference on Automated Software Engineering, 2006.
https://homes.cs.washington.edu/~mernst/pubs/testgen-ase2006.pdf PDF

Inference and enforcement of data structure consistency specifications

B. Demsky, M.D. Ernst, P.J. Guo, S. McCamant, J.H. Perkins, M. Rinard, ISSTA 2006, Proceedings of the 2006 International Symposium on Software Testing and Analysis, 2006.
https://homes.cs.washington.edu/~mernst/pubs/infer-repair-issta2006.pdf PDF

Dynamic inference of abstract types

P.J. Guo, J.H. Perkins, S. McCamant, M.D. Ernst, ISSTA 2006, Proceedings of the 2006 International Symposium on Software Testing and Analysis, 2006.
https://plse.cs.washington.edu/daikon/ DynComp implementation (distributed as part of Daikon) https://homes.cs.washington.edu/~mernst/pubs/abstract-type-issta2006.pdf PDF

Detection of web service substitutability and composability

M.D. Ernst, R. Lencevicius, J.H. Perkins, WS-MaTe: International Workshop on Web Services –- Modeling and Testing, 2006.
https://homes.cs.washington.edu/~mernst/pubs/web-service-subst-wsmate200... PDF

Learning from executions: Dynamic analysis for software engineering and program understanding

M.D. Ernst, J.H. Perkins, 2005.  Tutorial at ASE 2005
https://homes.cs.washington.edu/~mernst/pubs/dynamic-tutorial-ase2005-ma... slides 1 (PDF) https://homes.cs.washington.edu/~mernst/pubs/dynamic-tutorial-ase2005-ja... slides 2 (PDF) https://homes.cs.washington.edu/~mernst/pubs/dynamic-tutorial-ase2005-co... slides 3 (PDF) https://homes.cs.washington.edu/~mernst/pubs/dynamic-tutorial-ase2005-da... slides 4 (PDF)

Automatic test factoring for Java

D. Saff, S. Artzi, J.H. Perkins, M.D. Ernst, ASE 2005: Proceedings of the 20th Annual International Conference on Automated Software Engineering, 2005.
https://homes.cs.washington.edu/~mernst/pubs/test-factoring-ase2005.pdf PDF

Javari: Adding reference immutability to Java

M.S. Tschantz, M.D. Ernst, OOPSLA 2005, Object-Oriented Programming Systems, Languages, and Applications, 2005.
https://groups.csail.mit.edu/pag/pubs/tschantz-refimmut-mengthesis.pdf extended version (PDF) https://types.cs.washington.edu/javari/ Javari implementation https://homes.cs.washington.edu/~mernst/pubs/ref-immutability-oopsla2005... PDF https://homes.cs.washington.edu/~mernst/pubs/ref-immutability-oopsla2005... slides (PowerPoint)

Verification for legacy programs

M.D. Ernst, VSTTE 2005: Verified Software: Theories, Tools, Experiments, 2005.
https://homes.cs.washington.edu/~mernst/pubs/legacy-verification-vstte20... PDF https://homes.cs.washington.edu/~mernst/pubs/legacy-verification-vstte20... slides (PDF)

Using predicate fields in a highly flexible industrial control system

S. Artzi, M.D. Ernst, OOPSLA 2005, Object-Oriented Programming Systems, Languages, and Applications, 2005.
https://homes.cs.washington.edu/~mernst/pubs/predicate-fields-oopsla2005... PDF

PASTE: ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

, 2005.
https://homes.cs.washington.edu/~mernst/meetings/paste2005/ workshop website

Static deadlock detection for Java libraries

A. Williams, W. Thies, M.D. Ernst, ECOOP 2005 –- Object-Oriented Programming, 19th European Conference, 2005.
https://homes.cs.washington.edu/~mernst/pubs/deadlock-library-ecoop2005.pdf PDF

Eclat: Automatic generation and classification of test inputs

C. Pacheco, M.D. Ernst, ECOOP 2005 –- Object-Oriented Programming, 19th European Conference, 2005.
https://groups.csail.mit.edu/pag/eclat/ Eclat implementation https://randoop.github.io/randoop/ Randoop implementation https://homes.cs.washington.edu/~mernst/pubs/classify-tests-ecoop2005.pdf PDF

An overview of JML tools and applications

L. Burdy, Y. Cheon, D. Cok, M.D. Ernst, J. Kiniry, G.T. Leavens, R.K.M. Leino, E. Poll, Software Tools for Technology Transfer 7:3, 2005.
https://homes.cs.washington.edu/~mernst/pubs/jml-tools-sttt2005.pdf PDF

The Groupthink specification exercise

M.D. Ernst, J. Chapin, ICSE 2005, Proceedings of the 27th International Conference on Software Engineering, 2005.
https://homes.cs.washington.edu/~mernst/pubs/groupthink-icse2005.pdf PDF

Efficient incremental algorithms for dynamic detection of likely invariants

J.H. Perkins, M.D. Ernst, FSE 2004: Proceedings of the ACM SIGSOFT 12th Symposium on the Foundations of Software Engineering, 2004.
https://plse.cs.washington.edu/daikon/ Daikon implementation https://homes.cs.washington.edu/~mernst/pubs/invariants-incremental-fse2... PDF https://homes.cs.washington.edu/~mernst/pubs/invariants-incremental-fse2... slides (PDF)

Formalizing lightweight verification of software component composition

S. McCamant, M.D. Ernst, SAVCBS 2004: Specification and Verification of Component-Based Systems, 2004.
https://homes.cs.washington.edu/~mernst/pubs/upgrades-savcbs2004.pdf PDF

A practical type system and language for reference immutability

A. Birka, M.D. Ernst, OOPSLA 2004, Object-Oriented Programming Systems, Languages, and Applications, 2004.
https://types.cs.washington.edu/javari/ Javari implementation https://homes.cs.washington.edu/~mernst/pubs/ref-immutability-oopsla2004... PDF https://homes.cs.washington.edu/~mernst/pubs/ref-immutability-oopsla2004... slides (PDF)

Converting Java programs to use generic libraries

A. Donovan, A. Kieżun, M.S. Tschantz, M.D. Ernst, OOPSLA 2004, Object-Oriented Programming Systems, Languages, and Applications, 2004.
https://homes.cs.washington.edu/~mernst/pubs/instantiating-generics-oops... PDF https://homes.cs.washington.edu/~mernst/pubs/instantiating-generics-oops... slides (PDF)

Eclat: Automatic generation and classification of test inputs

C. Pacheco, M.D. Ernst, MIT Laboratory for Computer Science:968, 2004.
https://homes.cs.washington.edu/~mernst/pubs/classify-tests-tr968.pdf PDF

Improving adaptability via program steering

L. Lin, M.D. Ernst, ISSTA 2004, Proceedings of the 2004 International Symposium on Software Testing and Analysis, 2004.
https://homes.cs.washington.edu/~mernst/pubs/steering-issta2004.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/steering-issta2004.ppt slides (PowerPoint)

Using simulated execution in verifying distributed algorithms

T.N. Win, M.D. Ernst, S.J. Garland, D. Kırlı, N. Lynch, Software Tools for Technology Transfer 6:1, 2004.
https://homes.cs.washington.edu/~mernst/pubs/simexecution-vmcai2003-slid... slides (PDF) https://homes.cs.washington.edu/~mernst/pubs/simexecution-vmcai2003-slid... slides (PowerPoint) https://homes.cs.washington.edu/~mernst/pubs/simexecution-sttt2004.pdf PDF

An experimental evaluation of continuous testing during development

D. Saff, M.D. Ernst, ISSTA 2004, Proceedings of the 2004 International Symposium on Software Testing and Analysis, 2004.
https://groups.csail.mit.edu/pag/continuoustesting/ Eclipse plug-in https://homes.cs.washington.edu/~mernst/pubs/ct-user-study-issta2004.pdf PDF

Early identification of incompatibilities in multi-component upgrades

S. McCamant, M.D. Ernst, ECOOP 2004 –- Object-Oriented Programming, 18th European Conference, 2004.
https://homes.cs.washington.edu/~mernst/pubs/upgrades-ecoop2004.pdf PDF

Automatic mock object creation for test factoring

D. Saff, M.D. Ernst, PASTE 2004: ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'04), 2004.
https://homes.cs.washington.edu/~mernst/pubs/mock-factoring-paste2004.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/mock-factoring-paste2004-sl... slides (PDF) https://homes.cs.washington.edu/~mernst/pubs/mock-factoring-paste2004-sl... slides (PowerPoint)

Finding latent code errors via machine learning over program executions

Y. Brun, M.D. Ernst, ICSE 2004, Proceedings of the 26th International Conference on Software Engineering, 2004.
https://homes.cs.washington.edu/~mernst/pubs/machlearn-errors-icse2004.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/machlearn-errors-icse2004-s... slides (PDF)

Continuous testing in Eclipse

D. Saff, M.D. Ernst, 2nd Eclipse Technology Exchange Workshop (eTX), 2004.
https://groups.csail.mit.edu/pag/continuoustesting/ Eclipse plug-in https://homes.cs.washington.edu/~mernst/pubs/conttest-plugin-etx2004.pdf PDF

Predicting problems caused by component upgrades

S. McCamant, M.D. Ernst, MIT Laboratory for Computer Science:941, 2004.  Revision of first author's Master's thesis
https://homes.cs.washington.edu/~mernst/pubs/upgrades-mccamant-tr941.pdf PDF

Reducing wasted development time via continuous testing

D. Saff, M.D. Ernst, ISSRE 2003: Fourteenth International Symposium on Software Reliability Engineering, 2003.
https://homes.cs.washington.edu/~mernst/pubs/wasted-time-issre2003.pdf PDF

Summary: Workshop on Dynamic Analysis (WODA 2003)

J.E. Cook, M.D. Ernst, ACM SIGSOFT Software Engineering Notes 28:6, 2003.
https://homes.cs.washington.edu/~mernst/pubs/woda2003-summary.pdf PDF

Predicting problems caused by component upgrades

S. McCamant, M.D. Ernst, ESEC/FSE 2003: Proceedings of the 9th European Software Engineering Conference and the 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2003.
https://homes.cs.washington.edu/~mernst/pubs/upgrades-fse2003.pdf PDF

Selecting, refining, and evaluating predicates for program analysis

N. Dodoo, L. Lin, M.D. Ernst, MIT Laboratory for Computer Science:MIT-LCS-TR-914, 2003.
https://homes.cs.washington.edu/~mernst/pubs/predicates-tr914.pdf PDF

WODA 2003: ICSE Workshop on Dynamic Analysis

, 2003.
https://www.cs.nmsu.edu/~jcook/woda2003/ workshop website https://homes.cs.washington.edu/~mernst/pubs/woda2003-proceedings.pdf PDF

Improving test suites via operational abstraction

M. Harder, J. Mellen, M.D. Ernst, ICSE 2003, Proceedings of the 25th International Conference on Software Engineering, 2003.
https://homes.cs.washington.edu/~mernst/pubs/improve-testsuite-slides.pdf talk slides (PDF) https://homes.cs.washington.edu/~mernst/pubs/improve-testsuite-slides.ppt talk slides (PowerPoint) https://homes.cs.washington.edu/~mernst/pubs/improve-testsuite-icse2003.pdf PDF

Determining legal method call sequences in object interfaces

S.V. Meghani, M.D. Ernst, 2003.
https://homes.cs.washington.edu/~mernst/pubs/call-sequences.pdf PDF

Static and dynamic analysis: Synergy and duality

M.D. Ernst, WODA 2003: Workshop on Dynamic Analysis, 2003.
https://homes.cs.washington.edu/~mernst/pubs/staticdynamic-paste2004-sli... slides (PDF) https://homes.cs.washington.edu/~mernst/pubs/staticdynamic-paste2004-sli... slides (PowerPoint) https://homes.cs.washington.edu/~mernst/pubs/staticdynamic-woda2003.pdf PDF

Using simulated execution in verifying distributed algorithms

T.N. Win, M.D. Ernst, S.J. Garland, D. Kırlı, N. Lynch, VMCAI 2003: Fourth International Conference on Verification, Model Checking and Abstract Interpretation, 2003.
https://homes.cs.washington.edu/~mernst/pubs/simexecution-vmcai2003.pdf PDF

Programming in a Data Factory

S. Tanimoto, Int'l Symposium on Visual Languages and Human-Centric Computing, IEEE, 2003.

An empirical analysis of C preprocessor use

M.D. Ernst, G.J. Badros, D. Notkin, IEEE Transactions on Software Engineering 28:12, 2002.
https://homes.cs.washington.edu/~mernst/pubs/macros.tar.gz implementation https://homes.cs.washington.edu/~mernst/pubs/c-preprocessor-tse2002.pdf PDF

Graphs induced by Gray codes

E.L. Wilmer, M.D. Ernst, Discrete Mathematics 257, 2002.
https://homes.cs.washington.edu/~mernst/pubs/graycodes-dm2002.pdf PDF

Invariant inference for static checking: An empirical evaluation

J.W. Nimmer, M.D. Ernst, FSE 2002, Proceedings of the ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering, 2002.
https://homes.cs.washington.edu/~mernst/pubs/annotation-study-fse2002.pdf PDF

Automatic generation of program specifications

J.W. Nimmer, M.D. Ernst, ISSTA 2002, Proceedings of the 2002 International Symposium on Software Testing and Analysis, 2002.
https://homes.cs.washington.edu/~mernst/pubs/generate-specs-issta2002.pdf PDF

Verifying distributed algorithms via dynamic analysis and theorem proving

T.N. Win, M.D. Ernst, MIT Laboratory for Computer Science:841, 2002.
https://homes.cs.washington.edu/~mernst/pubs/verify-distributed-tr841.pdf PDF

Selecting predicates for implications in program analysis

N. Dodoo, A. Donovan, L. Lin, M.D. Ernst, 2002.
https://homes.cs.washington.edu/~mernst/pubs/invariants-implications.pdf PDF

Automated support for program refactoring using invariants

Y. Kataoka, M.D. Ernst, W.G. Griswold, D. Notkin, ICSM 2001: Proceedings of the International Conference on Software Maintenance, 2001.
https://homes.cs.washington.edu/~mernst/pubs/refactoring-icsm2001.pdf PDF

Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java

J.W. Nimmer, M.D. Ernst, RV 2001: Proceedings of the First Workshop on Runtime Verification, 2001.
https://homes.cs.washington.edu/~mernst/pubs/invariants-verify-rv2001.pdf PDF

Panel: Perspectives on software engineering

D. Notkin, M. Donner, M.D. Ernst, M. Gorlick,  , ICSE 2001, Proceedings of the 23rd International Conference on Software Engineering, 2001.
https://homes.cs.washington.edu/~notkin/icse2001panel.htm slides (for all panelists) https://homes.cs.washington.edu/~mernst/pubs/se-perspectives-panel-icse2... PDF

Software Reflexion Models: Bridging the Gap between Design and Implementation

G.C. Murphy, D. Notkin, K.J. Sullivan, IEEE Trans. Softw. Eng., IEEE Press 27, 2001.

Dynamically discovering likely program invariants to support program evolution

M.D. Ernst, J. Cockrell, W.G. Griswold, D. Notkin, IEEE Transactions on Software Engineering 27:2, 2001.
https://homes.cs.washington.edu/~mernst/pubs/invariants-icse99.pdf ICSE 1999 paper (PDF) https://homes.cs.washington.edu/~mernst/pubs/invariants-icse99-slides.ppt ICSE 1999 talk slides (PowerPoint) https://homes.cs.washington.edu/~mernst/pubs/invariants-icse99-slides.pdf ICSE 1999 talk slides (PDF) https://plse.cs.washington.edu/daikon/ Daikon implementation https://homes.cs.washington.edu/~mernst/pubs/invariants-tse2001.pdf PDF

Dynamically Discovering Likely Program Invariants

M.D. Ernst, University of Washington Department of Computer Science and Engineering, 2000.
https://plse.cs.washington.edu/daikon/ Daikon implementation https://homes.cs.washington.edu/~mernst/pubs/invariants-ernst-phdthesis.pdf PDF

Quickly detecting relevant program invariants

M.D. Ernst, A. Czeisler, W.G. Griswold, D. Notkin, ICSE 2000, Proceedings of the 22nd International Conference on Software Engineering, 2000.
https://plse.cs.washington.edu/daikon/ Daikon implementation https://homes.cs.washington.edu/~mernst/pubs/invariants-relevance-icse20... PDF

Dynamically discovering pointer-based program invariants

M.D. Ernst, W.G. Griswold, Y. Kataoka, D. Notkin, University of Washington Department of Computer Science and Engineering:UW-CSE-99-11-02, 1999.  Revised March 17, 2000
https://plse.cs.washington.edu/daikon/ Daikon implementation https://homes.cs.washington.edu/~mernst/pubs/invariants-pointers-tr99110... PDF

Predicate dispatching: A unified theory of dispatch

M.D. Ernst, C.S. Kaplan, C. Chambers, ECOOP '98: the 12th European Conference on Object-Oriented Programming, 1998.
ftp://ftp.cs.washington.edu/homes/chambers/gud.tar.gz implementation https://projectsweb.cs.washington.edu/research/projects/cecil/www/Gud/ma... manual https://homes.cs.washington.edu/~mernst/pubs/dispatching-ecoop98.pdf PDF https://homes.cs.washington.edu/~mernst/pubs/dispatching-ecoop98-slides.pdf slides (PDF)

Reengineering with Reflexion Models: A Case Study

G.C. Murphy, D. Notkin, Computer, IEEE Computer Society Press 30, 1997.

Automatic SAT-compilation of planning problems

M.D. Ernst, T.D. Millstein, D.S. Weld, IJCAI '97: IJCAI-97, Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997.
ftp://ftp.cs.washington.edu/pub/ai/medic.tar.gz Medic implementation https://homes.cs.washington.edu/~mernst/pubs/satcompile-ijcai97.pdf PDF

Method and system for controlling unauthorized access to information distributed to users

G.A. Yuval, M.D. Ernst, 1996.  Assigned to Microsoft Corporation
https://patents.google.com/patent/US5586186A/en Google Patents https://patentimages.storage.googleapis.com/d5/7a/e9/7233c72863437c/US55... PDF

Lightweight Structural Summarization as an Aid to Software Evolution

G.C. Murphy, Computer Science & Engineering Ph.D., 1996.

Mediators in a Radiation Treatment Planning Environment

K.J. Sullivan, I.J. Kalet, D. Notkin, IEEE Transactions on Software Engineering, IEEE Computer Society 22:8, 1996.

http://homes.cs.washington.edu/~notkin/publications/ieee/00536957.pdf PDF
http://homes.cs.washington.edu/~notkin/publications/ieee/ieee-disclaimer... IEEE-disclaimer

IR '95: Intermediate Representations Workshop Proceedings

, 1995.  \em ACM SIGPLAN Notices 30(3), March 1995
https://homes.cs.washington.edu/~mernst/meetings/ir95/ workshop website https://dl.acm.org/citation.cfm?id=202530 ACM proceedings

Slicing pointers and procedures (abstract)

M.D. Ernst, Microsoft Research:MSR-TR-95-23, 1995.
https://homes.cs.washington.edu/~mernst/pubs/slicing-9705-slides.pdf slides (PDF) https://homes.cs.washington.edu/~mernst/pubs/slicing-9705-slides.ppt slides (PowerPoint) https://homes.cs.washington.edu/~mernst/pubs/slicing-tr9523.pdf PDF

Playing Konane mathematically: A combinatorial game-theoretic analysis

M.D. Ernst, UMAP Journal 16:2, 1995.
https://homes.cs.washington.edu/~mernst/pubs/konane-talk.ppt talk slides (PowerPoint, 1/17/2001) https://homes.cs.washington.edu/~mernst/software/games.tar.gz implementation https://homes.cs.washington.edu/~mernst/pubs/konane-tr9524.pdf PDF

Serializing parallel programs by removing redundant computation

M.D. Ernst, MIT Laboratory for Computer Science:MIT/LCS/TR-638, 1994.
https://homes.cs.washington.edu/~mernst/pubs/serialize-tr638.pdf PDF

Practical fine-grained static slicing of optimized code

M.D. Ernst, Microsoft Research:MSR-TR-94-14, 1994.
https://homes.cs.washington.edu/~mernst/pubs/slicing-9705-slides.pdf slides (PDF) https://homes.cs.washington.edu/~mernst/pubs/slicing-9705-slides.ppt slides (PowerPoint) https://homes.cs.washington.edu/~mernst/pubs/slicing-tr9414.pdf PDF

Heraclitean encryption

M.D. Ernst, G. Yuval, Microsoft Research:MSR-TR-94-13, 1994.
https://homes.cs.washington.edu/~mernst/pubs/heraclitean-tr9413.pdf PDF

Value dependence graphs: Representation without taxation

D. Weise, R.F. Crew, M.D. Ernst, B. Steensgaard, POPL '94: Proceedings of the 21st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994.
https://homes.cs.washington.edu/~mernst/pubs/vdg-popl94.pdf PDF

Automated assistance for program restructuring

W.G. Griswold, D. Notkin, ACM Trans. Softw. Eng. Methodol., ACM 2:3, 1993.

http://homes.cs.washington.edu/~notkin/publications/acm-authorizer/notki... ACM-Authorizer-Link

Reconciling environment integration and software evolution

K.J. Sullivan, D. Notkin, ACM Trans. Softw. Eng. Methodol., ACM 1, 1992.

http://homes.cs.washington.edu/~notkin/publications/acm-authorizer/notki... ACM-Authorizer-Link

Intellectual property in computing: (How) should software be protected? An industry perspective

M.D. Ernst, MIT Artificial Intelligence Laboratory:AIM-1369, 1992.
https://homes.cs.washington.edu/~mernst/pubs/ipcolloq-press-release.pdf press release https://homes.cs.washington.edu/~mernst/pubs/ipcolloq-transcript-aim1369... PDF

Adequate Models for Recursive Program Schemes

M.D. Ernst, MIT Department of Electrical Engineering and Computer Science, 1989.
https://homes.cs.washington.edu/~mernst/pubs/rpsmodel-ernst-bsthesis.pdf PDF

Self-reference in English

M.D. Ernst, 1989.  The idea from this unpublished term paper was written up by Boolos without Ernst's knowledge, to appear as ``Quotational Ambiguity,'' by George Boolos, in \em On Quine, (Paulo Leonardi, ed.), pp. 283–296, Cambridge University Press, 1995. Boolos called the idea ``Ernst's Paradox'' but refused Ernst's request for coauthorship.

ML typechecking is not efficient

M.D. Ernst, Papers of the MIT ACM Undergraduate Conference, 1989.

Image/map correspondence using curve matching

M.D. Ernst, B.E. Flinchbaugh, AAAI Spring Symposium on Robot Navigation, 1989.  Also published as Texas Instruments Technical Report CSC-SIUL-89-12
https://homes.cs.washington.edu/~mernst/pubs/curvematch-aaai1989.pdf PDF