Michael D. Bond Computer Science and Engineering The Ohio State University mikebond@cse.ohio-state.edu 697 Dreese Labs

Students

Swarnendu Biswas
Meisam Fathi Salmi
Jipeng Huang
Aritra Sengupta
Minjia Zhang

Teaching

Spring 2012: CSE 755: Programming Languages

Autumn 2011: CSE 788.07: Dynamic Program Analysis and Runtime Systems for Reliable Concurrent Software
Spring 2011: CSE 888.07: Algorithms and Implementation Strategies for Efficient Dynamic Analysis for Deployed Concurrent Software
Winter 2011: CSE 788.07: Dynamic Program Analysis for Reliable Concurrent Software

Publications

Tech report, 2012	Tracking Conflicting Accesses Efficiently for Software Record and Replay Michael D. Bond and Milind Kulkarni
PLDI 2011	LeakChaser: Helping Programmers Narrow Down Causes of Memory Leaks Guoqing Xu, Michael D. Bond, Feng Qin, and Atanas Rountev
PLDI 2011	A Security Policy Oracle: Detecting Security Holes Using Multiple API Implementations Varun Srivastava, Michael D. Bond, Kathryn S. McKinley, and Vitaly Shmatikov
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
PLAS 2010	Efficient, Context-Sensitive Detection of Real-World Semantic Attacks Michael D. Bond, Varun Srivastava, Kathryn S. McKinley, and Vitaly Shmatikov
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
Dissertation, 2008	Diagnosing and Tolerating Bugs in Deployed Systems Michael David 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

Activities

• External Review Committee, ASPLOS 2013
• Program Committee, OOPSLA 2012
• External Review Committee, ASPLOS 2012
• Doctoral Symposium Committee, SPLASH 2012
• Program Committee, TMC 2011
• Program Committee, ISMM 2011
• External Review Committee, PLDI 2011
• Program Committee, VEE 2011
• Program Committee, OOPSLA 2010
• External Review Committee, PLDI 2010
• Program Committee, IWMSE 2010
• Review Committee, ISMM 2010

• Jikes RVM Team (2007 - present)

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

Software

The implementations from nearly 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.