Value Dependence Graphs: Representation without Taxation. - Daniel Weise; Roger F. Crew; Michael D. Ernst; Bjarne Steensgaard (POPL, 1994)

Automatic SAT-Compilation of Planning Problems. - Michael D. Ernst; Todd D. Millstein; Daniel S. Weld (IJCAI, 1997)

Predicate Dispatching: A Unified Theory of Dispatch. - Michael D. Ernst; Craig S. Kaplan; Craig Chambers (ECOOP, 1998)

Research Summary for Dynamic Detection of Program Invariants. - Michael D. Ernst (ICSE, 1999)

Quickly detecting relevant program invariants. - Michael D. Ernst; Adam Czeisler; William G. Griswold; David Notkin (ICSE, 2000)

Panel: Perspectives on Software Engineering. - David Notkin; Marc Donner; Michael D. Ernst; Michael M. Gorlick; E. James Whitehead Jr. (ICSE, 2001)

Summary of Dynamically Discovering Likely Program Invariants. - Michael D. Ernst (ICSM, 2001)

Automated Support for Program Refactoring Using Invariants. - Yoshio Kataoka; Michael D. Ernst; William G. Griswold; David Notkin (ICSM, 2001)

Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java. - Jeremy W. Nimmer; Michael D. Ernst (RV@CAV, 2001)

Dynamically Discovering Likely Program Invariants to Support Program Evolution. - Michael D. Ernst; Jake Cockrell; William G. Griswold; David Notkin (IEEE Trans. Software Eng., 2001)

Automatic generation of program specifications. - Jeremy W. Nimmer; Michael D. Ernst (ISSTA, 2002)

Invariant inference for static checking. - Jeremy W. Nimmer; Michael D. Ernst (SIGSOFT FSE, 2002)

Graphs induced by Gray codes. - Elizabeth L. Wilmer; Michael D. Ernst (Discret. Math., 2002)

An Empirical Analysis of C Preprocessor Use. - Michael D. Ernst; Greg J. Badros; David Notkin (IEEE Trans. Software Eng., 2002)

ICSE Workshop on Dynamic Analysis (WODA 2003). - Jonathan E. Cook 001; Michael D. Ernst (ICSE, 2003)

Improving Test Suites via Operational Abstraction. - Michael Harder; Jeff Mellen; Michael D. Ernst (ICSE, 2003)

Reducing wasted development time via continuous testing. - David Saff; Michael D. Ernst (ISSRE, 2003)

Predicting problems caused by component upgrades. - Stephen McCamant; Michael D. Ernst (ESEC / SIGSOFT FSE, 2003)

Summary: ICSE workshop on dynamic analysis (WODA 2003). - Jonathan E. Cook 001; Michael D. Ernst (ACM SIGSOFT Softw. Eng. Notes, 2003)

Early Identification of Incompatibilities in Multi-component Upgrades. - Stephen McCamant; Michael D. Ernst (ECOOP, 2004)

Finding Latent Code Errors via Machine Learning over Program Executions. - Yuriy Brun; Michael D. Ernst (ICSE, 2004)

Improving the adaptability of multi-mode systems via program steering. - Lee Lin; Michael D. Ernst (ISSTA, 2004)

An experimental evaluation of continuous testing during development. - David Saff; Michael D. Ernst (ISSTA, 2004)

A practical type system and language for reference immutability. - Adrian Birka; Michael D. Ernst (OOPSLA, 2004)

Converting java programs to use generic libraries. - Alan Donovan; Adam Kiezun; Matthew S. Tschantz; Michael D. Ernst (OOPSLA, 2004)

Invited Talk Static and dynamic analysis: synergy and duality. - Michael D. Ernst (PASTE, 2004)

Mock object creation for test factoring. - David Saff; Michael D. Ernst (PASTE, 2004)

Efficient incremental algorithms for dynamic detection of likely invariants. - Jeff H. Perkins; Michael D. Ernst (SIGSOFT FSE, 2004)

Continuous Testing in Eclipse. - David Saff; Michael D. Ernst (eTX, 2004)

Using simulated execution in verifying distributed algorithms. - Toh Ne Win; Michael D. Ernst; Stephen J. Garland; Dilsun Kirli Kaynar; Nancy A. Lynch (Int. J. Softw. Tools Technol. Transf., 2004)

