default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael D. Ernst
Person information
- affiliation: University of Washington, Seattle, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c158]Jordan Samhi
, René Just, Tegawendé F. Bissyandé, Michael D. Ernst, Jacques Klein:
Call Graph Soundness in Android Static Analysis. ISSTA 2024: 945-957- [i10]Jordan Samhi, René Just, Tegawendé F. Bissyandé, Michael D. Ernst, Jacques Klein:
Call Graph Soundness in Android Static Analysis. CoRR abs/2407.07804 (2024) - [i9]Benedikt Schesch, Ryan Featherman, Kenneth J. Yang, Ben R. Roberts, Michael D. Ernst:
Evaluation of Version Control Merge Tools. CoRR abs/2410.09934 (2024) - 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) - [c157]Martin Kellogg, Daniel Daskiewicz, Loi Ngo Duc Nguyen, Muyeed Ahmed, Michael D. Ernst:
Pluggable Type Inference for Free. ASE 2023: 1542-1554 - [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
- [j27]Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst:
Accumulation Analysis (Artifact). Dagstuhl Artifacts Ser. 8(2): 22:1-22:3 (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 - [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
- [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) - [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 - [i6]Sahil Verma, Michael D. Ernst, René Just:
Removing biased data to improve fairness and accuracy. CoRR abs/2102.03054 (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) - [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
2010 – 2019
- 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) - [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 - [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) - 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) - [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
- [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) - [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
- [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) - [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 - [i2]Michael D. Ernst, Damiano Macedonio, Massimo Merro, Fausto Spoto:
Semantics for Locking Specifications. CoRR abs/1501.05338 (2015) - 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
- [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) - [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 - [p1]Alex Potanin, Johan Östlund, Yoav Zibin, Michael D. Ernst:
Immutability. Aliasing in Object-Oriented Programming 2013: 233-269 - [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) - 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) - [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
- [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) - [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]