Michael Ernst

Programming Language Design

A type system for regular expressions

E. Spishak, W. Dietl, M.D. ErnstFTfJP'2012: 14th Workshop on Formal Techniques for Java-like Programs, 2012.

Always-available static and dynamic feedback

M. Bayne, R. Cook, M.D. ErnstICSE'11, Proceedings of the 33rd International Conference on Software Engineering, 2011.

Tunable static inference for Generic Universe Types

W. Dietl, M.D. Ernst, P. MüllerECOOP 2011 –- Object-Oriented Programming, 25th European Conference, 2011.

Building and using pluggable type-checkers

W. Dietl, S. Dietzel, M.D. Ernst, K. Muşlu, T. SchillerICSE'11, Proceedings of the 33rd International Conference on Software Engineering, 2011.
Downloads: implementation PDF BIB Slides 

Ownership and immutability in generic Java

Y. Zibin, A. Potanin, P. Li, M. Ali, M.D. ErnstObject-Oriented Programming Systems, Languages, and Applications (OOPSLA 2010), 2010.
Downloads: TR with proofs PDF 

Featherweight Ownership and Immutability Generic Java (FOIGJ)

A. Potanin, P. Li, Y. Zibin, M.D. ErnstSchool of Engineering and Computer Science, VUW:09-13, 2009.
Downloads: PDF 

Practical pluggable types for Java

M.M. Papi, M. Ali, T.L. Correa Jr., J.H. Perkins, M.D. ErnstISSTA 2008, Proceedings of the 2008 International Symposium on Software Testing and Analysis, 2008.

Pluggable type-checking for custom type qualifiers in Java

M.M. Papi, M. Ali, T.L. Correa Jr., J.H. Perkins, M.D. ErnstMIT Computer Science and Artificial Intelligence Laboratory:MIT-CSAIL-TR-2007-047, 2007.
Downloads: PDF PostScript 

Compile-time type-checking for custom type qualifiers in Java

M.M. Papi, M.D. ErnstCompanion to Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2007), 2007.

Using predicate fields in a highly flexible industrial control system

S. Artzi, M.D. ErnstObject-Oriented Programming Systems, Languages, and Applications (OOPSLA 2005), 2005.
Downloads: PDF PostScript 

Predicate dispatching: A unified theory of dispatch

M.D. Ernst, C.S. Kaplan, C. ChambersECOOP '98, the 12th European Conference on Object-Oriented Programming, 1998.
Downloads: implementation manual 

IR '95: Intermediate Representations Workshop Proceedings

, 1995.

\em ACM SIGPLAN Notices 30(3), March 1995

Immutability (Side-effects)

Parameter reference immutability: Formal definition, inference tool, and comparison

S. Artzi, J. Quinonez, A. Kieżun, M.D. ErnstAutomated Software Engineering 16:1, 2009.
Downloads: PDF 

Inference of reference immutability

J. Quinonez, M.S. Tschantz, M.D. ErnstECOOP 2008 –- Object-Oriented Programming, 22nd European Conference, 2008.

Object and reference immutability using Java generics

Y. Zibin, A. Potanin, M. Ali, S. Artzi, A. Kieżun, M.D. ErnstESEC/FSE 2007: Proceedings of the 11th European Software Engineering Conference and the 15th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2007.

Tools for enforcing and inferring reference immutability in Java

T.L. Correa Jr., J. Quinonez, M.D. ErnstCompanion to Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2007), 2007.

Combined static and dynamic mutability analysis

S. Artzi, A. Kieżun, D. Glasser, M.D. ErnstASE 2007: Proceedings of the 22nd Annual International Conference on Automated Software Engineering, 2007.
Downloads: PDF PostScript 

Combined static and dynamic mutability analysis

S. Artzi, A. Kieżun, D. Glasser, M.D. ErnstMIT Computer Science and Artificial Intelligence Laboratory:MIT-CSAIL-TR-2007-020, 2007.
Downloads: PDF 

Object and reference immutability using Java generics

Y. Zibin, A. Potanin, S. Artzi, A. Kieżun, M.D. ErnstMIT Computer Science and Artificial Intelligence Laboratory:MIT-CSAIL-TR-2007-018, 2007.
Downloads: PDF 