Eclat: Automatic Generation and Classification of Test Inputs. - Carlos Pacheco; Michael D. Ernst (ECOOP, 2005)

Static Deadlock Detection for Java Libraries. - Amy L. Williams; William Thies; Michael D. Ernst (ECOOP, 2005)

The Groupthink Specification Exercise. - Michael D. Ernst (Software Education and Training Sessions @ ICSE, 2005)

The groupthink specification exercise. - Michael D. Ernst; John Chapin (ICSE, 2005)

Test factoring: focusing test suites for the task at hand. - David Saff; Michael D. Ernst (ICSE, 2005)

Automatic test factoring for java. - David Saff; Shay Artzi; Jeff H. Perkins; Michael D. Ernst (ASE, 2005)

Using predicate fields in a highly flexible industrial control system. - Shay Artzi; Michael D. Ernst (OOPSLA Companion, 2005)

Javari: adding reference immutability to Java. - Matthew S. Tschantz; Michael D. Ernst (OOPSLA, 2005)

An overview of JML tools and applications. - Lilian Burdy; Yoonsik Cheon; David R. Cok; Michael D. Ernst; Joseph R. Kiniry; Gary T. Leavens; K. Rustan M. Leino; Erik Poll (Int. J. Softw. Tools Technol. Transf., 2005)

Inference and enforcement of data structure consistency specifications. - Brian Demsky; Michael D. Ernst; Philip J. Guo; Stephen McCamant; Jeff H. Perkins; Martin C. Rinard (ISSTA, 2006)

Dynamic inference of abstract types. - Philip J. Guo; Jeff H. Perkins; Stephen McCamant; Michael D. Ernst (ISSTA, 2006)

An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. - Marcelo d'Amorim; Carlos Pacheco; Tao Xie 001; Darko Marinov; Michael D. Ernst (ASE, 2006)

Refactoring for Parameterizing Java Classes. - Adam Kiezun; Michael D. Ernst; Frank Tip; Robert M. Fuhrer (ICSE, 2007)

Feedback-Directed Random Test Generation. - Carlos Pacheco; Shuvendu K. Lahiri; Michael D. Ernst; Thomas Ball 001 (ICSE, 2007)

Combined static and dynamic mutability analysis. - Shay Artzi; Adam Kiezun; David Glasser; Michael D. Ernst (ASE, 2007)

Prioritizing Warning Categories by Analyzing Software History. - Sunghun Kim 001; Michael D. Ernst (MSR, 2007)

Tools for enforcing and inferring reference immutability in Java. - Telmo Luis Correa Jr.; Jaime Quinonez; Michael D. Ernst (OOPSLA Companion, 2007)

Randoop: feedback-directed random testing for Java. - Carlos Pacheco; Michael D. Ernst (OOPSLA Companion, 2007)

Compile-time type-checking for custom type qualifiers in Java. - Matthew M. Papi; Michael D. Ernst (OOPSLA Companion, 2007)

A simulation-based proof technique for dynamic information flow. - Stephen McCamant; Michael D. Ernst (PLAS, 2007)

Which warnings should I fix first? - Sunghun Kim 001; Michael D. Ernst (ESEC/SIGSOFT FSE, 2007)

Object and reference immutability using java generics. - Yoav Zibin; Alex Potanin; Mahmood Ali; Shay Artzi; Adam Kiezun; Michael D. Ernst (ESEC/SIGSOFT FSE, 2007)

The Daikon system for dynamic detection of likely invariants. - Michael D. Ernst; Jeff H. Perkins; Philip J. Guo; Stephen McCamant; Carlos Pacheco; Matthew S. Tschantz; Chen Xiao (Sci. Comput. Program., 2007)

ReCrash: Making Software Failures Reproducible by Preserving Object States. - Shay Artzi; Sunghun Kim 001; Michael D. Ernst (ECOOP, 2008)

Inference of Reference Immutability. - Jaime Quinonez; Matthew S. Tschantz; Michael D. Ernst (ECOOP, 2008)

Finding bugs in dynamic web applications. - Shay Artzi; Adam Kiezun; Julian Dolby; Frank Tip; Danny Dig; Amit M. Paradkar; Michael D. Ernst (ISSTA, 2008)

