               <a HREF="http://www.cs.wisc.edu/cgi-bin/finger?kristint"><i>tufte@cs.wisc.edu</i></a>  <hr> <b>Advisor:</b> <a href="http://www.cs.wisc.edu/~dewitt/dewitt.html">David J. DeWitt</a><p>
