Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Michael D. Ernst
2010 – today
- 2013
[c90]Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy: Unifying FSM-inference algorithms through declarative specification. ICSE 2013: 252-261- [c89]
- [c88]Colin S. Gordon, Michael D. Ernst, Dan Grossman: Rely-guarantee references for refinement types over aliased mutable data. PLDI 2013: 73-84
- [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
- [j17]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 (2012)
- [j16]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)
- [c87]Wei Huang, Werner Dietl, Ana Milanova, Michael D. Ernst: Inference and Checking of Object Ownership. ECOOP 2012: 181-206
- [c86]
- [c85]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
- [c84]Sai Zhang, Hao Lü, Michael D. Ernst: Finding errors in multithreaded GUI applications. ISSTA 2012: 243-253
- [c83]Todd W. Schiller, Michael D. Ernst: Reducing the barriers to writing verified specifications. OOPSLA 2012: 95-112
- [c82]Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin: Speculative analysis of integrated development environment recommendations. OOPSLA 2012: 669-682
- [c81]Wei Huang, Ana Milanova, Werner Dietl, Michael D. Ernst: Reim & ReImInfer: checking and inference of reference immutability and method purity. OOPSLA 2012: 879-896
- [c80]Colin S. Gordon, Michael D. Ernst, Dan Grossman: Static lock capabilities for deadlock freedom. TLDI 2012: 67-78
- 2011
- [j15]Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy, Thomas E. Anderson: Mining temporal invariants from partially ordered logs. Operating Systems Review 45(3): 39-46 (2011)
- [j14]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 (2011)
- [c79]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
- [c78]Werner Dietl, Michael D. Ernst, Peter Müller: Tunable Static Inference for Generic Universe Types. ECOOP 2011: 333-357
- [c77]
- [c76]Michael Bayne, Richard Cook, Michael D. Ernst: Always-available static and dynamic feedback. ICSE 2011: 521-530
- [c75]Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivanç Muslu, Todd W. Schiller: Building and using pluggable type-checkers. ICSE 2011: 681-690
- [c74]Sai Zhang, David Saff, Yingyi Bu, Michael D. Ernst: Combined static and dynamic automated test generation. ISSTA 2011: 353-363
- [c73]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
- [c72]Sai Zhang, Cheng Zhang, Michael D. Ernst: Automated documentation inference to explain failed tests. ASE 2011: 63-72
- [c71]Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin: Proactive detection of collaboration conflicts. SIGSOFT FSE 2011: 168-178
- [c70]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
- [c69]Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin: Crystal: precise and unobtrusive conflict warnings. SIGSOFT FSE 2011: 444-447
- [c68]Ivan Beschastnikh, Jenny Abrahamson, Yuriy Brun, Michael D. Ernst: Synoptic: studying logged behavior with inferred models. SIGSOFT FSE 2011: 448-451
- 2010
- [j13]Yingyi Bu, Bill Howe, Magdalena Balazinska, Michael D. Ernst: HaLoop: Efficient Iterative Data Processing on Large Clusters. PVLDB 3(1): 285-296 (2010)
- [j12]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)
- [c67]Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst: Ownership and immutability in generic Java. OOPSLA 2010: 598-617
- [c66]Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin: Speculative analysis: exploring future development states of software. FoSER 2010: 59-64
- [c65]Todd W. Schiller, Michael D. Ernst: Rethinking the economics of software engineering. FoSER 2010: 325-330
- [c64]
- [c63]Michael D. Ernst: How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback. TAP 2010: 1-2
2000 – 2009
- 2009
- [j11]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)
- [c62]Adam Kiezun, Philip J. Guo, Karthick Jayaraman, Michael D. Ernst: Automatic creation of SQL Injection and cross-site scripting attacks. ICSE 2009: 199-209
- [c61]Danny Dig, John Marrero, Michael D. Ernst: Refactoring sequential Java code for concurrency via concurrent libraries. ICSE 2009: 397-407
- [c60]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
- [c59]Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst: HAMPI: a solver for string constraints. ISSTA 2009: 105-116
- [c58]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
- [c57]Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Greg Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard: Automatically patching errors in deployed software. SOSP 2009: 87-102
- 2008
- [c56]Shay Artzi, Sunghun Kim, Michael D. Ernst: ReCrash: Making Software Failures Reproducible by Preserving Object States. ECOOP 2008: 542-565
- [c55]Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst: Inference of Reference Immutability. ECOOP 2008: 616-641
- [c54]Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst: Practical pluggable types for java. ISSTA 2008: 201-212
- [c53]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
- [c52]Matthew M. Papi, Mahmood Ali, Michael D. Ernst: Compile-time type-checking for custom type qualifiers in Java. OOPSLA Companion 2008: 723-724
- [c51]Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst: Enforcing reference and object immutability in Java. OOPSLA Companion 2008: 725-726
- [c50]Matthew M. Papi, Mahmood Ali, Michael D. Ernst: Compile-time type-checking for custom type qualifiers in java. OOPSLA Companion 2008: 759-760
- [c49]Stephen McCamant, Michael D. Ernst: Quantitative information flow as network flow capacity. PLDI 2008: 193-205
- 2007
- [j10]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)
- [c48]Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball: Feedback-Directed Random Test Generation. ICSE 2007: 75-84
- [c47]Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer: Refactoring for Parameterizing Java Classes. ICSE 2007: 437-446
- [c46]Shay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst: Combined static and dynamic mutability analysis. ASE 2007: 104-113
- [c45]Sunghun Kim, Michael D. Ernst: Prioritizing Warning Categories by Analyzing Software History. MSR 2007: 27
- [c44]Matthew M. Papi, Michael D. Ernst: Compile-time type-checking for custom type qualifiers in Java. OOPSLA Companion 2007: 809-810
- [c43]Matthew M. Papi, Michael D. Ernst: Compile-time type-checking for custom type qualifiers in Java. OOPSLA Companion 2007: 809-810
- [c42]Carlos Pacheco, Michael D. Ernst: Randoop: feedback-directed random testing for Java. OOPSLA Companion 2007: 815-816
- [c41]Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst: Tools for enforcing and inferring reference immutability in Java. OOPSLA Companion 2007: 866-867
- [c40]Stephen McCamant, Michael D. Ernst: A simulation-based proof technique for dynamic information flow. PLAS 2007: 41-46
- [c39]
- [c38]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
- [c37]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
- [c36]Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst: Dynamic inference of abstract types. ISSTA 2006: 255-265
- [c35]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
- [j9]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. STTT 7(3): 212-232 (2005)
- [c34]Carlos Pacheco, Michael D. Ernst: Eclat: Automatic Generation and Classification of Test Inputs. ECOOP 2005: 504-527
- [c33]Amy Williams, William Thies, Michael D. Ernst: Static Deadlock Detection for Java Libraries. ECOOP 2005: 602-629
- [c32]Michael D. Ernst: The Groupthink Specification Exercise. Software Education and Training Sessions @ ICSE 2005: 89-107
- [c31]
- [c30]David Saff, Michael D. Ernst: Test factoring: focusing test suites for the task at hand. ICSE 2005: 656
- [c29]
- [c28]David Saff, Shay Artzi, Jeff H. Perkins, Michael D. Ernst: Automatic test factoring for java. ASE 2005: 114-123
- [c27]Matthew S. Tschantz, Michael D. Ernst: Javari: adding reference immutability to Java. OOPSLA 2005: 211-230
- [c26]Shay Artzi, Michael D. Ernst: Using predicate fields in a highly flexible industrial control system. OOPSLA Companion 2005: 319-330
- [e2]Michael D. Ernst, Thomas P. Jensen (Eds.): 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
- 2004
- [j8]David Saff, Michael D. Ernst: Continuous Testing in Eclipse. Electr. Notes Theor. Comput. Sci. 107: 103-117 (2004)
- [j7]Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch: Using simulated execution in verifying distributed algorithms. STTT 6(1): 67-76 (2004)
- [c25]Stephen McCamant, Michael D. Ernst: Early Identification of Incompatibilities in Multi-component Upgrades. ECOOP 2004: 440-464
- [c24]Yuriy Brun, Michael D. Ernst: Finding Latent Code Errors via Machine Learning over Program Executions. ICSE 2004: 480-490
- [c23]David Saff, Michael D. Ernst: An experimental evaluation of continuous testing during development. ISSTA 2004: 76-85
- [c22]Lee Lin, Michael D. Ernst: Improving the adaptability of multi-mode systems via program steering. ISSTA 2004: 206-216
- [c21]Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst: Converting java programs to use generic libraries. OOPSLA 2004: 15-34
- [c20]Adrian Birka, Michael D. Ernst: A practical type system and language for reference immutability. OOPSLA 2004: 35-49
- [c19]
- [c18]
- [c17]Jeff H. Perkins, Michael D. Ernst: Efficient incremental algorithms for dynamic detection of likely invariants. SIGSOFT FSE 2004: 23-32
- 2003
- [j6]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. Electr. Notes Theor. Comput. Sci. 80: 75-91 (2003)
- [j5]Jonathan E. Cook, Michael D. Ernst: Summary: ICSE workshop on dynamic analysis (WODA 2003). ACM SIGSOFT Software Engineering Notes 28(6): 4 (2003)
- [c16]Michael Harder, Jeff Mellen, Michael D. Ernst: Improving Test Suites via Operational Abstraction. ICSE 2003: 60-73
- [c15]Jonathan E. Cook, Michael D. Ernst: ICSE Workshop on Dynamic Analysis (WODA 2003). ICSE 2003: 795-796
- [c14]David Saff, Michael D. Ernst: Reducing wasted development time via continuous testing. ISSRE 2003: 281-292
- [c13]Stephen McCamant, Michael D. Ernst: Predicting problems caused by component upgrades. ESEC / SIGSOFT FSE 2003: 287-296
- [c12]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
- 2002
- [j4]Elizabeth L. Wilmer, Michael D. Ernst: Graphs induced by Gray codes. Discrete Mathematics 257(2-3): 585-598 (2002)
- [j3]Michael D. Ernst, Greg J. Badros, David Notkin: An Empirical Analysis of C Preprocessor Use. IEEE Trans. Software Eng. 28(12): 1146-1170 (2002)
- [c11]Jeremy W. Nimmer, Michael D. Ernst: Automatic generation of program specifications. ISSTA 2002: 229-239
- [c10]Jeremy W. Nimmer, Michael D. Ernst: Invariant inference for static checking. SIGSOFT FSE 2002: 11-20
- 2001
- [j2]Jeremy W. Nimmer, Michael D. Ernst: Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java. Electr. Notes Theor. Comput. Sci. 55(2): 255-276 (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)
- [c9]David Notkin, Marc Donner, Michael D. Ernst, Michael M. Gorlick, E. James Whitehead Jr.: Panel: Perspectives on Software Engineering. ICSE 2001: 699-702
- [c8]
- [c7]Yoshio Kataoka, Michael D. Ernst, William G. Griswold, David Notkin: Automated Support for Program Refactoring Using Invariants. ICSM 2001: 736-743
- 2000
- [c6]Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin: Quickly detecting relevant program invariants. ICSE 2000: 449-458
1990 – 1999
- 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]
- 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
- 1995
- [e1]Michael D. Ernst (Ed.): Proceedings ACM SIGPLAN Workshop on Intermediate Representations (IR'95), San Francisco, CA, USA, January 22, 1995. ACM 1995, ISBN 0-89791-754-5
- 1994
- [c1]Daniel Weise, Roger F. Crew, Michael D. Ernst, Bjarne Steensgaard: Value Dependence Graphs: Representation without Taxation. POPL 1994: 297-310
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-11 12:19 CEST by the dblp team