Practical pluggable types for java. - Matthew M. Papi; Mahmood Ali; Telmo Luis Correa Jr.; Jeff H. Perkins; Michael D. Ernst (ISSTA, 2008)

Enforcing reference and object immutability in Java. - Mahmood Ali; Yoav Zibin; Matthew M. Papi; Michael D. Ernst (OOPSLA Companion, 2008)

Compile-time type-checking for custom type qualifiers in Java. - Matthew M. Papi; Mahmood Ali; Michael D. Ernst (OOPSLA Companion, 2008)

Quantitative information flow as network flow capacity. - Stephen McCamant; Michael D. Ernst (PLDI, 2008)

Refactoring sequential Java code for concurrency via concurrent libraries. - Danny Dig; John Marrero; Michael D. Ernst (ICSE, 2009)

Concurrencer: A tool for retrofitting concurrency into sequential java applications via concurrent libraries. - Danny Dig; John Marrero; Michael D. Ernst (ICSE Companion, 2009)

Automatic creation of SQL Injection and cross-site scripting attacks. - Adam Kiezun; Philip J. Guo; Karthick Jayaraman; Michael D. Ernst (ICSE, 2009)

HAMPI: a solver for string constraints. - Adam Kiezun; Vijay Ganesh 001; Philip J. Guo; Pieter Hooimeijer; Michael D. Ernst (ISSTA, 2009)

ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications. - Shay Artzi; Sunghun Kim 001; Michael D. Ernst (ESEC/SIGSOFT FSE, 2009)

Automatically patching errors in deployed software. - Jeff H. Perkins; Sunghun Kim 001; Samuel Larsen; Saman P. Amarasinghe; Jonathan Bachrach; Michael Carbin; Carlos Pacheco; Frank Sherwood; Stelios Sidiroglou; Gregory T. Sullivan; Weng-Fai Wong; Yoav Zibin; et al. (SOSP, 2009)

Parameter reference immutability: formal definition, inference tool, and comparison. - Shay Artzi; Adam Kiezun; Jaime Quinonez; Michael D. Ernst (Autom. Softw. Eng., 2009)

Ownership and immutability in generic Java. - Yoav Zibin; Alex Potanin; Paley Li; Mahmood Ali; Michael D. Ernst (OOPSLA, 2010)

Synoptic: Summarizing System Logs with Refinement. - Sigurd Schneider; Ivan Beschastnikh; Slava Chernyak; Michael D. Ernst; Yuriy Brun (SLAML, 2010)

Speculative analysis: exploring future development states of software. - Yuriy Brun; Reid Holmes; Michael D. Ernst; David Notkin (FoSER, 2010)

Building and using pluggable type systems. - Michael D. Ernst; Mahmood Ali (SIGSOFT FSE, 2010)

Rethinking the economics of software engineering. - Todd W. Schiller; Michael D. Ernst (FoSER, 2010)

How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback. - Michael D. Ernst (TAP@TOOLS, 2010)

HaLoop: Efficient Iterative Data Processing on Large Clusters. - Yingyi Bu; Bill Howe; Magdalena Balazinska; Michael D. Ernst (Proc. VLDB Endow., 2010)

Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking. - Shay Artzi; Adam Kiezun; Julian Dolby; Frank Tip; Danny Dig; Amit M. Paradkar; Michael D. Ernst (IEEE Trans. Software Eng., 2010)

HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. - Vijay Ganesh 001; Adam Kiezun; Shay Artzi; Philip J. Guo; Pieter Hooimeijer; Michael D. Ernst (CAV, 2011)

Tunable Static Inference for Generic Universe Types. - Werner Dietl; Michael D. Ernst; Peter Müller 001 (ECOOP, 2011)

Always-available static and dynamic feedback. - Michael Bayne; Richard Cook; Michael D. Ernst (ICSE, 2011)

Building and using pluggable type-checkers. - Werner Dietl; Stephanie Dietzel; Michael D. Ernst; Kivanç Muslu; Todd W. Schiller (ICSE, 2011)

How do programs become more concurrent: a story of program transformations. - Danny Dig; John Marrero; Michael D. Ernst (IWMSE@ICSE, 2011)