Javari: Adding reference immutability to Java

M.S. Tschantz, M.D. ErnstObject-Oriented Programming Systems, Languages, and Applications (OOPSLA 2005), 2005.

A practical type system and language for reference immutability

A. Birka, M.D. ErnstObject-Oriented Programming Systems, Languages, and Applications (OOPSLA 2004), 2004.

Static Analysis

Rely-Guarantee References for Refinement Types Over Aliased Mutable Data

C.S. Gordon, M.D. Ernst, D. GrossmanPLDI 2013, Proceedings of the ACM SIGPLAN 2013 Conference on Programming Language Design and Implementation, 2013.

JavaUI: Effects for Controlling UI Object Access

C.S. Gordon, W. Dietl, M.D. Ernst, D. GrossmanECOOP 2013 –- Object-Oriented Programming, 27th European Conference, 2013.

Immutability

A. Potanin, J. Östlund, Y. Zibin, M. ErnstAliasing in Object-Oriented ProgrammingSpringer-Verlag 7850, 2013.

ReIm & ReImInfer: Checking and inference of reference immutability and method purity

W. Huang, A. Milanova, W. Dietl, M.D. ErnstObject-Oriented Programming Systems, Languages, and Applications (OOPSLA 2012), 2012.
Downloads: implementation 

HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars

A. Kieżun, V. Ganesh, S. Artzi, P.J. Guo, P. Hooimeijer, M.D. ErnstACM Transactions on Software Engineering and Methodology 21:4, 2012.

Inference and checking of object ownership

W. Huang, W. Dietl, A. Milanova, M.D. ErnstECOOP 2012 –- Object-Oriented Programming, 26th European Conference, 2012.
Downloads: implementation 

Static lock capabilities for deadlock freedom

C.S. Gordon, M.D. Ernst, D. GrossmanTLDI 2012: The seventh ACM SIGPLAN Workshop on Types in Language Design and Implementation, 2012.

HAMPI: a string solver for testing, analysis and vulnerability detection

V. Ganesh, A. Kieżun, S. Artzi, P.J. Guo, P. Hooimeijer, M. Ernst13rd International Conference on Computer Aided Verification, 2011.

Static lock capabilities for deadlock freedom

C.S. Gordon, M.D. Ernst, D. GrossmanUniversity of Washington Department of Computer Science and Engineering:UW-CSE-11-10-01, 2011.

Inference of field initialization

F. Spoto, M.D. ErnstICSE'11, Proceedings of the 33rd International Conference on Software Engineering, 2011.

Inference of field initialization

F. Spoto, M.D. ErnstUniversity of Washington Department of Computer Science and Engineering:UW-CSE-10-02-01, 2010.
Downloads: PDF 

HAMPI: A solver for string constraints

A. Kieżun, V. Ganesh, P.J. Guo, P. Hooimeijer, M.D. ErnstISSTA 2009, Proceedings of the 2009 International Symposium on Software Testing and Analysis, 2009.

HAMPI: A solver for string constraints

A. Kieżun, V. Ganesh, P.J. Guo, P. Hooimeijer, M.D. ErnstMIT Computer Science and Artificial Intelligence Laboratory:MIT-CSAIL-TR-2009-004, 2009.

Static deadlock detection for Java libraries

A. Williams, W. Thies, M.D. ErnstECOOP 2005 –- Object-Oriented Programming, 19th European Conference, 2005.
Downloads: PDF PostScript 

Inference of generic types in Java

A. Donovan, M.D. ErnstMIT Laboratory for Computer Science:MIT/LCS/TR-889, 2003.

Selecting, refining, and evaluating predicates for program analysis

N. Dodoo, L. Lin, M.D. ErnstMIT Laboratory for Computer Science:MIT-LCS-TR-914, 2003.
Downloads: PDF PostScript 

Selecting predicates for implications in program analysis

N. Dodoo, A. Donovan, L. Lin, M.D. Ernst, 2002.

Draft. \urlhttp://homes.cs.washington.edu/ mernst/pubs/invariants-implications.ps

Downloads: PDF PostScript 

An empirical analysis of C preprocessor use

