|
Michael D. Bond E-mail: mikebond@cs.utexas.edu Office: ACES 3.446 Office phone: (512) 232 7472 |
My CV is here.
I received the ACM SIGPLAN Outstanding Doctoral Dissertation Award (citation)!
Open-source implementations for all my publications are publicly available. Several of these implementations have been used in publications by other researchers. See papers for details.Also available are the 12 null pointer exceptions that we used to evaluate origin tracking.