 <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 <a href="http://theory.lcs.mit.edu/~mernst/ir95/ir95.html">IR '95</a>, the intermediate representation     workshop colocated with <a     href="http://www.cs.cmu.edu:8001/afs/cs.cmu.edu/user/petel/ftp/popl95/popl95.html">POPL     '95</a>   <li>