M.D. Ernst, G.J. Badros, D. NotkinIEEE Transactions on Software Engineering 28:12, 2002.
Downloads: PDF 

Slicing pointers and procedures (abstract)

M.D. ErnstMicrosoft Research:MSR-TR-95-23, 1995.

Practical fine-grained static slicing of optimized code

M.D. ErnstMicrosoft Research:MSR-TR-94-14, 1994.

Value dependence graphs: Representation without taxation

D. Weise, R.F. Crew, M.D. Ernst, B. SteensgaardProceedings of the 21st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994.

Serializing parallel programs by removing redundant computation

M.D. ErnstMIT Laboratory for Computer Science:MIT/LCS/TR-638, 1994.

Security

Automatically patching errors in deployed software

J.H. Perkins, S. Kim, S. Larsen, S. Amarasinghe, J. Bachrach, M. Carbin, C. Pacheco, F. Sherwood, S. Sidiroglou, G. Sullivan, W.F. Wong, Y. Zibin, M.D. Ernst, M. RinardProceedings of the 22nd ACM Symposium on Operating Systems Principles, 2009.

Automatic creation of SQL injection and cross-site scripting attacks

A. Kieżun, P.J. Guo, K. Jayaraman, M.D. ErnstICSE'09, Proceedings of the 31st International Conference on Software Engineering, 2009.
Downloads: Experimental data PDF 

Automatic creation of SQL injection and cross-site scripting attacks

A. Kieżun, P.J. Guo, K. Jayaraman, M.D. ErnstMIT Computer Science and Artificial Intelligence Laboratory:MIT-CSAIL-TR-2008-054, 2008.
Downloads: Experimental data PDF 

Quantitative information flow as network flow capacity

S. McCamant, M.D. ErnstPLDI 2008, Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008.

A simulation-based proof technique for dynamic information flow

S. McCamant, M.D. ErnstPLAS 2007: ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2007.
Downloads: PDF PostScript 

Quantitative information flow as network flow capacity

S. McCamant, M.D. ErnstMIT Computer Science and Artificial Intelligence Laboratory:MIT-CSAIL-TR-2007-057, 2007.
Downloads: PDF PostScript DSpace 

Quantitative information-flow tracking for C and related languages

S. McCamant, M.D. ErnstMIT Computer Science and Artificial Intelligence Laboratory:MIT-CSAIL-TR-2006-076, 2006.
Downloads: PDF PostScript DSpace 

Refactoring

Bug Prediction

Which warnings should I fix first?

S. Kim, M.D. ErnstESEC/FSE 2007: Proceedings of the 11th European Software Engineering Conference and the 15th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2007.
Downloads: PDF 

Prioritizing warnings by analyzing software history

S. Kim, M.D. ErnstMSR 2007: International Workshop on Mining Software Repositories, 2007.
Downloads: PDF 

Formalizing lightweight verification of software component composition

S. McCamant, M.D. ErnstSAVCBS 2004: Specification and Verification of Component-Based Systems, 2004.
Downloads: PDF PostScript 

Finding latent code errors via machine learning over program executions

Y. Brun, M.D. ErnstICSE'04, Proceedings of the 26th International Conference on Software Engineering, 2004.
Downloads: PDF PostScript 

Early identification of incompatibilities in multi-component upgrades

S. McCamant, M.D. ErnstECOOP 2004 –- Object-Oriented Programming, 18th European Conference, 2004.
Downloads: PDF PostScript 

Predicting problems caused by component upgrades

S. McCamant, M.D. ErnstESEC/FSE 2003: Proceedings of the 9th European Software Engineering Conference and the 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2003.
Downloads: PDF PostScript 

Invariant Detection

The Daikon system for dynamic detection of likely invariants

M.D. Ernst, J.H. Perkins, P.J. Guo, S. McCamant, C. Pacheco, M.S. Tschantz, C. Xiao 69:1–3, 2007.

Efficient incremental algorithms for dynamic detection of likely invariants

J.H. Perkins, M.D. ErnstProceedings of the ACM SIGSOFT 12th Symposium on the Foundations of Software Engineering (FSE 2004), 2004.

Dynamically discovering likely program invariants to support program evolution

M.D. Ernst, J. Cockrell, W.G. Griswold, D. NotkinIEEE Transactions on Software Engineering 27:2, 2001.

A previous version appeared in ġroup\em ICSE '99, Proceedings of the 21st International Conference on Software Engineeringġroup, pages 213–224, Los Angeles, CA, USA, May 19–21, 1999

Quickly detecting relevant program invariants

M.D. Ernst, A. Czeisler, W.G. Griswold, D. NotkinICSE 2000, Proceedings of the 22nd International Conference on Software Engineering, 2000.

Dynamically Discovering Likely Program Invariants

M.D. ErnstUniversity of Washington Department of Computer Science and Engineering, 2000.

Dynamically discovering pointer-based program invariants

M.D. Ernst, W.G. Griswold, Y. Kataoka, D. NotkinUniversity of Washington Department of Computer Science and Engineering:UW-CSE-99-11-02, 1999.

Revised March 17, 2000

Dynamic Analysis

Synoptic: Summarizing system logs with refinement

S. Schneider, I. Beschastnikh, S. Chernyak, M.D. Ernst, Y. BrunWorkshop on Managing Systems via Log Analysis and Machine Learning Techniques (SLAML '10), 2010.
Downloads: implementation 

How analysis can hinder source code manipulation –- and what to do about it

M.D. ErnstNinth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'09), 2009.

Combined static and dynamic mutability analysis

S. Artzi, M.D. Ernst, D. Glasser, A. KieżunMIT Computer Science and Artificial Intelligence Laboratory:MIT-CSAIL-TR-2006-065, 2006.
Downloads: PDF 

Detection of web service substitutability and composability

M.D. Ernst, R. Lencevicius, J.H. PerkinsWS-MaTe 2006: International Workshop on Web Services –- Modeling and Testing, 2006.
Downloads: PDF 

Dynamic inference of abstract types

P.J. Guo, J.H. Perkins, S. McCamant, M.D. ErnstISSTA 2006, Proceedings of the 2006 International Symposium on Software Testing and Analysis, 2006.

Inference and enforcement of data structure consistency specifications

B. Demsky, M.D. Ernst, P.J. Guo, S. McCamant, J.H. Perkins, M. RinardISSTA 2006, Proceedings of the 2006 International Symposium on Software Testing and Analysis, 2006.
Downloads: PDF PostScript 

Learning from executions: Dynamic analysis for software engineering and program understanding

M.D. Ernst, J.H. Perkins, 2005.

Tutorial at ASE 2005: 20th Annual International Conference on Automated Software Engineering

Bridging the gap between binary and source analysis

P.J. Guo, S. McCamant, M.D. Ernst, 2005.
Downloads: PDF PostScript 

Predicting problems caused by component upgrades

S. McCamant, M.D. ErnstMIT Laboratory for Computer Science:941, 2004.

Revision of first author's Master's thesis

Downloads: PDF PostScript 

Improving adaptability via program steering

L. Lin, M.D. ErnstISSTA 2004, Proceedings of the 2004 International Symposium on Software Testing and Analysis, 2004.

Improving reliability and adaptability via program steering

L. Lin, M.D. ErnstFourteenth International Symposium on Software Reliability Engineering, Supplementary Proceedings, 2003.
Downloads: PDF PostScript 

Summary: Workshop on Dynamic Analysis (WODA 2003)

J.E. Cook, M.D. ErnstACM SIGSOFT Software Engineering Notes 28:6, 2003.

Static and dynamic analysis: Synergy and duality

M.D. ErnstWODA 2003: Workshop on Dynamic Analysis, 2003.
Downloads: PDF PostScript 

Software Engineering

Unifying FSM-inference algorithms through declarative specification

I. Beschastnikh, Y. Brun, J. Abrahamson, M.D. Ernst, A. KrishnamurthyICSE'13, Proceedings of the 34th International Conference on Software Engineering, 2013.

Unifying FSM-inference algorithms through declarative specification

I. Beschastnikh, Y. Brun, J. Abrahamson, M.D. Ernst, A. KrishnamurthyUniversity of Washington Department of Computer Science and Engineering:UW-CSE-13-03-01, 2013.

Reducing the barriers to writing verified specifications

T.W. Schiller, M.D. ErnstObject-Oriented Programming Systems, Languages, and Applications (OOPSLA 2012), 2012.
Downloads: study materials 

CBCD: Cloned Buggy Code Detector

J. Li, M.D. ErnstICSE'12, Proceedings of the 34th International Conference on Software Engineering, 2012.
Downloads: TR UW-CSE-11-05-02 

Speculative analysis of integrated development environment recommendations

K. Muşlu, Y. Brun, R. Holmes, M.D. Ernst, D. NotkinObject-Oriented Programming Systems, Languages, and Applications (OOPSLA 2012), 2012.
Downloads: implementation PDF BibTeX 

Unifying FSM-inference algorithms through declarative specification

I. Beschastnikh, Y. Brun, J. Abrahamson, M.D. Ernst, A. KrishnamurthyUniversity of Washington Department of Computer Science and Engineering:UW-CSE-12-08-02, 2012.

Leveraging existing instrumentation to automatically infer invariant-constrained models

I. Beschastnikh, Y. Brun, S. Schneider, M. Sloan, M.D. ErnstESEC/FSE 2011: The 8th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2011.

Synoptic: Studying logged behavior with inferred models

I. Beschastnikh, J. Abrahamson, Y. Brun, M.D. ErnstESEC/FSE 2011: The 8th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2011.

CBCD: Cloned Buggy Code Detector

J. Li, M.D. ErnstUniversity of Washington Department of Computer Science and Engineering:UW-CSE-11-05-02, 2011.

Revised October 2011

Mining temporal invariants from partially ordered logs

I. Beschastnikh, Y. Brun, M.D. Ernst, A. Krishnamurthy, T.E. AndersonSIGOPS Operating Systems Review 45:3, 2011.

Crystal: Precise and unobtrusive conflict warnings

Y. Brun, R. Holmes, M.D. Ernst, D. NotkinESEC/FSE 2011: The 8th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2011.

Proactive detection of collaboration conflicts

Y. Brun, R. Holmes, M.D. Ernst, D. NotkinESEC/FSE 2011: The 8th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2011.

Bandsaw: Log-powered test scenario generation for distributed systems

I. Beschastnikh, Y. Brun, M.D. Ernst, A. Krishnamurthy, T.E. AndersonSOSP Work In Progress, 2011.

Mining temporal invariants from partially ordered logs

I. Beschastnikh, Y. Brun, M.D. Ernst, A. Krishnamurthy, T.E. AndersonWorkshop on Managing Large-Scale Systems via the Analysis of System Logs and the Application of Machine Learning Techniques (SLAML '11), 2011.

Rethinking the economics of software engineering

T.W. Schiller, M.D. ErnstWorkshop on the Future of Software Engineering Research, 2010.

Speculative identification of merge conflicts and non-conflicts

Y. Brun, R. Holmes, M.D. Ernst, D. NotkinUniversity of Washington Department of Computer Science and Engineering:UW-CSE-10-03-01, 2010.
Downloads: PDF 

Speculative analysis: Exploring future development states of software

Y. Brun, R. Holmes, M.D. Ernst, D. NotkinWorkshop on the Future of Software Engineering Research, 2010.

The Groupthink specification exercise

M.D. ErnstSoftware Engineering Education in the Modern Age: Challenges and PossibilitiesSpringer 4309, 2006.

The Groupthink specification exercise

M.D. Ernst, J. ChapinICSE'05, Proceedings of the 27th International Conference on Software Engineering, 2005.
Downloads: PDF PostScript 

Panel: Perspectives on software engineering

D. Notkin, M. Donner, M.D. Ernst, M. Gorlick, J.E. WhiteheadICSE 2001, Proceedings of the 23rd International Conference on Software Engineering, 2001.

Verification

Verification games: Making verification fun

W. Dietl, S. Dietzel, M.D. Ernst, N. Mote, B. Walker, S. Cooper, T. Pavlik, Z. PopovićFTfJP'2012: 14th Workshop on Formal Techniques for Java-like Programs, 2012.
Downloads: project homepage video 

Verification for legacy programs

M.D. ErnstVSTTE: Verified Software: Theories, Tools, Experiments, 2005.

An overview of JML tools and applications

L. Burdy, Y. Cheon, D. Cok, M.D. Ernst, J. Kiniry, G.T. Leavens, R.K.M. Leino, E. PollSoftware Tools for Technology Transfer 7:3, 2005.
Downloads: PDF PostScript 

Using simulated execution in verifying distributed algorithms

T.N. Win, M.D. Ernst, S.J. Garland, D. K\irl\i, N. LynchSoftware Tools for Technology Transfer 6:1, 2004.
Downloads: PDF PostScript 

An overview of JML tools and applications

L. Burdy, Y. Cheon, D. Cok, M.D. Ernst, J. Kiniry, G.T. Leavens, R.K.M. Leino, E. PollUniversity of Nijmegen Dept. of Computer Science:NIII-R0309, 2003.

An overview of JML tools and applications

L. Burdy, Y. Cheon, D. Cok, M.D. Ernst, J. Kiniry, G.T. Leavens, R.K.M. Leino, E. PollEighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03), 2003.

Using simulated execution in verifying distributed algorithms

T.N. Win, M.D. Ernst, S.J. Garland, D. K\irl\i, N. LynchVMCAI'03, Fourth International Conference on Verification, Model Checking and Abstract Interpretation, 2003.

Invariant inference for static checking: An empirical evaluation

J.W. Nimmer, M.D. ErnstProceedings of the ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE 2002), 2002.
Downloads: PDF PostScript 

Verifying distributed algorithms via dynamic analysis and theorem proving

T.N. Win, M.D. ErnstMIT Laboratory for Computer Science:841, 2002.
Downloads: PDF PostScript 

Automatic generation of program specifications

J.W. Nimmer, M.D. ErnstISSTA 2002, Proceedings of the 2002 International Symposium on Software Testing and Analysis, 2002.
Downloads: PDF PostScript 

Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java

J.W. Nimmer, M.D. ErnstProceedings of RV'01, First Workshop on Runtime Verification, 2001.
Downloads: PDF PostScript 

Artificial Intelligence

Automatic SAT-compilation of planning problems

M.D. Ernst, T.D. Millstein, D.S. WeldIJCAI-97, Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997.

Image/map correspondence using curve matching

M.D. Ernst, B.E. FlinchbaughAAAI Spring Symposium on Robot Navigation, 1989.

Also published as Texas Instruments Technical Report CSC-SIUL-89-12

Theory

Graphs induced by Gray codes

E.L. Wilmer, M.D. ErnstDiscrete Mathematics 257, 2002.

Method and system for controlling unauthorized access to information distributed to users

G.A. Yuval, M.D. Ernst, 1996.

Assigned to Microsoft Corporation

Heraclitean encryption

M.D. Ernst, G. YuvalMicrosoft Research:MSR-TR-94-13, 1994.

Adequate Models for Recursive Program Schemes

M.D. ErnstMIT Department of Electrical Engineering and Computer Science, 1989.

ML typechecking is not efficient

M.D. ErnstPapers of the MIT ACM Undergraduate Conference, 1989.

Miscellaneous

The HaLoop approach to large-scale iterative data analysis

Y. Bu, B. Howe, M. Balazinska, M.D. ErnstThe VLDB Journal 21:2, 2012.
Downloads: PDF 

HaLoop: Efficient Iterative Data Processing on Large Clusters

Y. Bu, B. Howe, M. Balazinska, M.D. Ernst36th International Conference on Very Large Data Bases, 2010.
Downloads: PDF 

Intellectual property in computing: (How) should software be protected? An industry perspective

M.D. ErnstMIT Artificial Intelligence Laboratory:AIM-1369, 1992.
Downloads: press release 

Self-reference in English

M.D. Ernst, 1989.

The idea from this unpublished term paper was written up by Boolos without Ernst's knowledge, to appear as ``Quotational Ambiguity,'' by George Boolos, in \em On Quine, (Paulo Leonardi, ed.), pp. 283–296, Cambridge University Press, 1995. Boolos called the idea ``Ernst's Paradox'' but refused Ernst's request for coauthorship.