Inference of field initialization. - Fausto Spoto; Michael D. Ernst (ICSE, 2011)

Combined static and dynamic automated test generation. - Sai Zhang 001; David Saff; Yingyi Bu; Michael D. Ernst (ISSTA, 2011)

Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs. - Brian Robinson; Michael D. Ernst; Jeff H. Perkins; Vinay Augustine; Nuo Li (ASE, 2011)

Automated documentation inference to explain failed tests. - Sai Zhang 001; Cheng Zhang; Michael D. Ernst (ASE, 2011)

Synoptic: studying logged behavior with inferred models. - Ivan Beschastnikh; Jenny Abrahamson; Yuriy Brun; Michael D. Ernst (SIGSOFT FSE, 2011)

Leveraging existing instrumentation to automatically infer invariant-constrained models. - Ivan Beschastnikh; Yuriy Brun; Sigurd Schneider; Michael Sloan; Michael D. Ernst (SIGSOFT FSE, 2011)

Proactive detection of collaboration conflicts. - Yuriy Brun; Reid Holmes; Michael D. Ernst; David Notkin (SIGSOFT FSE, 2011)

Crystal: precise and unobtrusive conflict warnings. - Yuriy Brun; Reid Holmes; Michael D. Ernst; David Notkin (SIGSOFT FSE, 2011)

Mining temporal invariants from partially ordered logs. - Ivan Beschastnikh; Yuriy Brun; Michael D. Ernst; Arvind Krishnamurthy; Thomas E. Anderson (ACM SIGOPS Oper. Syst. Rev., 2011)

Refactoring using type constraints. - Frank Tip; Robert M. Fuhrer; Adam Kiezun; Michael D. Ernst; Ittai Balaban; Bjorn De Sutter (ACM Trans. Program. Lang. Syst., 2011)

Verification games: making verification fun. - Werner Dietl; Stephanie Dietzel; Michael D. Ernst; Nathaniel Mote; Brian Walker; Seth Cooper; Timothy Pavlik; Zoran Popovic (FTfJP@ECOOP, 2012)

Inference and Checking of Object Ownership. - Wei Huang 001; Werner Dietl; Ana L. Milanova; Michael D. Ernst (ECOOP, 2012)

A type system for regular expressions. - Eric Spishak; Werner Dietl; Michael D. Ernst (FTfJP@ECOOP, 2012)

CBCD: Cloned buggy code detector. - Jingyue Li; Michael D. Ernst (ICSE, 2012)

Improving IDE recommendations by considering global implications of existing recommendations. - Kivanç Muslu; Yuriy Brun; Reid Holmes; Michael D. Ernst; David Notkin (ICSE, 2012)

Finding errors in multithreaded GUI applications. - Sai Zhang 001; Hao Lü; Michael D. Ernst (ISSTA, 2012)

Reim & ReImInfer: checking and inference of reference immutability and method purity. - Wei Huang 001; Ana L. Milanova; Werner Dietl; Michael D. Ernst (OOPSLA, 2012)

Speculative analysis of integrated development environment recommendations. - Kivanç Muslu; Yuriy Brun; Reid Holmes; Michael D. Ernst; David Notkin (OOPSLA, 2012)

Reducing the barriers to writing verified specifications. - Todd W. Schiller; Michael D. Ernst (OOPSLA, 2012)

Static lock capabilities for deadlock freedom. - Colin S. Gordon; Michael D. Ernst; Dan Grossman (TLDI, 2012)

HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars. - Adam Kiezun; Vijay Ganesh 001; Shay Artzi; Philip J. Guo; Pieter Hooimeijer; Michael D. Ernst (ACM Trans. Softw. Eng. Methodol., 2012)

The HaLoop approach to large-scale iterative data analysis. - Yingyi Bu; Bill Howe; Magdalena Balazinska; Michael D. Ernst (VLDB J., 2012)

Java UI : Effects for Controlling UI Object Access. - Colin S. Gordon; Werner Dietl; Michael D. Ernst; Dan Grossman (ECOOP, 2013)

Unifying FSM-inference algorithms through declarative specification. - Ivan Beschastnikh; Yuriy Brun; Jenny Abrahamson; Michael D. Ernst; Arvind Krishnamurthy (ICSE, 2013)

