Michael D. Ernst

211 papers A* 55A 48B 4C 1Journal 45Unranked 55

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Resolving Conditional Implicit Calls to Improve Static and Dynamic Analysis in Android Apps. ACM Trans. Softw. Eng. Methodol. Jordan Samhi, René Just, Michael D. Ernst, Tegawendé F. Bissyandé, Jacques Klein
2026	J	`jnl`	Test Oracle Generation for REST APIs. ACM Trans. Softw. Eng. Methodol. Juan C. Alonso, Michael D. Ernst, Sergio Segura, Antonio Ruiz-Cortés
2025	A*	`conf`	Do LLMs Generate Useful Test Oracles? An Empirical Study with an Unbiased Dataset. ASE Davide Molinelli, Luca Di Grazia, Alberto Martin-Lopez, Michael D. Ernst, Mauro Pezzè
2025	A	`conf`	GoFree: Reducing Garbage Collection via Compiler-Inserted Freeing. CGO Haoran Peng, Yu Zhang, Michael D. Ernst, Jinbao Chen, Boyao Ding
2025	J	`jnl`	Jenga: Responsive Tiered Memory Management without Thrashing. CoRR Rohan Kadekodi, Haoran Peng, Gilbert Bernstein, Michael D. Ernst, Baris Kasikci
2025	J	`jnl`	Lightweight and modular resource leak checking (extended version). Int. J. Softw. Tools Technol. Transf. Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
2025	A*	`conf`	Repairing Leaks in Resource Wrappers. ASE Sanjay Malakar, Michael D. Ernst, Martin Kellogg, Manu Sridharan
2025	J	`jnl`	Repairing Leaks in Resource Wrappers. CoRR Sanjay Malakar, Michael D. Ernst, Martin Kellogg, Manu Sridharan
2025	J	`jnl`	Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles. CoRR Davide Molinelli, Alberto Martin-Lopez, Elliott Zackrone, Beyza Eken, Michael D. Ernst, Mauro Pezzè
2025	J	`jnl`	Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles. Proc. ACM Softw. Eng. Davide Molinelli, Alberto Martin-Lopez, Elliott Zackrone, Beyza Eken, Michael D. Ernst, Mauro Pezzè
2024	A	`conf`	Call Graph Soundness in Android Static Analysis. ISSTA Jordan Samhi, René Just, Tegawendé F. Bissyandé, Michael D. Ernst, Jacques Klein
2024	J	`jnl`	Call Graph Soundness in Android Static Analysis. CoRR Jordan Samhi, René Just, Tegawendé F. Bissyandé, Michael D. Ernst, Jacques Klein
2024	A*	`conf`	Evaluation of Version Control Merge Tools. ASE Benedikt Schesch, Ryan Featherman, Kenneth J. Yang, Ben R. Roberts, Michael D. Ernst
2024	J	`jnl`	Evaluation of Version Control Merge Tools. CoRR Benedikt Schesch, Ryan Featherman, Kenneth J. Yang, Ben R. Roberts, Michael D. Ernst
2024	A*	`conf`	Verifying the Option Type with Rely-Guarantee Reasoning. ASE James Yoo, Michael D. Ernst, René Just
2023	J	`jnl`	Automatic Inference of Resource Leak Specifications. CoRR Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
2023	J	`jnl`	Inference of Resource Management Specifications. Proc. ACM Program. Lang. Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
2023	A*	`conf`	Pluggable Type Inference for Free. ASE Martin Kellogg, Daniel Daskiewicz, Loi Ngo Duc Nguyen, Muyeed Ahmed, Michael D. Ernst
2022	J	`jnl`	Accumulation Analysis (Artifact). Dagstuhl Artifacts Ser. Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst
2022	A	`conf`	Accumulation Analysis. ECOOP Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst
2022	A*	`conf`	Call Me Maybe: Using NLP to Automatically Generate Unit Test Cases Respecting Temporal Constraints. ASE Arianna Blasi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè
2022	J	`jnl`	DesCert: Design for Certification. CoRR Natarajan Shankar, Devesh Bhatt, Michael D. Ernst, Minyoung Kim, Srivatsan Varadarajan, Suzanne Millstein, Jorge Navas, Jason Biatek, Huascar Sanchez, Anitha Murugesan, Hao Ren
2021	J	`jnl`	An Empirical Study of Fault Localization Families and Their Combinations. IEEE Trans. Software Eng. Daming Zou, Jingjing Liang, Yingfei Xiong, Michael D. Ernst, Lu Zhang
2021	—	`conf`	Checking conformance of applications against GUI policies. ESEC/SIGSOFT FSE Zhen Zhang, Yu Feng, Michael D. Ernst, Sebastian Porst, Isil Dillig
2021	—	`conf`	Lightweight and modular resource leak verification. ESEC/SIGSOFT FSE Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst
2021	J	`jnl`	MeMo: Automatically identifying metamorphic relations in Javadoc comments for test automation. J. Syst. Softw. Arianna Blasi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, Antonio Carzaniga
2021	J	`jnl`	Removing biased data to improve fairness and accuracy. CoRR Sahil Verma, Michael D. Ernst, René Just
2021	A*	`conf`	Verifying Determinism in Sequential Programs. ICSE Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst
2021	—	`conf`	Verifying Determinism in Sequential Programs. ICSE (Companion Volume) Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst
2020	A*	`conf`	Continuous Compliance. ASE Martin Kellogg, Martin Schäf, Serdar Tasiran, Michael D. Ernst
2020	A	`conf`	Dependent-test-aware regression testing techniques. ISSTA Wing Lam, August Shi, Reed Oei, Sai Zhang, Michael D. Ernst, Tao Xie
2020	A*	`conf`	Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size. ASE Yiqun T. Chen, Rahul Gopinath, Anita Tadakamalla, Michael D. Ernst, Reid Holmes, Gordon Fraser, Paul Ammann, René Just
2020	A*	`conf`	Verifying object construction. ICSE Martin Kellogg, Manli Ran, Manu Sridharan, Martin Schäf, Michael D. Ernst
2020	J	`jnl`	Visualizing Distributed System Executions. ACM Trans. Softw. Eng. Methodol. Ivan Beschastnikh, Perry Liu, Albert Xing, Patty Wang, Yuriy Brun, Michael D. Ernst
2020	—	`conf`	Where should I comment my code?: a dataset and model for predicting locations that need comments. ICSE (NIER) Annie Louis, Santanu Kumar Dash, Earl T. Barr, Michael D. Ernst, Charles Sutton
2019	J	`jnl`	Modular verification of web page layout. Proc. ACM Program. Lang. Pavel Panchekha, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil
2019	—	`conf`	Research on NLP for RE at Università della Svizzera Italiana (USI): A Report. REFSQ Workshops Arianna Blasi, Mauro Pezzè, Alessandra Gorla, Michael D. Ernst
2019	J	`jnl`	Static Identification of Injection Attacks in Java. ACM Trans. Program. Lang. Syst. Fausto Spoto, Elisa Burato, Michael D. Ernst, Pietro Ferrara, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon
2019	A	`conf`	Teaching Rigorous Distributed Systems With Efficient Model Checking. EuroSys Ellis Michael, Doug Woos, Thomas E. Anderson, Michael D. Ernst, Zachary Tatlock
2019	A	`conf`	Theory and practice of string solvers (invited talk abstract). ISSTA Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh
2018	J	`jnl`	A Graphical Interactive Debugger for Distributed Systems. CoRR Doug Woos, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson
2018	J	`jnl`	An Empirical Study of Fault Localization Families and Their Combinations. CoRR Daming Zou, Jingjing Liang, Yingfei Xiong, Michael D. Ernst, Lu Zhang
2018	A	`conf`	Comparing developer-provided to user-provided tests for fault localization and automated program repair. ISSTA René Just, Chris Parnin, Ian Drosos, Michael D. Ernst
2018	A*	`conf`	Generalized data structure synthesis. ICSE Calvin Loncaric, Michael D. Ernst, Emina Torlak
2018	A	`conf`	Lightweight verification of array indexing. ISSTA Martin Kellogg, Vlastimil Dort, Suzanne Millstein, Michael D. Ernst
2018	B	`conf`	NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System. LREC Xi Victoria Lin, Chenglong Wang, Luke Zettlemoyer, Michael D. Ernst
2018	J	`jnl`	NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System. CoRR Xi Victoria Lin, Chenglong Wang, Luke Zettlemoyer, Michael D. Ernst
2018	A	`conf`	Translating code comments to procedure specifications. ISSTA Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, Sergio Delgado Castellanos
2018	A*	`conf`	Verifying that web pages have accessible layout. PLDI Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil
2017	A*	`conf`	Evaluating and improving fault localization. ICSE Spencer Pearson, José Campos, René Just, Gordon Fraser, Rui Abreu, Michael D. Ernst, Deric Pang, Benjamin Keller
2017	—	`conf`	Natural Language is a Programming Language: Applying Natural Language Processing to Software Development. SNAPL Michael D. Ernst
2017	J	`jnl`	SpaceSearch: a library for building and verifying solver-aided tools. Proc. ACM Program. Lang. Konstantin Weitz, Steven Lyubomirsky, Stefan Heule, Emina Torlak, Michael D. Ernst, Zachary Tatlock
2017	J	`jnl`	Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types. ACM Trans. Program. Lang. Syst. Colin S. Gordon, Michael D. Ernst, Dan Grossman, Matthew J. Parkinson
2016	—	`conf`	Automatic Trigger Generation for Rule-based Smart Homes. PLAS@CCS Chandrakana Nandi, Michael D. Ernst
2016	A	`conf`	Automatic generation of oracles for exceptional behaviors. ISSTA Alberto Goffi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè
2016	J	`jnl`	Debugging Distributed Systems. ACM Queue Ivan Beschastnikh, Patty Wang, Yuriy Brun, Michael D. Ernst
2016	J	`jnl`	Debugging distributed systems. Commun. ACM Ivan Beschastnikh, Patty Wang, Yuriy Brun, Michael D. Ernst
2016	A*	`conf`	Fast synthesis of fast collections. PLDI Calvin Loncaric, Emina Torlak, Michael D. Ernst
2016	—	`conf`	Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers. CAV (2) Stuart Pernsteiner, Calvin Loncaric, Emina Torlak, Zachary Tatlock, Xi Wang, Michael D. Ernst, Jonathan Jacky
2016	A*	`conf`	Locking discipline inference and checking. ICSE Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Fausto Spoto, Javier Thaine
2016	B	`conf`	Planning for change in a formal verification of the raft consensus protocol. CPP Doug Woos, James R. Wilcox, Steve Anton, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson
2016	A	`conf`	Scalable verification of border gateway protocol configurations with an SMT solver. OOPSLA Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock
2016	—	`conf`	Semantics for Locking Specifications. NFM Michael D. Ernst, Damiano Macedonio, Massimo Merro, Fausto Spoto
2015	A	`conf`	A Data Programming CS1 Course. SIGCSE Ruth E. Anderson, Michael D. Ernst, Robert Ordóñez, Paul Pham, Ben Tribelhorn
2015	—	`conf`	Ayudante: identifying undesired variable interactions. WODA@SPLASH Irfan Ul Haq, Juan Caballero, Michael D. Ernst
2015	B	`conf`	Boolean Formulas for the Static Identification of Injection Attacks in Java. LPAR Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, Fausto Spoto
2015	—	`conf`	Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool. ICSE (1) Mohsen Vakilian, Amarin Phaosawasdi, Michael D. Ernst, Ralph E. Johnson
2015	—	`conf`	Collaborative Verification of Information Flow for a High-Assurance App Store. Software Engineering & Management René Just, Michael D. Ernst, Suzanne Millstein
2015	A*	`conf`	Development History Granularity Transformations (N). ASE Kivanç Muslu, Luke Swart, Yuriy Brun, Michael D. Ernst
2015	A*	`conf`	Explaining Visual Changes in Web Interfaces. UIST Brian Burg, Amy J. Ko, Michael D. Ernst
2015	—	`conf`	Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool Support. Software Engineering & Management René Just, Michael D. Ernst, Gordon Fraser
2015	A	`conf`	Proactive detection of inadequate diagnostic messages for software configuration errors. ISSTA Sai Zhang, Michael D. Ernst
2015	J	`jnl`	Reducing Feedback Delay of Software Development Tools via Continuous Analysis. IEEE Trans. Software Eng. Kivanç Muslu, Yuriy Brun, Michael D. Ernst, David Notkin
2015	J	`jnl`	Semantics for Locking Specifications. CoRR Michael D. Ernst, Damiano Macedonio, Massimo Merro, Fausto Spoto
2015	A*	`conf`	Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T). ASE Paulo Barros, René Just, Suzanne Millstein, Paul Vines, Werner Dietl, Marcelo d'Amorim, Michael D. Ernst
2015	—	`conf`	Toward a Dependability Case Language and Workflow for a Radiation Therapy System. SNAPL Michael D. Ernst, Dan Grossman, Jon Jacky, Calvin Loncaric, Stuart Pernsteiner, Zachary Tatlock, Emina Torlak, Xi Wang
2015	J	`jnl`	Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms. IEEE Trans. Software Eng. Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy
2015	A*	`conf`	Verdi: a framework for implementing and formally verifying distributed systems. PLDI James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas E. Anderson
2014	A	`conf`	A format string checker for Java. ISSTA Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, Michael D. Ernst
2014	A	`conf`	A type system for format strings. ISSTA Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, Michael D. Ernst
2014	—	`conf`	Are mutants a valid substitute for real faults in software testing? SIGSOFT FSE René Just, Darioush Jalali, Laura Inozemtseva, Michael D. Ernst, Reid Holmes, Gordon Fraser
2014	A*	`conf`	Case studies and tools for contract specifications. ICSE Todd W. Schiller, Kellen Donohue, Forrest Coward, Michael D. Ernst
2014	A*	`conf`	Collaborative Verification of Information Flow for a High-Assurance App Store. CCS 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	A	`conf`	Defects4J: a database of existing faults to enable controlled testing studies for Java programs. ISSTA René Just, Darioush Jalali, Michael D. Ernst
2014	A	`conf`	Efficient mutation analysis by propagating and partitioning infected execution states. ISSTA René Just, Michael D. Ernst, Gordon Fraser
2014	A	`conf`	Empirically revisiting the test independence assumption. ISSTA Sai Zhang, Darioush Jalali, Jochen Wuttke, Kivanç Muslu, Wing Lam, Michael D. Ernst, David Notkin
2014	A*	`conf`	Inferring models of concurrent systems from logs of their behavior with CSight. ICSE Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy
2014	A	`conf`	Introductory programming meets the real world: using real problems and data in CS1. SIGCSE Ruth E. Anderson, Michael D. Ernst, Robert Ordóñez, Paul Pham, Steven A. Wolfman
2014	—	`conf`	Shedding light on distributed system executions. ICSE Companion Jenny Abrahamson, Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst
2014	—	`conf`	User scripting on Android using BladeDroid. APSys Ravi Bhoraskar, Dominic Langenegger, Pingyang He, Raymond Cheng, William Scott, Michael D. Ernst
2014	A*	`conf`	Which configuration option should I change? ICSE Sai Zhang, Michael D. Ernst
2013	A*	`conf`	Automated diagnosis of software configuration errors. ICSE Sai Zhang, Michael D. Ernst
2013	A	`conf`	Automatically repairing broken workflows for evolving GUI applications. ISSTA Sai Zhang, Hao Lü, Michael D. Ernst
2013	J	`jnl`	Early Detection of Collaboration Conflicts and Risks. IEEE Trans. Software Eng. Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
2013	—	`ch.`	Immutability. Aliasing in Object-Oriented Programming Alex Potanin, Johan Östlund, Yoav Zibin, Michael D. Ernst
2013	A*	`conf`	Interactive record/replay for web application debugging. UIST Brian Burg, Richard Bailey, Amy J. Ko, Michael D. Ernst
2013	A	`conf`	Java UI : Effects for Controlling UI Object Access. ECOOP Colin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman
2013	—	`conf`	Making offline analyses continuous. ESEC/SIGSOFT FSE Kivanç Muslu, Yuriy Brun, Michael D. Ernst, David Notkin
2013	A*	`conf`	Rely-guarantee references for refinement types over aliased mutable data. PLDI Colin S. Gordon, Michael D. Ernst, Dan Grossman
2013	A*	`conf`	Unifying FSM-inference algorithms through declarative specification. ICSE Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy
2013	J	`jnl`	Using State Infection Conditions to Detect Equivalent Mutants and Speed up Mutation Analysis CoRR René Just, Michael D. Ernst, Gordon Fraser
2012	—	`conf`	A type system for regular expressions. FTfJP@ECOOP Eric Spishak, Werner Dietl, Michael D. Ernst
2012	A*	`conf`	CBCD: Cloned buggy code detector. ICSE Jingyue Li, Michael D. Ernst
2012	A	`conf`	Finding errors in multithreaded GUI applications. ISSTA Sai Zhang, Hao Lü, Michael D. Ernst
2012	J	`jnl`	HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars. ACM Trans. Softw. Eng. Methodol. Adam Kiezun, Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
2012	A*	`conf`	Improving IDE recommendations by considering global implications of existing recommendations. ICSE Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
2012	A	`conf`	Inference and Checking of Object Ownership. ECOOP Wei Huang, Werner Dietl, Ana L. Milanova, Michael D. Ernst
2012	A	`conf`	Reducing the barriers to writing verified specifications. OOPSLA Todd W. Schiller, Michael D. Ernst
2012	A	`conf`	Reim & ReImInfer: checking and inference of reference immutability and method purity. OOPSLA Wei Huang, Ana L. Milanova, Werner Dietl, Michael D. Ernst
2012	A	`conf`	Speculative analysis of integrated development environment recommendations. OOPSLA Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
2012	—	`conf`	Static lock capabilities for deadlock freedom. TLDI Colin S. Gordon, Michael D. Ernst, Dan Grossman
2012	J	`jnl`	The HaLoop approach to large-scale iterative data analysis. VLDB J. Yingyi Bu, Bill Howe, Magdalena Balazinska, Michael D. Ernst
2012	—	`conf`	Verification games: making verification fun. FTfJP@ECOOP Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Nathaniel Mote, Brian Walker, Seth Cooper, Timothy Pavlik, Zoran Popovic
2011	A*	`conf`	Always-available static and dynamic feedback. ICSE Michael Bayne, Richard Cook, Michael D. Ernst
2011	A*	`conf`	Automated documentation inference to explain failed tests. ASE Sai Zhang, Cheng Zhang, Michael D. Ernst
2011	A*	`conf`	Building and using pluggable type-checkers. ICSE Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivanç Muslu, Todd W. Schiller
2011	A	`conf`	Combined static and dynamic automated test generation. ISSTA Sai Zhang, David Saff, Yingyi Bu, Michael D. Ernst
2011	—	`conf`	Crystal: precise and unobtrusive conflict warnings. SIGSOFT FSE Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
2011	A*	`conf`	HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. CAV Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
2011	—	`conf`	How do programs become more concurrent: a story of program transformations. IWMSE@ICSE Danny Dig, John Marrero, Michael D. Ernst
2011	A*	`conf`	Inference of field initialization. ICSE Fausto Spoto, Michael D. Ernst
2011	—	`conf`	Leveraging existing instrumentation to automatically infer invariant-constrained models. SIGSOFT FSE Ivan Beschastnikh, Yuriy Brun, Sigurd Schneider, Michael Sloan, Michael D. Ernst
2011	J	`jnl`	Mining temporal invariants from partially ordered logs. ACM SIGOPS Oper. Syst. Rev. Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy, Thomas E. Anderson
2011	—	`conf`	Proactive detection of collaboration conflicts. SIGSOFT FSE Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
2011	J	`jnl`	Refactoring using type constraints. ACM Trans. Program. Lang. Syst. Frank Tip, Robert M. Fuhrer, Adam Kiezun, Michael D. Ernst, Ittai Balaban, Bjorn De Sutter
2011	A*	`conf`	Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs. ASE Brian Robinson, Michael D. Ernst, Jeff H. Perkins, Vinay Augustine, Nuo Li
2011	—	`conf`	Synoptic: studying logged behavior with inferred models. SIGSOFT FSE Ivan Beschastnikh, Jenny Abrahamson, Yuriy Brun, Michael D. Ernst
2011	A	`conf`	Tunable Static Inference for Generic Universe Types. ECOOP Werner Dietl, Michael D. Ernst, Peter Müller
2010	—	`conf`	Building and using pluggable type systems. SIGSOFT FSE Michael D. Ernst, Mahmood Ali
2010	J	`jnl`	Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking. IEEE Trans. Software Eng. Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst
2010	J	`jnl`	HaLoop: Efficient Iterative Data Processing on Large Clusters. Proc. VLDB Endow. Yingyi Bu, Bill Howe, Magdalena Balazinska, Michael D. Ernst
2010	—	`conf`	How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback. TAP@TOOLS Michael D. Ernst
2010	A	`conf`	Ownership and immutability in generic Java. OOPSLA Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst
2010	—	`conf`	Rethinking the economics of software engineering. FoSER Todd W. Schiller, Michael D. Ernst
2010	—	`conf`	Speculative analysis: exploring future development states of software. FoSER Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
2010	—	`conf`	Synoptic: Summarizing System Logs with Refinement. SLAML Sigurd Schneider, Ivan Beschastnikh, Slava Chernyak, Michael D. Ernst, Yuriy Brun
2009	A*	`conf`	Automatic creation of SQL Injection and cross-site scripting attacks. ICSE Adam Kiezun, Philip J. Guo, Karthick Jayaraman, Michael D. Ernst
2009	A*	`conf`	Automatically patching errors in deployed software. SOSP 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
2009	—	`conf`	Concurrencer: A tool for retrofitting concurrency into sequential java applications via concurrent libraries. ICSE Companion Danny Dig, John Marrero, Michael D. Ernst
2009	A	`conf`	HAMPI: a solver for string constraints. ISSTA Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
2009	J	`jnl`	Parameter reference immutability: formal definition, inference tool, and comparison. Autom. Softw. Eng. Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst
2009	—	`conf`	ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications. ESEC/SIGSOFT FSE Shay Artzi, Sunghun Kim, Michael D. Ernst
2009	A*	`conf`	Refactoring sequential Java code for concurrency via concurrent libraries. ICSE Danny Dig, John Marrero, Michael D. Ernst
2008	—	`conf`	Compile-time type-checking for custom type qualifiers in Java. OOPSLA Companion Matthew M. Papi, Mahmood Ali, Michael D. Ernst
2008	—	`conf`	Compile-time type-checking for custom type qualifiers in java. OOPSLA Companion Matthew M. Papi, Mahmood Ali, Michael D. Ernst
2008	—	`conf`	Enforcing reference and object immutability in Java. OOPSLA Companion Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst
2008	A	`conf`	Finding bugs in dynamic web applications. ISSTA Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst
2008	A	`conf`	Inference of Reference Immutability. ECOOP Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst
2008	A	`conf`	Practical pluggable types for java. ISSTA Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst
2008	A*	`conf`	Quantitative information flow as network flow capacity. PLDI Stephen McCamant, Michael D. Ernst
2008	A	`conf`	ReCrash: Making Software Failures Reproducible by Preserving Object States. ECOOP Shay Artzi, Sunghun Kim, Michael D. Ernst
2007	—	`conf`	A simulation-based proof technique for dynamic information flow. PLAS Stephen McCamant, Michael D. Ernst
2007	A*	`conf`	Combined static and dynamic mutability analysis. ASE Shay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst
2007	—	`conf`	Compile-time type-checking for custom type qualifiers in Java. OOPSLA Companion Matthew M. Papi, Michael D. Ernst
2007	—	`conf`	Compile-time type-checking for custom type qualifiers in Java. OOPSLA Companion Matthew M. Papi, Michael D. Ernst
2007	A*	`conf`	Feedback-Directed Random Test Generation. ICSE Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball
2007	—	`conf`	Object and reference immutability using java generics. ESEC/SIGSOFT FSE Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst
2007	A	`conf`	Prioritizing Warning Categories by Analyzing Software History. MSR Sunghun Kim, Michael D. Ernst
2007	—	`conf`	Randoop: feedback-directed random testing for Java. OOPSLA Companion Carlos Pacheco, Michael D. Ernst
2007	A*	`conf`	Refactoring for Parameterizing Java Classes. ICSE Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer
2007	J	`jnl`	The Daikon system for dynamic detection of likely invariants. Sci. Comput. Program. Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, Chen Xiao
2007	—	`conf`	Tools for enforcing and inferring reference immutability in Java. OOPSLA Companion Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst
2007	—	`conf`	Which warnings should I fix first? ESEC/SIGSOFT FSE Sunghun Kim, Michael D. Ernst
2006	A*	`conf`	An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. ASE Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst
2006	A	`conf`	Dynamic inference of abstract types. ISSTA Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst
2006	A	`conf`	Inference and enforcement of data structure consistency specifications. ISSTA Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard
2005	J	`jnl`	An overview of JML tools and applications. Int. J. Softw. Tools Technol. Transf. Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
2005	A*	`conf`	Automatic test factoring for java. ASE David Saff, Shay Artzi, Jeff H. Perkins, Michael D. Ernst
2005	A*	`conf`	Continuous testing in eclipse. ICSE David Saff, Michael D. Ernst
2005	A	`conf`	Eclat: Automatic Generation and Classification of Test Inputs. ECOOP Carlos Pacheco, Michael D. Ernst
2005	A	`conf`	Javari: adding reference immutability to Java. OOPSLA Matthew S. Tschantz, Michael D. Ernst
2005	—	`ed.`	Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005 PASTE Michael D. Ernst, Thomas P. Jensen
2005	A	`conf`	Static Deadlock Detection for Java Libraries. ECOOP Amy L. Williams, William Thies, Michael D. Ernst
2005	A*	`conf`	Test factoring: focusing test suites for the task at hand. ICSE David Saff, Michael D. Ernst
2005	—	`conf`	The Groupthink Specification Exercise. Software Education and Training Sessions @ ICSE Michael D. Ernst
2005	A*	`conf`	The groupthink specification exercise. ICSE Michael D. Ernst, John Chapin
2005	—	`conf`	Using predicate fields in a highly flexible industrial control system. OOPSLA Companion Shay Artzi, Michael D. Ernst
2004	A	`conf`	A practical type system and language for reference immutability. OOPSLA Adrian Birka, Michael D. Ernst
2004	A	`conf`	An experimental evaluation of continuous testing during development. ISSTA David Saff, Michael D. Ernst
2004	—	`conf`	Continuous Testing in Eclipse. eTX David Saff, Michael D. Ernst
2004	A	`conf`	Converting java programs to use generic libraries. OOPSLA Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst
2004	A	`conf`	Early Identification of Incompatibilities in Multi-component Upgrades. ECOOP Stephen McCamant, Michael D. Ernst
2004	—	`conf`	Efficient incremental algorithms for dynamic detection of likely invariants. SIGSOFT FSE Jeff H. Perkins, Michael D. Ernst
2004	A*	`conf`	Finding Latent Code Errors via Machine Learning over Program Executions. ICSE Yuriy Brun, Michael D. Ernst
2004	A	`conf`	Improving the adaptability of multi-mode systems via program steering. ISSTA Lee Lin, Michael D. Ernst
2004	—	`conf`	Invited Talk Static and dynamic analysis: synergy and duality. PASTE Michael D. Ernst
2004	—	`conf`	Mock object creation for test factoring. PASTE David Saff, Michael D. Ernst
2004	J	`jnl`	Using simulated execution in verifying distributed algorithms. Int. J. Softw. Tools Technol. Transf. Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch
2003	C	`conf`	An overview of JML tools and applications. FMICS Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
2003	A*	`conf`	ICSE Workshop on Dynamic Analysis (WODA 2003). ICSE Jonathan E. Cook, Michael D. Ernst
2003	A*	`conf`	Improving Test Suites via Operational Abstraction. ICSE Michael Harder, Jeff Mellen, Michael D. Ernst
2003	—	`conf`	Predicting problems caused by component upgrades. ESEC / SIGSOFT FSE Stephen McCamant, Michael D. Ernst
2003	A	`conf`	Reducing wasted development time via continuous testing. ISSRE David Saff, Michael D. Ernst
2003	J	`jnl`	Summary: ICSE workshop on dynamic analysis (WODA 2003). ACM SIGSOFT Softw. Eng. Notes Jonathan E. Cook, Michael D. Ernst
2003	B	`conf`	Using Simulated Execution in Verifying Distributed Algorithms. VMCAI Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch
2002	J	`jnl`	An Empirical Analysis of C Preprocessor Use. IEEE Trans. Software Eng. Michael D. Ernst, Greg J. Badros, David Notkin
2002	A	`conf`	Automatic generation of program specifications. ISSTA Jeremy W. Nimmer, Michael D. Ernst
2002	J	`jnl`	Graphs induced by Gray codes. Discret. Math. Elizabeth L. Wilmer, Michael D. Ernst
2002	—	`conf`	Invariant inference for static checking. SIGSOFT FSE Jeremy W. Nimmer, Michael D. Ernst
2001	—	`conf`	Automated Support for Program Refactoring Using Invariants. ICSM Yoshio Kataoka, Michael D. Ernst, William G. Griswold, David Notkin
2001	J	`jnl`	Dynamically Discovering Likely Program Invariants to Support Program Evolution. IEEE Trans. Software Eng. Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin
2001	A*	`conf`	Panel: Perspectives on Software Engineering. ICSE David Notkin, Marc Donner, Michael D. Ernst, Michael M. Gorlick, E. James Whitehead Jr.
2001	—	`conf`	Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java. RV@CAV Jeremy W. Nimmer, Michael D. Ernst
2001	—	`conf`	Summary of Dynamically Discovering Likely Program Invariants. ICSM Michael D. Ernst
2000	A*	`conf`	Quickly detecting relevant program invariants. ICSE Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin
1999	A*	`conf`	Dynamically Discovering Likely Program Invariants to Support Program Evolution. ICSE Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin
1999	A*	`conf`	Research Summary for Dynamic Detection of Program Invariants. ICSE Michael D. Ernst
1998	A	`conf`	Predicate Dispatching: A Unified Theory of Dispatch. ECOOP Michael D. Ernst, Craig S. Kaplan, Craig Chambers
1997	—	`conf`	Automatic SAT-Compilation of Planning Problems. IJCAI Michael D. Ernst, Todd D. Millstein, Daniel S. Weld
1995	—	`ed.`	Proceedings ACM SIGPLAN Workshop on Intermediate Representations (IR'95), San Francisco, CA, USA, January 22, 1995 Intermediate Representations Workshop Michael D. Ernst
1994	A*	`conf`	Value Dependence Graphs: Representation without Taxation. POPL Daniel Weise, Roger F. Crew, Michael D. Ernst, Bjarne Steensgaard