![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Michael D. Ernst
Person information
- affiliation: University of Washington, Seattle, USA
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
- [j28]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): 1705-1728 (2023) - 2022
- [j27]Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst:
Accumulation Analysis (Artifact). Dagstuhl Artifacts Ser. 8(2): 22:1-22:3 (2022) - 2021
- [j26]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: 111041 (2021) - [j25]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): 332-347 (2021) - 2020
- [j24]Ivan Beschastnikh, Perry Liu, Albert Xing, Patty Wang, Yuriy Brun, Michael D. Ernst:
Visualizing Distributed System Executions. ACM Trans. Softw. Eng. Methodol. 29(2): 9:1-9:38 (2020) - 2019
- [j23]Pavel Panchekha, Michael D. Ernst, Zachary Tatlock
, Shoaib Kamil:
Modular verification of web page layout. Proc. ACM Program. Lang. 3(OOPSLA): 151:1-151:26 (2019) - [j22]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): 18:1-18:58 (2019) - 2017
- [j21]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): 25:1-25:28 (2017) - [j20]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): 11:1-11:54 (2017) - 2016
- [j19]Ivan Beschastnikh, Patty Wang, Yuriy Brun
, Michael D. Ernst:
Debugging distributed systems. Commun. ACM 59(8): 32-37 (2016) - [j18]Ivan Beschastnikh, Patty Wang, Yuriy Brun
, Michael D. Ernst:
Debugging Distributed Systems. ACM Queue 14(2): 50 (2016) - 2015
- [j17]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): 408-428 (2015) - [j16]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): 745-763 (2015) - 2013
- [j15]Yuriy Brun
, Reid Holmes, Michael D. Ernst, David Notkin:
Early Detection of Collaboration Conflicts and Risks. IEEE Trans. Software Eng. 39(10): 1358-1375 (2013) - 2012
- [j14]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): 25:1-25:28 (2012) - [j13]Yingyi Bu, Bill Howe
, Magdalena Balazinska, Michael D. Ernst:
The HaLoop approach to large-scale iterative data analysis. VLDB J. 21(2): 169-190 (2012) - 2011
- [j12]Ivan Beschastnikh, Yuriy Brun
, Michael D. Ernst, Arvind Krishnamurthy, Thomas E. Anderson:
Mining temporal invariants from partially ordered logs. ACM SIGOPS Oper. Syst. Rev. 45(3): 39-46 (2011) - [j11]Frank Tip, Robert M. Fuhrer, Adam Kiezun, Michael D. Ernst, Ittai Balaban, Bjorn De Sutter:
Refactoring using type constraints. ACM Trans. Program. Lang. Syst. 33(3): 9:1-9:47 (2011) - 2010
- [j10]Yingyi Bu, Bill Howe
, Magdalena Balazinska, Michael D. Ernst:
HaLoop: Efficient Iterative Data Processing on Large Clusters. Proc. VLDB Endow. 3(1): 285-296 (2010) - [j9]Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst:
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking. IEEE Trans. Software Eng. 36(4): 474-494 (2010) - 2009
- [j8]Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst:
Parameter reference immutability: formal definition, inference tool, and comparison. Autom. Softw. Eng. 16(1): 145-192 (2009) - 2007
- [j7]Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, Chen Xiao:
The Daikon system for dynamic detection of likely invariants. Sci. Comput. Program. 69(1-3): 35-45 (2007) - 2005
- [j6]Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll:
An overview of JML tools and applications. Int. J. Softw. Tools Technol. Transf. 7(3): 212-232 (2005) - 2004
- [j5]Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch:
Using simulated execution in verifying distributed algorithms. Int. J. Softw. Tools Technol. Transf. 6(1): 67-76 (2004) - 2003
- [j4]Jonathan E. Cook, Michael D. Ernst:
Summary: ICSE workshop on dynamic analysis (WODA 2003). ACM SIGSOFT Softw. Eng. Notes 28(6): 4 (2003) - 2002
- [j3]Elizabeth L. Wilmer, Michael D. Ernst:
Graphs induced by Gray codes. Discret. Math. 257(2-3): 585-598 (2002) - [j2]Michael D. Ernst, Greg J. Badros, David Notkin:
An Empirical Analysis of C Preprocessor Use. IEEE Trans. Software Eng. 28(12): 1146-1170 (2002) - 2001
- [j1]Michael D. Ernst, Jake Cockrell, William G. Griswold
, David Notkin:
Dynamically Discovering Likely Program Invariants to Support Program Evolution. IEEE Trans. Software Eng. 27(2): 99-123 (2001)
Conference and Workshop Papers
- 2023
- [c157]Martin Kellogg, Daniel Daskiewicz, Loi Ngo Duc Nguyen, Muyeed Ahmed, Michael D. Ernst:
Pluggable Type Inference for Free. ASE 2023: 1542-1554 - 2022
- [c156]Martin Kellogg
, Narges Shadab, Manu Sridharan
, Michael D. Ernst:
Accumulation Analysis. ECOOP 2022: 10:1-10:30 - [c155]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: 19:1-19:11 - 2021
- [c154]Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst:
Verifying Determinism in Sequential Programs. ICSE 2021: 37-49 - [c153]Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst:
Verifying Determinism in Sequential Programs. ICSE (Companion Volume) 2021: 213-214 - [c152]Zhen Zhang, Yu Feng
, Michael D. Ernst, Sebastian Porst, Isil Dillig:
Checking conformance of applications against GUI policies. ESEC/SIGSOFT FSE 2021: 95-106 - [c151]Martin Kellogg
, Narges Shadab, Manu Sridharan
, Michael D. Ernst:
Lightweight and modular resource leak verification. ESEC/SIGSOFT FSE 2021: 181-192 - 2020
- [c150]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: 21-24 - [c149]Martin Kellogg
, Manli Ran, Manu Sridharan
, Martin Schäf
, Michael D. Ernst:
Verifying object construction. ICSE 2020: 1447-1458 - [c148]Wing Lam, August Shi, Reed Oei, Sai Zhang, Michael D. Ernst, Tao Xie:
Dependent-test-aware regression testing techniques. ISSTA 2020: 298-311 - [c147]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: 237-249 - [c146]Martin Kellogg
, Martin Schäf
, Serdar Tasiran, Michael D. Ernst:
Continuous Compliance. ASE 2020: 511-523 - 2019
- [c145]Ellis Michael, Doug Woos, Thomas E. Anderson, Michael D. Ernst, Zachary Tatlock
:
Teaching Rigorous Distributed Systems With Efficient Model Checking. EuroSys 2019: 32:1-32:15 - [c144]Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh
:
Theory and practice of string solvers (invited talk abstract). ISSTA 2019: 6-7 - [c143]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 - 2018
- [c142]Calvin Loncaric, Michael D. Ernst, Emina Torlak:
Generalized data structure synthesis. ICSE 2018: 958-968 - [c141]Martin Kellogg
, Vlastimil Dort
, Suzanne Millstein, Michael D. Ernst:
Lightweight verification of array indexing. ISSTA 2018: 3-14 - [c140]Arianna Blasi
, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè
, Sergio Delgado Castellanos:
Translating code comments to procedure specifications. ISSTA 2018: 242-253 - [c139]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: 287-297 - [c138]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 - [c137]Pavel Panchekha, Adam T. Geller
, Michael D. Ernst, Zachary Tatlock
, Shoaib Kamil:
Verifying that web pages have accessible layout. PLDI 2018: 1-14 - 2017
- [c136]Spencer Pearson, José Campos
, René Just, Gordon Fraser, Rui Abreu
, Michael D. Ernst, Deric Pang, Benjamin Keller:
Evaluating and improving fault localization. ICSE 2017: 609-620 - [c135]Michael D. Ernst:
Natural Language is a Programming Language: Applying Natural Language Processing to Software Development. SNAPL 2017: 4:1-4:14 - 2016
- [c134]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: 23-41 - [c133]Chandrakana Nandi, Michael D. Ernst:
Automatic Trigger Generation for Rule-based Smart Homes. PLAS@CCS 2016: 97-102 - [c132]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: 154-165 - [c131]Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Fausto Spoto
, Javier Thaine:
Locking discipline inference and checking. ICSE 2016: 1133-1144 - [c130]Alberto Goffi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè
:
Automatic generation of oracles for exceptional behaviors. ISSTA 2016: 213-224 - [c129]Michael D. Ernst, Damiano Macedonio, Massimo Merro, Fausto Spoto
:
Semantics for Locking Specifications. NFM 2016: 355-372 - [c128]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: 765-780 - [c127]Calvin Loncaric, Emina Torlak, Michael D. Ernst:
Fast synthesis of fast collections. PLDI 2016: 355-368 - 2015
- [c126]Mohsen Vakilian, Amarin Phaosawasdi, Michael D. Ernst, Ralph E. Johnson:
Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool. ICSE (1) 2015: 234-245 - [c125]Sai Zhang, Michael D. Ernst:
Proactive detection of inadequate diagnostic messages for software configuration errors. ISSTA 2015: 12-23 - [c124]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: 669-679 - [c123]Kivanç Muslu, Luke Swart, Yuriy Brun
, Michael D. Ernst:
Development History Granularity Transformations (N). ASE 2015: 697-702 - [c122]Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, Fausto Spoto
:
Boolean Formulas for the Static Identification of Injection Attacks in Java. LPAR 2015: 130-145 - [c121]Irfan Ul Haq
, Juan Caballero, Michael D. Ernst:
Ayudante: identifying undesired variable interactions. WODA@SPLASH 2015: 8-13 - [c120]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: 357-368 - [c119]René Just, Michael D. Ernst, Gordon Fraser:
Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool Support. Software Engineering & Management 2015: 53-54 - [c118]René Just, Michael D. Ernst, Suzanne Millstein:
Collaborative Verification of Information Flow for a High-Assurance App Store. Software Engineering & Management 2015: 77 - [c117]Ruth E. Anderson, Michael D. Ernst, Robert Ordóñez, Paul Pham, Ben Tribelhorn:
A Data Programming CS1 Course. SIGCSE 2015: 150-155 - [c116]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: 103-112 - [c115]Brian Burg, Amy J. Ko, Michael D. Ernst:
Explaining Visual Changes in Web Interfaces. UIST 2015: 259-268 - 2014
- [c114]Ravi Bhoraskar, Dominic Langenegger, Pingyang He, Raymond Cheng, William Scott, Michael D. Ernst:
User scripting on Android using BladeDroid. APSys 2014: 9:1-9:7 - [c113]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: 1092-1104 - [c112]Sai Zhang, Michael D. Ernst:
Which configuration option should I change? ICSE 2014: 152-163 - [c111]Ivan Beschastnikh, Yuriy Brun
, Michael D. Ernst, Arvind Krishnamurthy:
Inferring models of concurrent systems from logs of their behavior with CSight. ICSE 2014: 468-479 - [c110]Todd W. Schiller, Kellen Donohue, Forrest Coward, Michael D. Ernst:
Case studies and tools for contract specifications. ICSE 2014: 596-607 - [c109]Jenny Abrahamson, Ivan Beschastnikh, Yuriy Brun
, Michael D. Ernst:
Shedding light on distributed system executions. ICSE Companion 2014: 598-599 - [c108]Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, Michael D. Ernst:
A type system for format strings. ISSTA 2014: 127-137 - [c107]René Just, Michael D. Ernst, Gordon Fraser:
Efficient mutation analysis by propagating and partitioning infected execution states. ISSTA 2014: 315-326 - [c106]Sai Zhang, Darioush Jalali, Jochen Wuttke, Kivanç Muslu, Wing Lam, Michael D. Ernst, David Notkin:
Empirically revisiting the test independence assumption. ISSTA 2014: 385-396 - [c105]René Just, Darioush Jalali, Michael D. Ernst:
Defects4J: a database of existing faults to enable controlled testing studies for Java programs. ISSTA 2014: 437-440 - [c104]Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, Michael D. Ernst:
A format string checker for Java. ISSTA 2014: 441-444 - [c103]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: 465-466 - [c102]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: 654-665 - 2013
- [c101]Colin S. Gordon
, Werner Dietl, Michael D. Ernst, Dan Grossman:
Java UI : Effects for Controlling UI Object Access. ECOOP 2013: 179-204 - [c100]Ivan Beschastnikh, Yuriy Brun
, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy:
Unifying FSM-inference algorithms through declarative specification. ICSE 2013: 252-261 - [c99]Sai Zhang, Michael D. Ernst:
Automated diagnosis of software configuration errors. ICSE 2013: 312-321 - [c98]Sai Zhang, Hao Lü, Michael D. Ernst:
Automatically repairing broken workflows for evolving GUI applications. ISSTA 2013: 45-55 - [c97]Colin S. Gordon
, Michael D. Ernst, Dan Grossman:
Rely-guarantee references for refinement types over aliased mutable data. PLDI 2013: 73-84 - [c96]Kivanç Muslu, Yuriy Brun
, Michael D. Ernst, David Notkin:
Making offline analyses continuous. ESEC/SIGSOFT FSE 2013: 323-333 - [c95]Brian Burg, Richard Bailey, Amy J. Ko, Michael D. Ernst:
Interactive record/replay for web application debugging. UIST 2013: 473-484 - 2012
- [c94]Eric Spishak, Werner Dietl, Michael D. Ernst:
A type system for regular expressions. FTfJP@ECOOP 2012: 20-26 - [c93]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: 42-49 - [c92]Wei Huang, Werner Dietl, Ana L. Milanova, Michael D. Ernst:
Inference and Checking of Object Ownership. ECOOP 2012: 181-206 - [c91]Jingyue Li, Michael D. Ernst:
CBCD: Cloned buggy code detector. ICSE 2012: 310-320 - [c90]Kivanç Muslu, Yuriy Brun
, Reid Holmes, Michael D. Ernst, David Notkin:
Improving IDE recommendations by considering global implications of existing recommendations. ICSE 2012: 1349-1352 - [c89]Sai Zhang, Hao Lü, Michael D. Ernst:
Finding errors in multithreaded GUI applications. ISSTA 2012: 243-253 - [c88]Todd W. Schiller, Michael D. Ernst:
Reducing the barriers to writing verified specifications. OOPSLA 2012: 95-112 - [c87]Kivanç Muslu, Yuriy Brun
, Reid Holmes, Michael D. Ernst, David Notkin:
Speculative analysis of integrated development environment recommendations. OOPSLA 2012: 669-682 - [c86]Wei Huang, Ana L. Milanova, Werner Dietl, Michael D. Ernst:
Reim & ReImInfer: checking and inference of reference immutability and method purity. OOPSLA 2012: 879-896 - [c85]Colin S. Gordon
, Michael D. Ernst, Dan Grossman:
Static lock capabilities for deadlock freedom. TLDI 2012: 67-78 - 2011
- [c84]Vijay Ganesh
, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst:
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. CAV 2011: 1-19 - [c83]Werner Dietl, Michael D. Ernst, Peter Müller:
Tunable Static Inference for Generic Universe Types. ECOOP 2011: 333-357 - [c82]Danny Dig, John Marrero, Michael D. Ernst:
How do programs become more concurrent: a story of program transformations. IWMSE@ICSE 2011: 43-50 - [c81]Fausto Spoto
, Michael D. Ernst:
Inference of field initialization. ICSE 2011: 231-240 - [c80]Michael Bayne, Richard Cook, Michael D. Ernst:
Always-available static and dynamic feedback. ICSE 2011: 521-530 - [c79]Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivanç Muslu, Todd W. Schiller:
Building and using pluggable type-checkers. ICSE 2011: 681-690 - [c78]Sai Zhang, David Saff, Yingyi Bu, Michael D. Ernst:
Combined static and dynamic automated test generation. ISSTA 2011: 353-363 - [c77]Brian Robinson, Michael D. Ernst, Jeff H. Perkins, Vinay Augustine, Nuo Li:
Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs. ASE 2011: 23-32 - [c76]Sai Zhang, Cheng Zhang, Michael D. Ernst:
Automated documentation inference to explain failed tests. ASE 2011: 63-72 - [c75]Yuriy Brun
, Reid Holmes, Michael D. Ernst, David Notkin:
Proactive detection of collaboration conflicts. SIGSOFT FSE 2011: 168-178 - [c74]Ivan Beschastnikh, Yuriy Brun
, Sigurd Schneider, Michael Sloan, Michael D. Ernst:
Leveraging existing instrumentation to automatically infer invariant-constrained models. SIGSOFT FSE 2011: 267-277 - [c73]Yuriy Brun
, Reid Holmes, Michael D. Ernst, David Notkin:
Crystal: precise and unobtrusive conflict warnings. SIGSOFT FSE 2011: 444-447 - [c72]Ivan Beschastnikh, Jenny Abrahamson, Yuriy Brun
, Michael D. Ernst:
Synoptic: studying logged behavior with inferred models. SIGSOFT FSE 2011: 448-451 - 2010
- [c71]Yoav Zibin, Alex Potanin
, Paley Li, Mahmood Ali, Michael D. Ernst:
Ownership and immutability in generic Java. OOPSLA 2010: 598-617 - [c70]Sigurd Schneider, Ivan Beschastnikh, Slava Chernyak, Michael D. Ernst, Yuriy Brun:
Synoptic: Summarizing System Logs with Refinement. SLAML 2010 - [c69]Yuriy Brun
, Reid Holmes, Michael D. Ernst, David Notkin:
Speculative analysis: exploring future development states of software. FoSER 2010: 59-64 - [c68]Todd W. Schiller, Michael D. Ernst:
Rethinking the economics of software engineering. FoSER 2010: 325-330 - [c67]Michael D. Ernst, Mahmood Ali:
Building and using pluggable type systems. SIGSOFT FSE 2010: 375-376 - [c66]Michael D. Ernst:
How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback. TAP@TOOLS 2010: 1-2 - 2009
- [c65]Adam Kiezun, Philip J. Guo, Karthick Jayaraman, Michael D. Ernst:
Automatic creation of SQL Injection and cross-site scripting attacks. ICSE 2009: 199-209 - [c64]Danny Dig, John Marrero, Michael D. Ernst:
Refactoring sequential Java code for concurrency via concurrent libraries. ICSE 2009: 397-407 - [c63]Danny Dig, John Marrero, Michael D. Ernst:
Concurrencer: A tool for retrofitting concurrency into sequential java applications via concurrent libraries. ICSE Companion 2009: 399-400 - [c62]Adam Kiezun, Vijay Ganesh
, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst:
HAMPI: a solver for string constraints. ISSTA 2009: 105-116 - [c61]Shay Artzi, Sunghun Kim, Michael D. Ernst:
ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications. ESEC/SIGSOFT FSE 2009: 295-296 - [c60]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:
Automatically patching errors in deployed software. SOSP 2009: 87-102 - 2008
- [c59]Shay Artzi, Sunghun Kim, Michael D. Ernst:
ReCrash: Making Software Failures Reproducible by Preserving Object States. ECOOP 2008: 542-565 - [c58]Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst:
Inference of Reference Immutability. ECOOP 2008: 616-641 - [c57]Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst:
Practical pluggable types for java. ISSTA 2008: 201-212 - [c56]Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst:
Finding bugs in dynamic web applications. ISSTA 2008: 261-272 - [c55]Matthew M. Papi, Mahmood Ali, Michael D. Ernst:
Compile-time type-checking for custom type qualifiers in Java. OOPSLA Companion 2008: 723-724 - [c54]Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst:
Enforcing reference and object immutability in Java. OOPSLA Companion 2008: 725-726 - [c53]Matthew M. Papi, Mahmood Ali, Michael D. Ernst:
Compile-time type-checking for custom type qualifiers in java. OOPSLA Companion 2008: 759-760 - [c52]Stephen McCamant, Michael D. Ernst:
Quantitative information flow as network flow capacity. PLDI 2008: 193-205 - 2007
- [c51]Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball:
Feedback-Directed Random Test Generation. ICSE 2007: 75-84 - [c50]Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer:
Refactoring for Parameterizing Java Classes. ICSE 2007: 437-446 - [c49]Shay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst:
Combined static and dynamic mutability analysis. ASE 2007: 104-113 - [c48]Sunghun Kim, Michael D. Ernst:
Prioritizing Warning Categories by Analyzing Software History. MSR 2007: 27 - [c47]Matthew M. Papi, Michael D. Ernst:
Compile-time type-checking for custom type qualifiers in Java. OOPSLA Companion 2007: 809-810 - [c46]Matthew M. Papi, Michael D. Ernst:
Compile-time type-checking for custom type qualifiers in Java. OOPSLA Companion 2007: 809-810 - [c45]Carlos Pacheco, Michael D. Ernst:
Randoop: feedback-directed random testing for Java. OOPSLA Companion 2007: 815-816 - [c44]Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst:
Tools for enforcing and inferring reference immutability in Java. OOPSLA Companion 2007: 866-867 - [c43]Stephen McCamant, Michael D. Ernst:
A simulation-based proof technique for dynamic information flow. PLAS 2007: 41-46 - [c42]Sunghun Kim, Michael D. Ernst:
Which warnings should I fix first? ESEC/SIGSOFT FSE 2007: 45-54 - [c41]Yoav Zibin, Alex Potanin
, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst:
Object and reference immutability using java generics. ESEC/SIGSOFT FSE 2007: 75-84 - 2006
- [c40]Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard:
Inference and enforcement of data structure consistency specifications. ISSTA 2006: 233-244 - [c39]Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst:
Dynamic inference of abstract types. ISSTA 2006: 255-265 - [c38]Marcelo d'Amorim
, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst:
An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. ASE 2006: 59-68 - 2005
- [c37]Carlos Pacheco, Michael D. Ernst:
Eclat: Automatic Generation and Classification of Test Inputs. ECOOP 2005: 504-527 - [c36]Amy L. Williams
, William Thies, Michael D. Ernst:
Static Deadlock Detection for Java Libraries. ECOOP 2005: 602-629 - [c35]Michael D. Ernst:
The Groupthink Specification Exercise. Software Education and Training Sessions @ ICSE 2005: 89-107 - [c34]Michael D. Ernst, John Chapin:
The groupthink specification exercise. ICSE 2005: 617-618 - [c33]David Saff, Michael D. Ernst:
Test factoring: focusing test suites for the task at hand. ICSE 2005: 656 - [c32]David Saff, Michael D. Ernst:
Continuous testing in eclipse. ICSE 2005: 668-669 - [c31]David Saff, Shay Artzi, Jeff H. Perkins, Michael D. Ernst:
Automatic test factoring for java. ASE 2005: 114-123 - [c30]Matthew S. Tschantz, Michael D. Ernst:
Javari: adding reference immutability to Java. OOPSLA 2005: 211-230 - [c29]Shay Artzi, Michael D. Ernst:
Using predicate fields in a highly flexible industrial control system. OOPSLA Companion 2005: 319-330 - 2004
- [c28]Stephen McCamant, Michael D. Ernst:
Early Identification of Incompatibilities in Multi-component Upgrades. ECOOP 2004: 440-464 - [c27]Yuriy Brun
, Michael D. Ernst:
Finding Latent Code Errors via Machine Learning over Program Executions. ICSE 2004: 480-490 - [c26]David Saff, Michael D. Ernst:
An experimental evaluation of continuous testing during development. ISSTA 2004: 76-85 - [c25]Lee Lin, Michael D. Ernst:
Improving the adaptability of multi-mode systems via program steering. ISSTA 2004: 206-216 - [c24]Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst:
Converting java programs to use generic libraries. OOPSLA 2004: 15-34 - [c23]Adrian Birka, Michael D. Ernst:
A practical type system and language for reference immutability. OOPSLA 2004: 35-49 - [c22]Michael D. Ernst:
Invited Talk Static and dynamic analysis: synergy and duality. PASTE 2004: 35 - [c21]David Saff, Michael D. Ernst:
Mock object creation for test factoring. PASTE 2004: 49-51 - [c20]Jeff H. Perkins, Michael D. Ernst:
Efficient incremental algorithms for dynamic detection of likely invariants. SIGSOFT FSE 2004: 23-32 - [c19]David Saff, Michael D. Ernst:
Continuous Testing in Eclipse. eTX 2004: 103-117 - 2003
- [c18]Michael Harder, Jeff Mellen, Michael D. Ernst:
Improving Test Suites via Operational Abstraction. ICSE 2003: 60-73 - [c17]Jonathan E. Cook, Michael D. Ernst:
ICSE Workshop on Dynamic Analysis (WODA 2003). ICSE 2003: 795-796 - [c16]David Saff, Michael D. Ernst:
Reducing wasted development time via continuous testing. ISSRE 2003: 281-292 - [c15]Stephen McCamant, Michael D. Ernst:
Predicting problems caused by component upgrades. ESEC / SIGSOFT FSE 2003: 287-296 - [c14]Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch:
Using Simulated Execution in Verifying Distributed Algorithms. VMCAI 2003: 283-297 - [c13]Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll:
An overview of JML tools and applications. FMICS 2003: 75-91 - 2002
- [c12]Jeremy W. Nimmer, Michael D. Ernst:
Automatic generation of program specifications. ISSTA 2002: 229-239 - [c11]Jeremy W. Nimmer, Michael D. Ernst:
Invariant inference for static checking. SIGSOFT FSE 2002: 11-20 - 2001
- [c10]David Notkin, Marc Donner, Michael D. Ernst, Michael M. Gorlick, E. James Whitehead Jr.:
Panel: Perspectives on Software Engineering. ICSE 2001: 699-702 - [c9]Michael D. Ernst:
Summary of Dynamically Discovering Likely Program Invariants. ICSM 2001: 540-544 - [c8]Yoshio Kataoka, Michael D. Ernst, William G. Griswold
, David Notkin:
Automated Support for Program Refactoring Using Invariants. ICSM 2001: 736-743 - [c7]Jeremy W. Nimmer, Michael D. Ernst:
Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java. RV@CAV 2001: 255-276 - 2000
- [c6]Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin:
Quickly detecting relevant program invariants. ICSE 2000: 449-458 - 1999
- [c5]Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin:
Dynamically Discovering Likely Program Invariants to Support Program Evolution. ICSE 1999: 213-224 - [c4]Michael D. Ernst:
Research Summary for Dynamic Detection of Program Invariants. ICSE 1999: 718-719 - 1998
- [c3]Michael D. Ernst, Craig S. Kaplan, Craig Chambers:
Predicate Dispatching: A Unified Theory of Dispatch. ECOOP 1998: 186-211 - 1997
- [c2]Michael D. Ernst, Todd D. Millstein, Daniel S. Weld:
Automatic SAT-Compilation of Planning Problems. IJCAI 1997: 1169-1177 - 1994
- [c1]Daniel Weise, Roger F. Crew, Michael D. Ernst, Bjarne Steensgaard:
Value Dependence Graphs: Representation without Taxation. POPL 1994: 297-310
Parts in Books or Collections
- 2013
- [p1]Alex Potanin
, Johan Östlund, Yoav Zibin, Michael D. Ernst:
Immutability. Aliasing in Object-Oriented Programming 2013: 233-269
Editorship
- 2005
- [e2]Michael D. Ernst, Thomas P. Jensen:
Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005. ACM 2005, ISBN 1-59593-239-9 [contents] - 1995
- [e1]Michael D. Ernst:
Proceedings ACM SIGPLAN Workshop on Intermediate Representations (IR'95), San Francisco, CA, USA, January 22, 1995. ACM 1995, ISBN 0-89791-754-5 [contents]
Informal and Other Publications
- 2024
- [i9]Jordan Samhi, René Just, Tegawendé F. Bissyandé, Michael D. Ernst, Jacques Klein:
Call Graph Soundness in Android Static Analysis. CoRR abs/2407.07804 (2024) - 2023
- [i8]Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan:
Automatic Inference of Resource Leak Specifications. CoRR abs/2306.11953 (2023) - 2022
- [i7]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 abs/2203.15178 (2022) - 2021
- [i6]Sahil Verma
, Michael D. Ernst, René Just:
Removing biased data to improve fairness and accuracy. CoRR abs/2102.03054 (2021) - 2018
- [i5]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 abs/1802.08979 (2018) - [i4]Daming Zou, Jingjing Liang, Yingfei Xiong, Michael D. Ernst, Lu Zhang:
An Empirical Study of Fault Localization Families and Their Combinations. CoRR abs/1803.09939 (2018) - [i3]Doug Woos, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson:
A Graphical Interactive Debugger for Distributed Systems. CoRR abs/1806.05300 (2018) - 2015
- [i2]Michael D. Ernst, Damiano Macedonio, Massimo Merro, Fausto Spoto:
Semantics for Locking Specifications. CoRR abs/1501.05338 (2015) - 2013
- [i1]René Just, Michael D. Ernst, Gordon Fraser:
Using State Infection Conditions to Detect Equivalent Mutants and Speed up Mutation Analysis. CoRR abs/1303.2784 (2013)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-18 00:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint