“Beware of bugs in the above code; I have only proved it correct, not tried
it.” Donald Knuth
“Program testing can be a very effective way to show the presence of bugs, but
is hopelessly inadequate for showing their absence.” Edsger Dijkstra
I am currently a 6th-year PhD student working in the Programming
Languages group at UW—Madison. My
advisor is Ben Liblit.
My research falls into the very general areas of software engineering,
debugging, and program analysis. My specific goal is to utilize latent
information (and introduce additional low-overhead information gathering) in
core files produced by crashed applications to simplify the complex task of
debugging. For more information about my research
publications, please see the relevant pages. Feel
free to contact me with any questions.