E-mail: mikebond@cs.utexas.edu
Office: ACES 3.446
Office phone: (512) 232 7472
|
|
Michael D. Bond E-mail: mikebond@cs.utexas.edu Office: ACES 3.446 Office phone: (512) 232 7472 |
I'm a postdoctoral fellow in Computer Sciences at UT Austin, advised by Kathryn McKinley.
I'm on the job market: CV, Research statement, Teaching statement
My research seeks to make complex, concurrent software significantly 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. General interests: programming languages, runtime systems, dynamic analysis, compilers, and security.
| PLDI 2010 | Pacer: Proportional Detection of Data Races
Michael D. Bond, Katherine E. Coons, and Kathryn S. McKinley |
| PLDI 2010 | Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug Detection Analyses
Michael D. Bond, Graham Z. Baker, and Samuel Z. Guyer |
| ASPLOS 2009 | Leak Pruning
Michael D. Bond and Kathryn S. McKinley |
| PLDI 2009 | Laminar: Practical Fine-Grained Decentralized Information Flow Control
Indrajit Roy, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, and Emmett Witchel |
| 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 |
| Technical report, 2009 | Efficient, Context-Sensitive Detection of Semantic Attacks
Michael D. Bond, Varun Srivastava, Kathryn S. McKinley, and Vitaly Shmatikov |
| Dissertation, 2008 | Diagnosing and Tolerating Bugs in Deployed Systems
Michael David Bond |
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.