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

My CV is here.

News

I received the ACM SIGPLAN Outstanding Doctoral Dissertation Award (citation)!

Publications

• Laminar: Practical Fine-Grained Decentralized Information Flow Control
  Indrajit Roy, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, and Emmett Witchel
  PLDI 2009

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

• Diagnosing and Tolerating Bugs in Deployed Systems
  Ph.D. thesis
  The University of Texas at Austin, 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

Awards

• ACM SIGPLAN Outstanding Doctoral Dissertation Award (citation)
• Intel PhD Fellowship (2006 - 2008)
• "Most crazy idea" (out of 10) at Wild and Crazy Ideas (WACI) session at ISMM 2008
• Best student presenter at CGO 2004
• MCD Fellowship (2003 - 2004)

Activities

• Member of External Review Committee for PLDI 2010
• Member of Jikes RVM Core Team (2007 - present)

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.