 We've recently finished a <a href="http://www.cs.washington.edu/research/projects/cecil/www/Papers/whole-program.html">technical report</a> that describes much of our implementation research. <p>