Automated diagnosis of software configuration errors. - Sai Zhang 001; Michael D. Ernst (ICSE, 2013)

Automatically repairing broken workflows for evolving GUI applications. - Sai Zhang 001; Hao Lü; Michael D. Ernst (ISSTA, 2013)

Rely-guarantee references for refinement types over aliased mutable data. - Colin S. Gordon; Michael D. Ernst; Dan Grossman (PLDI, 2013)

Making offline analyses continuous. - Kivanç Muslu; Yuriy Brun; Michael D. Ernst; David Notkin (ESEC/SIGSOFT FSE, 2013)

Interactive record/replay for web application debugging. - Brian Burg; Richard Bailey; Amy J. Ko; Michael D. Ernst (UIST, 2013)

Using State Infection Conditions to Detect Equivalent Mutants and Speed up Mutation Analysis - René Just; Michael D. Ernst; Gordon Fraser 001 (CoRR, 2013)

Early Detection of Collaboration Conflicts and Risks. - Yuriy Brun; Reid Holmes; Michael D. Ernst; David Notkin (IEEE Trans. Software Eng., 2013)

Immutability. - Alex Potanin; Johan Östlund; Yoav Zibin; Michael D. Ernst (Aliasing in Object-Oriented Programming, 2013)

User scripting on Android using BladeDroid. - Ravi Bhoraskar; Dominic Langenegger; Pingyang He; Raymond Cheng 001; William Scott 002; Michael D. Ernst (APSys, 2014)

Collaborative Verification of Information Flow for a High-Assurance App Store. - Michael D. Ernst; René Just; Suzanne Millstein; Werner Dietl; Stuart Pernsteiner; Franziska Roesner; Karl Koscher; Paulo Barros; Ravi Bhoraskar; Seungyeop Han; Paul Vines; Edward XueJun Wu (CCS, 2014)

Shedding light on distributed system executions. - Jenny Abrahamson; Ivan Beschastnikh; Yuriy Brun; Michael D. Ernst (ICSE Companion, 2014)

Inferring models of concurrent systems from logs of their behavior with CSight. - Ivan Beschastnikh; Yuriy Brun; Michael D. Ernst; Arvind Krishnamurthy (ICSE, 2014)

Case studies and tools for contract specifications. - Todd W. Schiller; Kellen Donohue; Forrest Coward; Michael D. Ernst (ICSE, 2014)

Which configuration option should I change? - Sai Zhang 001; Michael D. Ernst (ICSE, 2014)

Efficient mutation analysis by propagating and partitioning infected execution states. - René Just; Michael D. Ernst; Gordon Fraser 001 (ISSTA, 2014)

Defects4J: a database of existing faults to enable controlled testing studies for Java programs. - René Just; Darioush Jalali; Michael D. Ernst (ISSTA, 2014)

A type system for format strings. - Konstantin Weitz; Gene Kim 001; Siwakorn Srisakaokul; Michael D. Ernst (ISSTA, 2014)

A format string checker for Java. - Konstantin Weitz; Siwakorn Srisakaokul; Gene Kim 001; Michael D. Ernst (ISSTA, 2014)

Empirically revisiting the test independence assumption. - Sai Zhang 001; Darioush Jalali; Jochen Wuttke; Kivanç Muslu; Wing Lam; Michael D. Ernst; David Notkin (ISSTA, 2014)

Introductory programming meets the real world: using real problems and data in CS1. - Ruth E. Anderson; Michael D. Ernst; Robert Ordóñez; Paul Pham; Steven A. Wolfman (SIGCSE, 2014)

Are mutants a valid substitute for real faults in software testing? - René Just; Darioush Jalali; Laura Inozemtseva; Michael D. Ernst; Reid Holmes; Gordon Fraser 001 (SIGSOFT FSE, 2014)

Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool. - Mohsen Vakilian; Amarin Phaosawasdi; Michael D. Ernst; Ralph E. Johnson (ICSE (1), 2015)

Proactive detection of inadequate diagnostic messages for software configuration errors. - Sai Zhang 001; Michael D. Ernst (ISSTA, 2015)

Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T). - Paulo Barros; René Just; Suzanne Millstein; Paul Vines; Werner Dietl; Marcelo d'Amorim; Michael D. Ernst (ASE, 2015)

