Michael D. Bond E-mail: mikebond@cs.utexas.edu Office: ACES 3.446 Office phone: (512) 232 7472

Application materials

I completed my Ph.D. in Computer Sciences at UT Austin in December 2008, advised by Kathryn S. McKinley. I'm applying for academic jobs:

CV         Research statement         Teaching statement

Research interests

My research seeks to improve the reliability and security of software systems. My thesis work focuses on diagnosing and tolerating bugs in the deployed setting. Recently I have been working on improving the security of deployed systems by detecting intrusions and enforcing security policies.

Publications

• Leak Pruning
  Michael D. Bond and Kathryn S. McKinley
  ASPLOS 2009

• Diagnosing and Tolerating Bugs in Deployed Systems
  Ph.D. thesis
  December 2008

• Tolerating Memory Leaks
  Michael D. Bond and Kathryn S. McKinley
  OOPSLA 2008

• Probabilistic Calling Context
  Michael D. Bond and Kathryn S. McKinley
  OOPSLA 2007

• Tracking Bad Apples: Reporting the Origin of Null and Undefined Value Errors
  Michael D. Bond, Nicholas Nethercote, Stephen W. Kent, Samuel Z. Guyer, and Kathryn S. McKinley
  OOPSLA 2007

• Correcting the Dynamic Call Graph Using Control Flow Constraints
  Byeongcheol Lee, Kevin Resnick, Michael D. Bond, and Kathryn S. McKinley
  CC 2007

• Bell: Bit-Encoding Online Memory Leak Detection
  Michael D. Bond and Kathryn S. McKinley
  ASPLOS 2006

• Continuous Path and Edge Profiling
  Michael D. Bond and Kathryn S. McKinley
  MICRO 2005

• Practical Path Profiling for Dynamic Optimizers
  Michael D. Bond and Kathryn S. McKinley
  CGO 2005

• Targeted Path Profiling: Lower Overhead Path Profiling for Staged Dynamic Optimization Systems
  Rahul Joshi, Michael D. Bond, and Craig Zilles
  CGO 2004

Software

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.

Awards

• Intel PhD Fellowship (2006 - 2008)
• "Most crazy idea" (out of 10) at Wild and Crazy Ideas (WACI) session at ISMM 2008; runner-up for "most worthy of being implemented" :)
• Best student presenter at CGO 2004
• MCD Fellowship (2003 - 2004)

Other

• Education
• Interests: running, biking, hiking, swimming, soccer, reading, movies