Michael D. Ernst
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
118
Venues
24
Active years
1994–2026
Best venue rank
A*
Where they publish
- A*ICSE36 papers
- AISSTA24 papers
- AOOPSLA17 papers
- AECOOP12 papers
- A*PLDI6 papers
- A*CAV2 papers
- A*CCS2 papers
- ASIGCSE2 papers
- A*UIST2 papers
- BICPR1 paper
- ACGO1 paper
- AEuroSys1 paper
- BREFSQ1 paper
- BLREC1 paper
- BCPP1 paper
- BLPAR1 paper
- A*OSDI1 paper
- CTAP1 paper
- A*SOSP1 paper
- AMSR1 paper
- AISSRE1 paper
- BVMCAI1 paper
- A*IJCAI1 paper
- A*POPL1 paper
Papers
118 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICPR | Merge-Bench: Resolve Merge Conflicts with Large Language Models. | Benedikt Schesch, Michael D. Ernst |
| 2025 | CGO | GoFree: Reducing Garbage Collection via Compiler-Inserted Freeing. | Haoran Peng, Yu Zhang, Michael D. Ernst, Jinbao Chen, Boyao Ding |
| 2024 | ISSTA | Call Graph Soundness in Android Static Analysis. | Jordan Samhi, Ren Just, Tegawend F. Bissyand, Michael D. Ernst, Jacques Klein |
| 2022 | ECOOP | Accumulation Analysis. | Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst |
| 2021 | ICSE | Verifying Determinism in Sequential Programs. | Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst |
| 2021 | ICSE | Verifying Determinism in Sequential Programs. | Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst |
| 2020 | ICSE | Verifying object construction. | Martin Kellogg, Manli Ran, Manu Sridharan, Martin Schf, Michael D. Ernst |
| 2020 | ICSE | Where should I comment my code?: a dataset and model for predicting locations that need comments. | Annie Louis, Santanu Kumar Dash, Earl T. Barr, Michael D. Ernst, Charles Sutton |
| 2020 | ISSTA | Dependent-test-aware regression testing techniques. | Wing Lam, August Shi, Reed Oei, Sai Zhang, Michael D. Ernst, Tao Xie |
| 2019 | EuroSys | Teaching Rigorous Distributed Systems With Efficient Model Checking. | Ellis Michael, Doug Woos, Thomas E. Anderson, Michael D. Ernst, Zachary Tatlock |
| 2019 | ISSTA | Theory and practice of string solvers (invited talk abstract). | Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh |
| 2019 | REFSQ | Research on NLP for RE at Universit della Svizzera Italiana (USI): A Report. | Arianna Blasi, Mauro Pezz, Alessandra Gorla, Michael D. Ernst |
| 2018 | ICSE | Generalized data structure synthesis. | Calvin Loncaric, Michael D. Ernst, Emina Torlak |
| 2018 | ISSTA | Translating code comments to procedure specifications. | Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezz, Sergio Delgado Castellanos |
| 2018 | ISSTA | Comparing developer-provided to user-provided tests for fault localization and automated program repair. | Ren Just, Chris Parnin, Ian Drosos, Michael D. Ernst |
| 2018 | ISSTA | Lightweight verification of array indexing. | Martin Kellogg, Vlastimil Dort, Suzanne Millstein, Michael D. Ernst |
| 2018 | LREC | 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 |
| 2018 | PLDI | Verifying that web pages have accessible layout. | Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil |
| 2017 | ICSE | Evaluating and improving fault localization. | Spencer Pearson, Jos Campos, Ren Just, Gordon Fraser, Rui Abreu, Michael D. Ernst, Deric Pang, Benjamin Keller |
| 2016 | CAV | Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers. | Stuart Pernsteiner, Calvin Loncaric, Emina Torlak, Zachary Tatlock, Xi Wang, Michael D. Ernst, Jonathan Jacky |
| 2016 | CCS | Automatic Trigger Generation for Rule-based Smart Homes. | Chandrakana Nandi, Michael D. Ernst |
| 2016 | CPP | 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 |
| 2016 | ICSE | Locking discipline inference and checking. | Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Fausto Spoto, Javier Thaine |
| 2016 | ISSTA | Automatic generation of oracles for exceptional behaviors. | Alberto Goffi, Alessandra Gorla, Michael D. Ernst, Mauro Pezz |
| 2016 | OOPSLA | Scalable verification of border gateway protocol configurations with an SMT solver. | Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock |
| 2016 | PLDI | Fast synthesis of fast collections. | Calvin Loncaric, Emina Torlak, Michael D. Ernst |
| 2015 | ICSE | Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool. | Mohsen Vakilian, Amarin Phaosawasdi, Michael D. Ernst, Ralph E. Johnson |
| 2015 | ISSTA | Proactive detection of inadequate diagnostic messages for software configuration errors. | Sai Zhang, Michael D. Ernst |
| 2015 | LPAR | Boolean Formulas for the Static Identification of Injection Attacks in Java. | Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, Fausto Spoto |
| 2015 | OOPSLA | Ayudante: identifying undesired variable interactions. | Irfan Ul Haq, Juan Caballero, Michael D. Ernst |
| 2015 | PLDI | Verdi: a framework for implementing and formally verifying distributed systems. | James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas E. Anderson |
| 2015 | SIGCSE | A Data Programming CS1 Course. | Ruth E. Anderson, Michael D. Ernst, Robert Ordez, Paul Pham, Ben Tribelhorn |
| 2015 | UIST | Explaining Visual Changes in Web Interfaces. | Brian Burg, Amy J. Ko, Michael D. Ernst |
| 2014 | CCS | 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 |
| 2014 | ICSE | Shedding light on distributed system executions. | Jenny Abrahamson, Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst |
| 2014 | ICSE | Inferring models of concurrent systems from logs of their behavior with CSight. | Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy |
| 2014 | ICSE | Case studies and tools for contract specifications. | Todd W. Schiller, Kellen Donohue, Forrest Coward, Michael D. Ernst |
| 2014 | ICSE | Which configuration option should I change? | Sai Zhang, Michael D. Ernst |
| 2014 | ISSTA | Efficient mutation analysis by propagating and partitioning infected execution states. | Ren Just, Michael D. Ernst, Gordon Fraser |
| 2014 | ISSTA | Defects4J: a database of existing faults to enable controlled testing studies for Java programs. | Ren Just, Darioush Jalali, Michael D. Ernst |
| 2014 | ISSTA | A type system for format strings. | Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, Michael D. Ernst |
| 2014 | ISSTA | A format string checker for Java. | Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, Michael D. Ernst |
| 2014 | ISSTA | Empirically revisiting the test independence assumption. | Sai Zhang, Darioush Jalali, Jochen Wuttke, Kivan Muslu, Wing Lam, Michael D. Ernst, David Notkin |
| 2014 | SIGCSE | Introductory programming meets the real world: using real problems and data in CS1. | Ruth E. Anderson, Michael D. Ernst, Robert Ordez, Paul Pham, Steven A. Wolfman |
| 2013 | ECOOP | Java UI : Effects for Controlling UI Object Access. | Colin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman |
| 2013 | ICSE | Unifying FSM-inference algorithms through declarative specification. | Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy |
| 2013 | ICSE | Automated diagnosis of software configuration errors. | Sai Zhang, Michael D. Ernst |
| 2013 | ISSTA | Automatically repairing broken workflows for evolving GUI applications. | Sai Zhang, Hao L, Michael D. Ernst |
| 2013 | PLDI | Rely-guarantee references for refinement types over aliased mutable data. | Colin S. Gordon, Michael D. Ernst, Dan Grossman |
| 2013 | UIST | Interactive record/replay for web application debugging. | Brian Burg, Richard Bailey, Amy J. Ko, Michael D. Ernst |
| 2012 | ECOOP | Verification games: making verification fun. | Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Nathaniel Mote, Brian Walker, Seth Cooper, Timothy Pavlik, Zoran Popovic |
| 2012 | ECOOP | Inference and Checking of Object Ownership. | Wei Huang, Werner Dietl, Ana L. Milanova, Michael D. Ernst |
| 2012 | ECOOP | A type system for regular expressions. | Eric Spishak, Werner Dietl, Michael D. Ernst |
| 2012 | ICSE | CBCD: Cloned buggy code detector. | Jingyue Li, Michael D. Ernst |
| 2012 | ICSE | Improving IDE recommendations by considering global implications of existing recommendations. | Kivan Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin |
| 2012 | ISSTA | Finding errors in multithreaded GUI applications. | Sai Zhang, Hao L, Michael D. Ernst |
| 2012 | OOPSLA | Reim & ReImInfer: checking and inference of reference immutability and method purity. | Wei Huang, Ana L. Milanova, Werner Dietl, Michael D. Ernst |
| 2012 | OOPSLA | Speculative analysis of integrated development environment recommendations. | Kivan Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin |
| 2012 | OOPSLA | Reducing the barriers to writing verified specifications. | Todd W. Schiller, Michael D. Ernst |
| 2011 | CAV | HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. | Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst |
| 2011 | ECOOP | Tunable Static Inference for Generic Universe Types. | Werner Dietl, Michael D. Ernst, Peter Mller |
| 2011 | ICSE | Always-available static and dynamic feedback. | Michael Bayne, Richard Cook, Michael D. Ernst |
| 2011 | ICSE | Building and using pluggable type-checkers. | Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivan Muslu, Todd W. Schiller |
| 2011 | ICSE | How do programs become more concurrent: a story of program transformations. | Danny Dig, John Marrero, Michael D. Ernst |
| 2011 | ICSE | Inference of field initialization. | Fausto Spoto, Michael D. Ernst |
| 2011 | ISSTA | Combined static and dynamic automated test generation. | Sai Zhang, David Saff, Yingyi Bu, Michael D. Ernst |
| 2010 | OOPSLA | Ownership and immutability in generic Java. | Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst |
| 2010 | OSDI | Synoptic: Summarizing System Logs with Refinement. | Sigurd Schneider, Ivan Beschastnikh, Slava Chernyak, Michael D. Ernst, Yuriy Brun |
| 2010 | TAP | How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback. | Michael D. Ernst |
| 2009 | ICSE | Refactoring sequential Java code for concurrency via concurrent libraries. | Danny Dig, John Marrero, Michael D. Ernst |
| 2009 | ICSE | Concurrencer: A tool for retrofitting concurrency into sequential java applications via concurrent libraries. | Danny Dig, John Marrero, Michael D. Ernst |
| 2009 | ICSE | Automatic creation of SQL Injection and cross-site scripting attacks. | Adam Kiezun, Philip J. Guo, Karthick Jayaraman, Michael D. Ernst |
| 2009 | ISSTA | HAMPI: a solver for string constraints. | Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst |
| 2009 | SOSP | Automatically patching errors in deployed software. | Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Gregory T. Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard |
| 2008 | ECOOP | ReCrash: Making Software Failures Reproducible by Preserving Object States. | Shay Artzi, Sunghun Kim, Michael D. Ernst |
| 2008 | ECOOP | Inference of Reference Immutability. | Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst |
| 2008 | ISSTA | Finding bugs in dynamic web applications. | Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst |
| 2008 | ISSTA | Practical pluggable types for java. | Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst |
| 2008 | OOPSLA | Enforcing reference and object immutability in Java. | Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst |
| 2008 | OOPSLA | Compile-time type-checking for custom type qualifiers in Java. | Matthew M. Papi, Mahmood Ali, Michael D. Ernst |
| 2008 | OOPSLA | Compile-time type-checking for custom type qualifiers in java. | Matthew M. Papi, Mahmood Ali, Michael D. Ernst |
| 2008 | PLDI | Quantitative information flow as network flow capacity. | Stephen McCamant, Michael D. Ernst |
| 2007 | ICSE | Refactoring for Parameterizing Java Classes. | Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer |
| 2007 | ICSE | Feedback-Directed Random Test Generation. | Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball |
| 2007 | MSR | Prioritizing Warning Categories by Analyzing Software History. | Sunghun Kim, Michael D. Ernst |
| 2007 | OOPSLA | Tools for enforcing and inferring reference immutability in Java. | Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst |
| 2007 | OOPSLA | Randoop: feedback-directed random testing for Java. | Carlos Pacheco, Michael D. Ernst |
| 2007 | OOPSLA | Compile-time type-checking for custom type qualifiers in Java. | Matthew M. Papi, Michael D. Ernst |
| 2007 | OOPSLA | Compile-time type-checking for custom type qualifiers in Java. | Matthew M. Papi, Michael D. Ernst |
| 2007 | PLDI | A simulation-based proof technique for dynamic information flow. | Stephen McCamant, Michael D. Ernst |
| 2006 | ISSTA | Inference and enforcement of data structure consistency specifications. | Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard |
| 2006 | ISSTA | Dynamic inference of abstract types. | Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst |
| 2005 | ECOOP | Eclat: Automatic Generation and Classification of Test Inputs. | Carlos Pacheco, Michael D. Ernst |
| 2005 | ECOOP | Static Deadlock Detection for Java Libraries. | Amy L. Williams, William Thies, Michael D. Ernst |
| 2005 | ICSE | The Groupthink Specification Exercise. | Michael D. Ernst |
| 2005 | ICSE | The groupthink specification exercise. | Michael D. Ernst, John Chapin |
| 2005 | ICSE | Test factoring: focusing test suites for the task at hand. | David Saff, Michael D. Ernst |
| 2005 | ICSE | Continuous testing in eclipse. | David Saff, Michael D. Ernst |
| 2005 | OOPSLA | Using predicate fields in a highly flexible industrial control system. | Shay Artzi, Michael D. Ernst |
| 2005 | OOPSLA | Javari: adding reference immutability to Java. | Matthew S. Tschantz, Michael D. Ernst |
| 2004 | ECOOP | Early Identification of Incompatibilities in Multi-component Upgrades. | Stephen McCamant, Michael D. Ernst |
| 2004 | ICSE | Finding Latent Code Errors via Machine Learning over Program Executions. | Yuriy Brun, Michael D. Ernst |
| 2004 | ISSTA | Improving the adaptability of multi-mode systems via program steering. | Lee Lin, Michael D. Ernst |
| 2004 | ISSTA | An experimental evaluation of continuous testing during development. | David Saff, Michael D. Ernst |
| 2004 | OOPSLA | A practical type system and language for reference immutability. | Adrian Birka, Michael D. Ernst |
| 2004 | OOPSLA | Converting java programs to use generic libraries. | Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst |
| 2003 | ICSE | ICSE Workshop on Dynamic Analysis (WODA 2003). | Jonathan E. Cook, Michael D. Ernst |
| 2003 | ICSE | Improving Test Suites via Operational Abstraction. | Michael Harder, Jeff Mellen, Michael D. Ernst |
| 2003 | ISSRE | Reducing wasted development time via continuous testing. | David Saff, Michael D. Ernst |
| 2003 | VMCAI | Using Simulated Execution in Verifying Distributed Algorithms. | Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch |
| 2002 | ISSTA | Automatic generation of program specifications. | Jeremy W. Nimmer, Michael D. Ernst |
| 2001 | ICSE | Panel: Perspectives on Software Engineering. | David Notkin, Marc Donner, Michael D. Ernst, Michael M. Gorlick, E. James Whitehead Jr. |
| 2000 | ICSE | Quickly detecting relevant program invariants. | Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin |
| 1999 | ICSE | Research Summary for Dynamic Detection of Program Invariants. | Michael D. Ernst |
| 1999 | ICSE | Dynamically Discovering Likely Program Invariants to Support Program Evolution. | Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin |
| 1998 | ECOOP | Predicate Dispatching: A Unified Theory of Dispatch. | Michael D. Ernst, Craig S. Kaplan, Craig Chambers |
| 1997 | IJCAI | Automatic SAT-Compilation of Planning Problems. | Michael D. Ernst, Todd D. Millstein, Daniel S. Weld |
| 1994 | POPL | Value Dependence Graphs: Representation without Taxation. | Daniel Weise, Roger F. Crew, Michael D. Ernst, Bjarne Steensgaard |