Development History Granularity Transformations (N). - Kivanç Muslu; Luke Swart; Yuriy Brun; Michael D. Ernst (ASE, 2015)

Boolean Formulas for the Static Identification of Injection Attacks in Java. - Michael D. Ernst; Alberto Lovato; Damiano Macedonio; Ciprian Spiridon; Fausto Spoto (LPAR, 2015)

Ayudante: identifying undesired variable interactions. - Irfan Ul Haq; Juan Caballero; Michael D. Ernst (WODA@SPLASH, 2015)

Verdi: a framework for implementing and formally verifying distributed systems. - James R. Wilcox; Doug Woos; Pavel Panchekha; Zachary Tatlock; Xi Wang 005; Michael D. Ernst; Thomas E. Anderson (PLDI, 2015)

Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool Support. - René Just; Michael D. Ernst; Gordon Fraser 001 (Software Engineering & Management, 2015)

Collaborative Verification of Information Flow for a High-Assurance App Store. - René Just; Michael D. Ernst; Suzanne Millstein (Software Engineering & Management, 2015)

A Data Programming CS1 Course. - Ruth E. Anderson; Michael D. Ernst; Robert Ordóñez; Paul Pham; Ben Tribelhorn (SIGCSE, 2015)

Toward a Dependability Case Language and Workflow for a Radiation Therapy System. - Michael D. Ernst; Dan Grossman; Jon Jacky; Calvin Loncaric; Stuart Pernsteiner; Zachary Tatlock; Emina Torlak; Xi Wang 005 (SNAPL, 2015)

Explaining Visual Changes in Web Interfaces. - Brian Burg; Amy J. Ko; Michael D. Ernst (UIST, 2015)

Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms. - Ivan Beschastnikh; Yuriy Brun; Jenny Abrahamson; Michael D. Ernst; Arvind Krishnamurthy (IEEE Trans. Software Eng., 2015)

Reducing Feedback Delay of Software Development Tools via Continuous Analysis. - Kivanç Muslu; Yuriy Brun; Michael D. Ernst; David Notkin (IEEE Trans. Software Eng., 2015)

Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers. - Stuart Pernsteiner; Calvin Loncaric; Emina Torlak; Zachary Tatlock; Xi Wang 005; Michael D. Ernst; Jonathan Jacky (CAV (2), 2016)

Automatic Trigger Generation for Rule-based Smart Homes. - Chandrakana Nandi; Michael D. Ernst (PLAS@CCS, 2016)

Planning for change in a formal verification of the raft consensus protocol. - Doug Woos; James R. Wilcox; Steve Anton; Zachary Tatlock; Michael D. Ernst; Thomas E. Anderson (CPP, 2016)

Locking discipline inference and checking. - Michael D. Ernst; Alberto Lovato; Damiano Macedonio; Fausto Spoto; Javier Thaine (ICSE, 2016)

Automatic generation of oracles for exceptional behaviors. - Alberto Goffi; Alessandra Gorla; Michael D. Ernst; Mauro Pezzè (ISSTA, 2016)

Semantics for Locking Specifications. - Michael D. Ernst; Damiano Macedonio; Massimo Merro; Fausto Spoto (NFM, 2016)

Scalable verification of border gateway protocol configurations with an SMT solver. - Konstantin Weitz; Doug Woos; Emina Torlak; Michael D. Ernst; Arvind Krishnamurthy; Zachary Tatlock (OOPSLA, 2016)

Fast synthesis of fast collections. - Calvin Loncaric; Emina Torlak; Michael D. Ernst (PLDI, 2016)

Debugging Distributed Systems. - Ivan Beschastnikh; Patty Wang; Yuriy Brun; Michael D. Ernst (ACM Queue, 2016)

Evaluating and improving fault localization. - Spencer Pearson; José Campos 001; René Just; Gordon Fraser 001; Rui Abreu 001; Michael D. Ernst; Deric Pang; Benjamin Keller (ICSE, 2017)

Natural Language is a Programming Language: Applying Natural Language Processing to Software Development. - Michael D. Ernst (SNAPL, 2017)

