Michael D. Ernst

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 49

Top Venues

Publications

Jordan Samhi, René Just, Tegawendé F. Bissyandé, Michael D. Ernst, Jacques Klein
Call Graph Soundness in Android Static Analysis. CoRR (2024)
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
Automatic Inference of Resource Leak Specifications. CoRR (2023)
Martin Kellogg, Daniel Daskiewicz, Loi Ngo Duc Nguyen, Muyeed Ahmed, Michael D. Ernst
Pluggable Type Inference for Free. ASE (2023)
Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
Inference of Resource Management Specifications. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Natarajan Shankar, Devesh Bhatt, Michael D. Ernst, Minyoung Kim, Srivatsan Varadarajan, Suzanne Millstein, Jorge Navas, Jason Biatek, Huascar Sanchez, Anitha Murugesan, Hao Ren
DesCert: Design for Certification. CoRR (2022)
Arianna Blasi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè
Call Me Maybe: Using NLP to Automatically Generate Unit Test Cases Respecting Temporal Constraints. ASE (2022)
Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst
Accumulation Analysis (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst
Accumulation Analysis. ECOOP (2022)
Zhen Zhang, Yu Feng, Michael D. Ernst, Sebastian Porst, Isil Dillig
Checking conformance of applications against GUI policies. ESEC/SIGSOFT FSE (2021)
Daming Zou, Jingjing Liang, Yingfei Xiong, Michael D. Ernst, Lu Zhang
An Empirical Study of Fault Localization Families and Their Combinations. IEEE Trans. Software Eng. 47 (2) (2021)
Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst
Verifying Determinism in Sequential Programs. ICSE (2021)
Arianna Blasi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, Antonio Carzaniga
MeMo: Automatically identifying metamorphic relations in Javadoc comments for test automation. J. Syst. Softw. 181 (2021)
Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst
Verifying Determinism in Sequential Programs. ICSE (Companion Volume) (2021)
Sahil Verma, Michael D. Ernst, René Just
Removing biased data to improve fairness and accuracy. CoRR (2021)
Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst
Lightweight and modular resource leak verification. ESEC/SIGSOFT FSE (2021)
Ivan Beschastnikh, Perry Liu, Albert Xing, Patty Wang, Yuriy Brun, Michael D. Ernst
Visualizing Distributed System Executions. ACM Trans. Softw. Eng. Methodol. 29 (2) (2020)
Yiqun T. Chen, Rahul Gopinath, Anita Tadakamalla, Michael D. Ernst, Reid Holmes, Gordon Fraser, Paul Ammann, René Just
Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size. ASE (2020)
Annie Louis, Santanu Kumar Dash, Earl T. Barr, Michael D. Ernst, Charles Sutton
Where should I comment my code?: a dataset and model for predicting locations that need comments. ICSE (NIER) (2020)
Martin Kellogg, Martin Schäf, Serdar Tasiran, Michael D. Ernst
Continuous Compliance. ASE (2020)
Wing Lam, August Shi, Reed Oei, Sai Zhang, Michael D. Ernst, Tao Xie
Dependent-test-aware regression testing techniques. ISSTA (2020)
Martin Kellogg, Manli Ran, Manu Sridharan, Martin Schäf, Michael D. Ernst
Verifying object construction. ICSE (2020)
Fausto Spoto, Elisa Burato, Michael D. Ernst, Pietro Ferrara, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon
Static Identification of Injection Attacks in Java. ACM Trans. Program. Lang. Syst. 41 (3) (2019)
Pavel Panchekha, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil
Modular verification of web page layout. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Ellis Michael, Doug Woos, Thomas E. Anderson, Michael D. Ernst, Zachary Tatlock
Teaching Rigorous Distributed Systems With Efficient Model Checking. EuroSys (2019)
Arianna Blasi, Mauro Pezzè, Alessandra Gorla, Michael D. Ernst
Research on NLP for RE at Università della Svizzera Italiana (USI): A Report. REFSQ Workshops (2019)
Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh
Theory and practice of string solvers (invited talk abstract). ISSTA (2019)
Daming Zou, Jingjing Liang, Yingfei Xiong, Michael D. Ernst, Lu Zhang
An Empirical Study of Fault Localization Families and Their Combinations. CoRR (2018)
Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil
Verifying that web pages have accessible layout. PLDI (2018)
Xi Victoria Lin, Chenglong Wang, Luke Zettlemoyer, Michael D. Ernst
NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System. LREC (2018)
Doug Woos, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson
A Graphical Interactive Debugger for Distributed Systems. CoRR (2018)
Martin Kellogg, Vlastimil Dort, Suzanne Millstein, Michael D. Ernst
Lightweight verification of array indexing. ISSTA (2018)
Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, Sergio Delgado Castellanos
Translating code comments to procedure specifications. ISSTA (2018)
René Just, Chris Parnin, Ian Drosos, Michael D. Ernst
Comparing developer-provided to user-provided tests for fault localization and automated program repair. ISSTA (2018)
Xi Victoria Lin, Chenglong Wang, Luke Zettlemoyer, Michael D. Ernst
NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System. CoRR (2018)
Calvin Loncaric, Michael D. Ernst, Emina Torlak
Generalized data structure synthesis. ICSE (2018)
Konstantin Weitz, Steven Lyubomirsky, Stefan Heule, Emina Torlak, Michael D. Ernst, Zachary Tatlock
SpaceSearch: a library for building and verifying solver-aided tools. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Michael D. Ernst
Natural Language is a Programming Language: Applying Natural Language Processing to Software Development. SNAPL (2017)
Colin S. Gordon, Michael D. Ernst, Dan Grossman, Matthew J. Parkinson
Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types. ACM Trans. Program. Lang. Syst. 39 (3) (2017)
Spencer Pearson, José Campos, René Just, Gordon Fraser, Rui Abreu, Michael D. Ernst, Deric Pang, Benjamin Keller
Evaluating and improving fault localization. ICSE (2017)
Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock
Scalable verification of border gateway protocol configurations with an SMT solver. OOPSLA (2016)
Ivan Beschastnikh, Patty Wang, Yuriy Brun, Michael D. Ernst
Debugging Distributed Systems. ACM Queue 14 (2) (2016)
Chandrakana Nandi, Michael D. Ernst
Automatic Trigger Generation for Rule-based Smart Homes. PLAS@CCS (2016)
Michael D. Ernst, Damiano Macedonio, Massimo Merro, Fausto Spoto
Semantics for Locking Specifications. NFM (2016)
Stuart Pernsteiner, Calvin Loncaric, Emina Torlak, Zachary Tatlock, Xi Wang, Michael D. Ernst, Jonathan Jacky
Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers. CAV (2) (2016)
Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Fausto Spoto, Javier Thaine
Locking discipline inference and checking. ICSE (2016)
Ivan Beschastnikh, Patty Wang, Yuriy Brun, Michael D. Ernst
Debugging distributed systems. Commun. ACM 59 (8) (2016)
Calvin Loncaric, Emina Torlak, Michael D. Ernst
Fast synthesis of fast collections. PLDI (2016)
Doug Woos, James R. Wilcox, Steve Anton, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson
Planning for change in a formal verification of the raft consensus protocol. CPP (2016)
Alberto Goffi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè
Automatic generation of oracles for exceptional behaviors. ISSTA (2016)
Michael D. Ernst, Dan Grossman, Jon Jacky, Calvin Loncaric, Stuart Pernsteiner, Zachary Tatlock, Emina Torlak, Xi Wang
Toward a Dependability Case Language and Workflow for a Radiation Therapy System. SNAPL (2015)
René Just, Michael D. Ernst, Gordon Fraser
Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool Support. Software Engineering & Management (2015)
Ruth E. Anderson, Michael D. Ernst, Robert Ordóñez, Paul Pham, Ben Tribelhorn
A Data Programming CS1 Course. SIGCSE (2015)
Kivanç Muslu, Luke Swart, Yuriy Brun, Michael D. Ernst
Development History Granularity Transformations (N). ASE (2015)
René Just, Michael D. Ernst, Suzanne Millstein
Collaborative Verification of Information Flow for a High-Assurance App Store. Software Engineering & Management (2015)
Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, Fausto Spoto
Boolean Formulas for the Static Identification of Injection Attacks in Java. LPAR (2015)
Brian Burg, Amy J. Ko, Michael D. Ernst
Explaining Visual Changes in Web Interfaces. UIST (2015)
Michael D. Ernst, Damiano Macedonio, Massimo Merro, Fausto Spoto
Semantics for Locking Specifications. CoRR (2015)
Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy
Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms. IEEE Trans. Software Eng. 41 (4) (2015)
Mohsen Vakilian, Amarin Phaosawasdi, Michael D. Ernst, Ralph E. Johnson
Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool. ICSE (1) (2015)
Irfan Ul Haq, Juan Caballero, Michael D. Ernst
Ayudante: identifying undesired variable interactions. WODA@SPLASH (2015)
Kivanç Muslu, Yuriy Brun, Michael D. Ernst, David Notkin
Reducing Feedback Delay of Software Development Tools via Continuous Analysis. IEEE Trans. Software Eng. 41 (8) (2015)
Sai Zhang, Michael D. Ernst
Proactive detection of inadequate diagnostic messages for software configuration errors. ISSTA (2015)
Paulo Barros, René Just, Suzanne Millstein, Paul Vines, Werner Dietl, Marcelo d'Amorim, Michael D. Ernst
Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T). ASE (2015)
James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas E. Anderson
Verdi: a framework for implementing and formally verifying distributed systems. PLDI (2015)
Jenny Abrahamson, Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst
Shedding light on distributed system executions. ICSE Companion (2014)
Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, Michael D. Ernst
A type system for format strings. ISSTA (2014)
Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, Michael D. Ernst
A format string checker for Java. ISSTA (2014)
René Just, Michael D. Ernst, Gordon Fraser
Efficient mutation analysis by propagating and partitioning infected execution states. ISSTA (2014)
Todd W. Schiller, Kellen Donohue, Forrest Coward, Michael D. Ernst
Case studies and tools for contract specifications. ICSE (2014)
Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy
Inferring models of concurrent systems from logs of their behavior with CSight. ICSE (2014)
Sai Zhang, Michael D. Ernst
Which configuration option should I change? ICSE (2014)
Ravi Bhoraskar, Dominic Langenegger, Pingyang He, Raymond Cheng, William Scott, Michael D. Ernst
User scripting on Android using BladeDroid. APSys (2014)
Sai Zhang, Darioush Jalali, Jochen Wuttke, Kivanç Muslu, Wing Lam, Michael D. Ernst, David Notkin
Empirically revisiting the test independence assumption. ISSTA (2014)
Ruth E. Anderson, Michael D. Ernst, Robert Ordóñez, Paul Pham, Steven A. Wolfman
Introductory programming meets the real world: using real problems and data in CS1. SIGCSE (2014)
René Just, Darioush Jalali, Laura Inozemtseva, Michael D. Ernst, Reid Holmes, Gordon Fraser
Are mutants a valid substitute for real faults in software testing? SIGSOFT FSE (2014)
René Just, Darioush Jalali, Michael D. Ernst
Defects4J: a database of existing faults to enable controlled testing studies for Java programs. ISSTA (2014)
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
Collaborative Verification of Information Flow for a High-Assurance App Store. CCS (2014)
Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy
Unifying FSM-inference algorithms through declarative specification. ICSE (2013)
Sai Zhang, Hao Lü, Michael D. Ernst
Automatically repairing broken workflows for evolving GUI applications. ISSTA (2013)
Kivanç Muslu, Yuriy Brun, Michael D. Ernst, David Notkin
Making offline analyses continuous. ESEC/SIGSOFT FSE (2013)
René Just, Michael D. Ernst, Gordon Fraser
Using State Infection Conditions to Detect Equivalent Mutants and Speed up Mutation Analysis CoRR (2013)
Sai Zhang, Michael D. Ernst
Automated diagnosis of software configuration errors. ICSE (2013)
Colin S. Gordon, Michael D. Ernst, Dan Grossman
Rely-guarantee references for refinement types over aliased mutable data. PLDI (2013)
Colin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman
Java UI : Effects for Controlling UI Object Access. ECOOP (2013)
Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
Early Detection of Collaboration Conflicts and Risks. IEEE Trans. Software Eng. 39 (10) (2013)
Brian Burg, Richard Bailey, Amy J. Ko, Michael D. Ernst
Interactive record/replay for web application debugging. UIST (2013)
Yingyi Bu, Bill Howe, Magdalena Balazinska, Michael D. Ernst
The HaLoop approach to large-scale iterative data analysis. VLDB J. 21 (2) (2012)
Adam Kiezun, Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars. ACM Trans. Softw. Eng. Methodol. 21 (4) (2012)
Wei Huang, Werner Dietl, Ana Milanova, Michael D. Ernst
Inference and Checking of Object Ownership. ECOOP (2012)
Jingyue Li, Michael D. Ernst
CBCD: Cloned buggy code detector. ICSE (2012)
Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Nathaniel Mote, Brian Walker, Seth Cooper, Timothy Pavlik, Zoran Popovic
Verification games: making verification fun. FTfJP@ECOOP (2012)
Wei Huang, Ana Milanova, Werner Dietl, Michael D. Ernst
Reim & ReImInfer: checking and inference of reference immutability and method purity. OOPSLA (2012)
Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
Speculative analysis of integrated development environment recommendations. OOPSLA (2012)
Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
Improving IDE recommendations by considering global implications of existing recommendations. ICSE (2012)
Sai Zhang, Hao Lü, Michael D. Ernst
Finding errors in multithreaded GUI applications. ISSTA (2012)
Todd W. Schiller, Michael D. Ernst
Reducing the barriers to writing verified specifications. OOPSLA (2012)
Eric Spishak, Werner Dietl, Michael D. Ernst
A type system for regular expressions. FTfJP@ECOOP (2012)
Colin S. Gordon, Michael D. Ernst, Dan Grossman
Static lock capabilities for deadlock freedom. TLDI (2012)
Sai Zhang, Cheng Zhang, Michael D. Ernst
Automated documentation inference to explain failed tests. ASE (2011)
Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
Crystal: precise and unobtrusive conflict warnings. SIGSOFT FSE (2011)

Michael D. Ernst.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael D. Ernst