Michael D. Bond

Assistant Professor
Computer Science & Engineering
Ohio State University

mikebond@cse.ohio-state.edu

697 Dreese Labs

My research group develops program analyses and software systems that make complex, concurrent software significantly more reliable, scalable, and secure than it is today. General interests: programming languages, software systems, runtime systems, program analysis, compilers, security.

News

Swarnendu Biswas's paper on efficient dynamic atomicity checking will appear at PLDI 2014!

Man Cao's paper on adaptive synchronization for efficient parallel runtime support will appear at WoDet 2014!

Our paper on efficient dynamic analysis for parallel programs appeared at OOPSLA 2013!

Jipeng Huang's paper on efficient context-sensitive dynamic analysis appeared at OOPSLA 2013!

Minjia Zhang won 2nd place at the PLDI 2013 Student Research Competition!

Swarnendu Biswas, Aritra Sengupta, and Minjia Zhang's posters were selected to appear at the PLDI 2013 Student Research Competition!

I received the NSF CAREER Award!

Students

Swarnendu Biswas
Man Cao
Jipeng Huang
Aritra Sengupta
Minjia Zhang

Teaching

Spring 2014: CSE 5349: Dynamic Program Analysis and Runtime Systems for Reliable Concurrent Software

Autumn 2013: CSE 6341: Foundations of Programming Languages
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

PLDI 2014 DoubleChecker: Efficient Sound and Precise Atomicity Checking
Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, and Michael D. Bond
WoDet 2014 Drinking from Both Glasses: Adaptively Combining Pessimistic and Optimistic Synchronization for Efficient Parallel Runtime Support
Man Cao, Minjia Zhang, and Michael D. Bond
OOPSLA 2013 Octet: Capturing and Controlling Cross-Thread Dependences Efficiently
Michael D. Bond, Milind Kulkarni, Man Cao, Minjia Zhang, Meisam Fathi Salmi, Swarnendu Biswas, Aritra Sengupta, and Jipeng Huang
OOPSLA 2013 Efficient Context Sensitivity for Dynamic Analyses via Calling Context Uptrees and Customized Memory Management
Jipeng Huang and Michael D. Bond
Tech report (2013) LarkTM: Efficient, Strongly Atomic Software Transactional Memory
Minjia Zhang, Jipeng Huang, Man Cao, and Michael D. Bond
Tech report (2013) Hybrid Static–Dynamic Analysis for Region Serializability
Aritra Sengupta, Swarnendu Biswas, Minjia Zhang, Michael D. Bond, and Milind Kulkarni
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

Awards

Financial support