SpaceSearch: a library for building and verifying solver-aided tools. - Konstantin Weitz; Steven Lyubomirsky; Stefan Heule; Emina Torlak; Michael D. Ernst; Zachary Tatlock (Proc. ACM Program. Lang., 2017)

Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types. - Colin S. Gordon; Michael D. Ernst; Dan Grossman; Matthew J. Parkinson (ACM Trans. Program. Lang. Syst., 2017)

Generalized data structure synthesis. - Calvin Loncaric; Michael D. Ernst; Emina Torlak (ICSE, 2018)

Translating code comments to procedure specifications. - Arianna Blasi; Alberto Goffi; Konstantin Kuznetsov 001; Alessandra Gorla; Michael D. Ernst; Mauro Pezzè; Sergio Delgado Castellanos (ISSTA, 2018)

Comparing developer-provided to user-provided tests for fault localization and automated program repair. - René Just; Chris Parnin; Ian Drosos; Michael D. Ernst (ISSTA, 2018)

Lightweight verification of array indexing. - Martin Kellogg; Vlastimil Dort; Suzanne Millstein; Michael D. Ernst (ISSTA, 2018)

NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System. - Xi Victoria Lin; Chenglong Wang; Luke Zettlemoyer; Michael D. Ernst (LREC, 2018)

Verifying that web pages have accessible layout. - Pavel Panchekha; Adam T. Geller; Michael D. Ernst; Zachary Tatlock; Shoaib Kamil 001 (PLDI, 2018)

A Graphical Interactive Debugger for Distributed Systems. - Doug Woos; Zachary Tatlock; Michael D. Ernst; Thomas E. Anderson (CoRR, 2018)

Teaching Rigorous Distributed Systems With Efficient Model Checking. - Ellis Michael; Doug Woos; Thomas E. Anderson; Michael D. Ernst; Zachary Tatlock (EuroSys, 2019)

Theory and practice of string solvers (invited talk abstract). - Adam Kiezun; Philip J. Guo; Pieter Hooimeijer; Michael D. Ernst; Vijay Ganesh 001 (ISSTA, 2019)

Research on NLP for RE at Università della Svizzera Italiana (USI): A Report. - Arianna Blasi; Mauro Pezzè; Alessandra Gorla; Michael D. Ernst (REFSQ Workshops, 2019)

Modular verification of web page layout. - Pavel Panchekha; Michael D. Ernst; Zachary Tatlock; Shoaib Kamil 001 (Proc. ACM Program. Lang., 2019)

Static Identification of Injection Attacks in Java. - Fausto Spoto; Elisa Burato; Michael D. Ernst; Pietro Ferrara 001; Alberto Lovato; Damiano Macedonio; Ciprian Spiridon (ACM Trans. Program. Lang. Syst., 2019)

Verifying object construction. - Martin Kellogg; Manli Ran; Manu Sridharan; Martin Schäf; Michael D. Ernst (ICSE, 2020)

Where should I comment my code?: a dataset and model for predicting locations that need comments. - Annie Louis; Santanu Kumar Dash 001; Earl T. Barr; Michael D. Ernst; Charles Sutton (ICSE (NIER), 2020)

Dependent-test-aware regression testing techniques. - Wing Lam; August Shi; Reed Oei; Sai Zhang 001; Michael D. Ernst; Tao Xie 001 (ISSTA, 2020)

Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size. - Yiqun T. Chen 001; Rahul Gopinath; Anita Tadakamalla; Michael D. Ernst; Reid Holmes; Gordon Fraser 001; Paul Ammann; René Just (ASE, 2020)

Continuous Compliance. - Martin Kellogg; Martin Schäf; Serdar Tasiran; Michael D. Ernst (ASE, 2020)

Visualizing Distributed System Executions. - Ivan Beschastnikh; Perry Liu; Albert Xing; Patty Wang; Yuriy Brun; Michael D. Ernst (ACM Trans. Softw. Eng. Methodol., 2020)

Verifying Determinism in Sequential Programs. - Rashmi Mudduluru; Jason Waataja; Suzanne Millstein; Michael D. Ernst (ICSE (Companion Volume), 2021)

Lightweight and modular resource leak verification. - Martin Kellogg; Narges Shadab; Manu Sridharan; Michael D. Ernst (ESEC/SIGSOFT FSE, 2021)

