Home page of Michael Bond

Michael D. Bond

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

News and status

November 2009: I'm applying for academic jobs. My CV is available. Other materials coming soon.
June 2009: My dissertation received the ACM SIGPLAN Outstanding Doctoral Dissertation Award (citation)!
January 2009 – present: I'm a postdoctoral fellow in Computer Sciences at UT Austin, advised by Kathryn McKinley.

Research interests

My research seeks to make increasingly complex, concurrent software dramatically more reliable, scalable, and secure that it is today. I have focused on developing dynamic analyses that help find, fix, and avoid errors in deployed systems. I am interested in programming languages, runtime systems, compilers, and security.

Publications

PLDI 2009	Laminar: Practical Fine-Grained Decentralized Information Flow Control Indrajit Roy, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, and Emmett Witchel
ASPLOS 2009	Leak Pruning Michael D. Bond and Kathryn S. McKinley
Dissertation	Diagnosing and Tolerating Bugs in Deployed Systems Michael D. Bond
OOPSLA 2008	Tolerating Memory Leaks Michael D. Bond and Kathryn S. McKinley
OOPSLA 2007	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
CC 2007	Correcting the Dynamic Call Graph Using Control Flow Constraints Byeongcheol Lee, Kevin Resnick, Michael D. Bond, and Kathryn S. McKinley
ASPLOS 2006	Bell: Bit-Encoding Online Memory Leak Detection Michael D. Bond and Kathryn S. McKinley
MICRO 2005	Continuous Path and Edge Profiling Michael D. Bond and Kathryn S. McKinley
CGO 2005	Practical Path Profiling for Dynamic Optimizers Michael D. Bond and Kathryn S. McKinley
CGO 2004	Targeted Path Profiling: Lower Overhead Path Profiling for Staged Dynamic Optimization Systems Rahul Joshi, Michael D. Bond, and Craig Zilles

Awards

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

Activities

Program Committee, OOPSLA 2010
External Review Committee, PLDI 2010
Program Committee, IWMSE 2010
Jikes RVM Team (2007 - present)

Software

The implementations from all of my publications are publicly available. Other researchers have used several of these implementations in their publications. See papers for details.
We've also made available the 12 null pointer exceptions that we reproduced in order to evaluate origin tracking.

Last updated Thursday, November 5, 2009