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

Students

Swarnendu Biswas
Man Cao
Jipeng Huang
Aritra Sengupta
Minjia Zhang

Teaching

Spring 2013: CSE 3341: Principles of Programming Languages

Autumn 2012: CSE 6341: Foundations of Programming Languages
Spring 2012: CSE 755: Programming Languages (replaced by CSE 6341)
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	LarkTM: Efficient, Strongly Atomic Software Transactional Memory Minjia Zhang, Jipeng Huang, and Michael D. Bond
Tech report, 2012	EnforSCer: Hybrid Static–Dynamic Analysis for End-to-End Sequential Consistency in Software Aritra Sengupta, Swarnendu Biswas, Michael D. Bond, and Milind Kulkarni
Tech report, 2012	Octet: Practical Concurrency Control for Dynamic Analyses and Systems Michael D. Bond, Milind Kulkarni, Meisam Fathi Salmi, Minjia Zhang, Swarnendu Biswas, Jipeng Huang, and Aritra Sengupta
Tech report, 2012	Efficient, Context-Sensitive Dynamic Analysis via Calling Context Uptrees Jipeng Huang and Michael D. Bond
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 "Harry" 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

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.

Activities

• Program Committee, PLDI 2013
• Selection Committee, Student Research Competition, PLDI 2013
• Program Committee, ISMM 2013
• 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

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

Financial support

• NSF CAREER-1253703
• NSF CSR-1218695

Personal

• My partner Julia is a plant biologist who also works at Ohio State.
• I organize a social group for junior faculty in Columbus. Contact me for more info.
• I attend a storytelling event called Speak Easy and occasionally tell a story. One of my stories got posted online.
• Two of my favorite authors are David Mitchell (fiction) and David McCullough (nonfiction).
• I'm not on Facebook and I don't own a smartphone, but I'll get around to it one of these days!