  A <a href="http://www.cs.utexas.edu/users/oops/papers.html">list of our papers</a>, with brief descriptions, is also available. <p>
