Cool Link
thesis.dvi sigplan.org

sigplan.org/Awards/Dissertation/2005_gulwani.pdf