Checking conformance of applications against GUI policies. - Zhen Zhang; Yu Feng 001; Michael D. Ernst; Sebastian Porst; Isil Dillig (ESEC/SIGSOFT FSE, 2021)

Removing biased data to improve fairness and accuracy. - Sahil Verma; Michael D. Ernst; René Just (CoRR, 2021)

MeMo: Automatically identifying metamorphic relations in Javadoc comments for test automation. - Arianna Blasi; Alessandra Gorla; Michael D. Ernst; Mauro Pezzè; Antonio Carzaniga (J. Syst. Softw., 2021)

An Empirical Study of Fault Localization Families and Their Combinations. - Daming Zou; Jingjing Liang; Yingfei Xiong 001; Michael D. Ernst; Lu Zhang 023 (IEEE Trans. Software Eng., 2021)

Accumulation Analysis. - Martin Kellogg; Narges Shadab; Manu Sridharan; Michael D. Ernst (ECOOP, 2022)

Call Me Maybe: Using NLP to Automatically Generate Unit Test Cases Respecting Temporal Constraints. - Arianna Blasi; Alessandra Gorla; Michael D. Ernst; Mauro Pezzè (ASE, 2022)

DesCert: Design for Certification. - Natarajan Shankar; Devesh Bhatt; Michael D. Ernst; Minyoung Kim; Srivatsan Varadarajan; Suzanne Millstein; Jorge Navas 003; Jason Biatek; Huascar Sanchez; Anitha Murugesan; Hao Ren 004 (CoRR, 2022)

Accumulation Analysis (Artifact). - Martin Kellogg; Narges Shadab; Manu Sridharan; Michael D. Ernst (Dagstuhl Artifacts Ser., 2022)

Pluggable Type Inference for Free. - Martin Kellogg; Daniel Daskiewicz; Loi Ngo Duc Nguyen; Muyeed Ahmed; Michael D. Ernst (ASE, 2023)

Automatic Inference of Resource Leak Specifications. - Narges Shadab; Pritam M. Gharat; Shrey Tiwari; Michael D. Ernst; Martin Kellogg; Shuvendu K. Lahiri; Akash Lal; Manu Sridharan (CoRR, 2023)

Inference of Resource Management Specifications. - Narges Shadab; Pritam M. Gharat; Shrey Tiwari; Michael D. Ernst; Martin Kellogg; Shuvendu K. Lahiri; Akash Lal; Manu Sridharan (Proc. ACM Program. Lang., 2023)

Call Graph Soundness in Android Static Analysis. - Jordan Samhi; René Just; Tegawendé F. Bissyandé; Michael D. Ernst; Jacques Klein (ISSTA, 2024)

Evaluation of Version Control Merge Tools. - Benedikt Schesch; Ryan Featherman; Kenneth J. Yang; Ben R. Roberts; Michael D. Ernst (ASE, 2024)

Verifying the Option Type with Rely-Guarantee Reasoning. - James Yoo; Michael D. Ernst; René Just (ASE, 2024)

[Supplementary material] Test Oracle Generation for REST APIs. - Juan Carlos Alonso Valenzuela; Michael D. Ernst; Sergio Segura; Antonio Ruiz Cortés (Zenodo, 2024)

Artifact for "Verifying the Option Type with Rely-Guarantee Reasoning". - James Yoo; Michael D. Ernst; René Just (Zenodo, 2024)

GoFree: Reducing Garbage Collection via Compiler-Inserted Freeing. - Haoran Peng; Yu Zhang 086; Michael D. Ernst; Jinbao Chen; Boyao Ding (CGO, 2025)

Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles. - Davide Molinelli; Alberto Martin-Lopez; Elliott Zackrone; Beyza Eken; Michael D. Ernst; Mauro Pezzè (Proc. ACM Softw. Eng., 2025)

[Supplementary material] Test Oracle Generation for REST APIs. - Juan Carlos Alonso Valenzuela; Michael D. Ernst; Sergio Segura; Antonio Ruiz Cortés (Zenodo, 2025)

Lightweight and modular resource leak checking (extended version). - Narges Shadab; Pritam M. Gharat; Shrey Tiwari; Michael D. Ernst; Martin Kellogg; Shuvendu K. Lahiri; Akash Lal; Manu Sridharan (Int. J. Softw. Tools Technol. Transf., 2025)