http:^^www.cs.washington.edu^homes^mernst^

This data set contains WWW-pages collected from computer science departments of various universities

Date: Thu, 21 Nov 1996 23:02:04 GMT
Server: NCSA/1.4.2
Content-type: text/html
Last-modified: Sun, 10 Nov 1996 21:45:22 GMT
Content-length: 2128

<TITLE>Michael Ernst's home page</TITLE>
<link rev="made" href="mailto:[e-mail]">

<!WA0><a href="http://www.cs.washington.edu/homes/mernst/mernst-reduced.gif"><!WA1><IMG SRC="http://www.cs.washington.edu/homes/mernst/mernst-quarter-reduced.gif" alt="Old portrait"></a>

<h1>Michael Ernst</h1>

I am a graduate student in the <!WA2><a
href="http://www.washington.edu/">University of Washington</a> <!WA3><a
href="http://www.cs.washington.edu">computer science department</a>.
Previously, I have been a lecturer in the <!WA4><a href="http://riceinfo.rice.edu/">Rice
University</a> <!WA5><a href="http://www.cs.rice.edu/">computer science
department</a>, a researcher in the <!WA6><a
href="http://www.research.microsoft.com/research/analysts/">Program
Analysis Group</a> at <!WA7><a
href="http://www.research.microsoft.com/">Microsoft Research</a>,
and a graduate student at the <!WA8><a href=http://web.mit.edu>MIT</a> <!WA9><a
href="http://www.lcs.mit.edu">Laboratory for Computer Science</a> in the <!WA10><a
href=http://www-eecs.mit.edu/>MIT EECS Department</a>.
These WWW pages are not frequently updated.<p>

My technical interests include:
<UL>
  <li> <!WA11><a href="http://www.cs.washington.edu/homes/mernst/compilation.html">compilation</a>: static analysis, slicing,
    debugging optimized code, serialization of parallel programs; I was program
    chair for <!WA12><a href="http://theory.lcs.mit.edu/~mernst/ir95/ir95.html">IR '95</a>, the intermediate representation
    workshop colocated with <!WA13><a
    href="http://www.cs.cmu.edu:8001/afs/cs.cmu.edu/user/petel/ftp/popl95/popl95.html">POPL
    '95</a>
  <li> <!WA14><A HREF="http://www.cs.washington.edu/homes/mernst/ip.html">intellectual property</A>, particularly in computer
    programs
  <li> <!WA15><a href="http://www.cs.washington.edu/homes/mernst/other-technical.html">other</a> areas including game theory,
    cryptography, philosophy, and denotational semantics
</UL><p>

I maintain a list of <!WA16><a href="http://www.cs.rice.edu/~mernst/conference/resources.html">resources
for conference and workshop organizers</a>.<p>

Occasionally I manage to slip away from work and carry on a <!WA17><a
href="http://www.cs.washington.edu/homes/mernst/personal.html">real life</a>.
Here are some <!WA18><a href="http://www.cs.washington.edu/homes/mernst/links.html">links of possible
interest (including pages I maintain)</a>.<p>


<address>
Michael Ernst 
<!WA19><a href="mailto:[e-mail]">&lt;[e-mail]&gt</a>
</address><p>