You are here

Michael Bond

  • Associate Professor, Computer Science & Engineering
  • 697 Dreese Laboratories
    2015 Neil Ave
    Columbus, OH 43210
  • 614-292-1408

Honors

  • 2013-2018

    Faculty Early Career Development (CAREER) Award. .

  • 2016

    Lumley Research Award. .

  • 2015

    Distinguished Paper Award. .

  • 2015

    Distinguished Artifact Award. .

  • 2013

    Finalist for Faculty Fellowship. .

  • 2012

    Finalist for Faculty Fellowship. .

  • 2009

    Outstanding Doctoral Dissertation Award (for 2008). .

  • 2008

    Craziest Idea, Wild and Crazy Ideas session. .

  • 2006-2008

    Intel Ph.D. Fellowship. .

  • 2003-2004

    Microelectronics and Computer Development (MCD) Fellowship. .

  • 2004

    Best Student Presenter. .

Books

2008

  • Michael David Bond. 2008. "Detecting and Tolerating Bugs in Deployed Systems." Austin: The University of Texas at Austin.

Journal Articles

2014

  • Donald E. Porter, Michael D. Bond, Indrajit Roy, Kathryn S. McKinley, Emmett Witchel, 2014, "Practical Fine-Grained Information Flow Control Using Laminar." ACM Transactions on Programming Languages and Systems (TOPLAS) 37, 4:1 - 4:51.

Presentations

  • "Targeted Path Profiling: Lower Overhead Path Profiling for Staged Dynamic Optimization Systems." 2004, Presented at EEE/ACM International Symposium on Code Generation and Optimization (CGO),
  • "Practical Path Profiling for Dynamic Optimizers." 2005, Presented at EEE/ACM International Symposium on Code Generation and Optimization (CGO),
  • "Tolerating Memory Leaks." 2008, Presented at ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA),
  • "Pacer: Proportional Detection of Data Races." 2010, Presented at ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI),
  • "Efficient, Context-Sensitive Detection of Real-World Semantic Attacks." 2010, Presented at ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS),
  • "Tracking Conflicting Accesses Efficiently for Software Record and Replay." 2012, Presented at Microsoft Research Cambridge Systems Workshop,
  • "Continuous Path and Edge Profiling." 2005, Presented at IEEE/ACM International Symposium on Microarchitecture (MICRO),
  • "Improving Software Reliability at Production Time." 2007, Presented at IBM Research, IBM Corporation, Intel Corporation,
  • "Leak Pruning." 2009, Presented at ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS),
  • "Deployed Software: An Ideal Environment for Fixing Bugs?." 2008, Presented at University of Illinois at Urbana-Champaign, University of Washington, University of Oregon, Stanford University, University of California at Santa Cruz, University of California at Berkeley, University of California at San Diego, Texas A&M University,
  • "Bounding Leaky Programs." 2008, Presented at Wild and Crazy Ideas session, ACM SIGPLAN International Symposium on Memory Management (ISMM),
  • "Bell: Bit-Encoding Online Memory Leak Detection." 2006, Presented at ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS),
  • "Tracking Bad Apples: Reporting the Origin of Null and Undefined Value Errors." 2007, Presented at ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA),
  • "Probabilistic Calling Context." 2007, Presented at ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA),
  • "Pacer: Proportional Detection of Data Races." 2010, Presented at Tufts University,
  • "Octet: Capturing and Controlling Cross-Thread Dependences Efficiently." 2013, Presented at ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA),
  • "Making Software Robust in Deployed Systems." 2009, Presented at University of Michigan, Duke University, University of Nebraska at Lincoln,
  • "Achieving Reliability in Deployed Software Systems." 2010, Presented at Georgia Institute of Technology, Carnegie Mellon University, University of Chicago, University at Buffalo, University of Toronto, Max Planck Institute for Software Systems, University of Wisconsin, Microsoft Research, University of Rochester, College of William & Mary, Stanford University, Ohio State University,
  • "Practical Language and System Support for Reliable, Scalable Concurrency." 2013, Presented at Carnegie Mellon University,
  • "Practical Language and System Support for Reliable Concurrent Software." 2013, Presented at Purdue University,
  • "Practical Language and System Support for Reliable Concurrent Software." 2013, Presented at University of Michigan,
  • "Toward Practical Language and Runtime Support for Reliable, Scalable Parallelism." 2015, Presented at Massachusetts Institute of Technology and University of Massachusetts at Amherst,
  • "Efficient Context Sensitivity for Dynamic Analyses via Calling Context Uptrees and Customized Memory Management." 2013, Presented at ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA),
  • "Drinking from Both Glasses: Adaptively Combining Pessimistic and Optimistic Synchronization for Efficient Parallel Runtime Support." 2014, Presented at Workshop on Determinism and Correctness in Parallel Programming (WoDet),
  • "DoubleChecker: Efficient Sound and Precise Atomicity Checking." 2014, Presented at ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI),
  • "Hybrid Static–Dynamic Analysis for Statically Bounded Region Serializability." 2015, Presented at ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS),
  • "Low-Overhead Software Transactional Memory with Progress Guarantees and Strong Semantics." 2015, Presented at ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP),
  • "Efficient Deterministic Replay of Multithreaded Programs Based on Efficient Tracking of Cross-Thread Dependences." 2015, Presented at International Conference on Principles and Practices of Programming on the Java Platform (PPPJ),
  • "Valor: Efficient, Software-Only Region Conflict Exceptions." 2015, Presented at ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA),
  • "Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization." 2015, Presented at International Conference on Principles and Practices of Programming on the Java Platform (PPPJ),
  • "Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future." 2016, Presented at ACM SIGPLAN International Symposium on Memory Management (ISMM),
  • "Drinking from Both Glasses: Combining Pessimistic and Optimistic Tracking of Cross-Thread Dependences." 2016, Presented at ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP),
  • "Relaxed Dependence Tracking for Parallel Runtime Support." 2016, Presented at International Conference on Compiler Construction (CC),
  • "Rethinking Strong Memory Consistency." 2016, Presented at Ghent University,

Papers in Proceedings

2016

  • Man Cao, Jake Roemer, Aritra Sengupta, Michael D. Bond "Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future." JOURNAL: "ACM SIGPLAN International Symposium on Memory Management (ISMM)." in ACM SIGPLAN International Symposium on Memory Management (ISMM). (6 2016). ?? -
  • Minjia Zhang, Swarnendu Biswas, Michael D. Bond "Relaxed Dependence Tracking for Parallel Runtime Support." JOURNAL: "International Conference on Compiler Construction (CC)." in International Conference on Compiler Construction (CC). (3 2016). 45 - 55.
  • Man Cao, Minjia Zhang, Aritra Sengupta, Michael D. Bond "Drinking from Both Glasses: Combining Pessimistic and Optimistic Tracking of Cross-Thread Dependences." JOURNAL: "ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)." in ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP). (3 2016). 20:1 -

2015

  • Aritra Sengupta, Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Milind Kulkarni "Hybrid Static–Dynamic Analysis for Statically Bounded Region Serializability." JOURNAL: "ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)." in ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). (3 2015). 561 - 575.
  • Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni "Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization." JOURNAL: "International Conference on Principles and Practices of Programming on the Java Platform (PPPJ)." in International Conference on Principles and Practices of Programming on the Java Platform (PPPJ). (9 2015). 65 - 75.
  • Minjia Zhang, Jipeng Huang, Man Cao, Michael D. Bond "Low-Overhead Software Transactional Memory with Progress Guarantees and Strong Semantics." JOURNAL: "ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)." in ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP). (2 2015). 97 - 108.
  • Michael D. Bond, Milind Kulkarni, Man Cao, Meisam Fathi Salmi, Jipeng Huang "Efficient Deterministic Replay of Multithreaded Executions in a Managed Language Virtual Machine." JOURNAL: "International Conference on Principles and Practices of Programming on the Java Platform (PPPJ)." in International Conference on Principles and Practices of Programming on the Java Platform (PPPJ). (9 2015). 90 - 101.
  • Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Brandon Lucia "Valor: Efficient, Software-Only Region Conflict Exceptions." JOURNAL: "ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)." in ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). (10 2015). 241 - 259.

2014

  • Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, Michael D. Bond "DoubleChecker: Efficient Sound and Precise Atomicity Checking." JOURNAL: "ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)." in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). (6 2014). 28 - 39.
  • Man Cao, Minjia Zhang, Michael D. Bond "Drinking from Both Glasses: Adaptively Combining Pessimistic and Optimistic Synchronization for Efficient Parallel Runtime Support." JOURNAL: "Workshop on Determinism and Correctness in Parallel Programming (WoDet)." in Workshop on Determinism and Correctness in Parallel Programming (WoDet). (3 2014). 7 -

2013

  • Jipeng Huang, Michael D. Bond "Efficient Context Sensitivity for Dynamic Analyses via Calling Context Uptrees and Customized Memory Management." JOURNAL: "ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)." in ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). (10 2013). 53 - 72.
  • Michael D. Bond, Milind Kulkarni, Man Cao, Minjia Zhang, Meisam Fathi Salmi, Swarnendu Biswas, Aritra Sengupta, Jipeng Huang "Octet: Capturing and Controlling Cross-Thread Dependences Efficiently." JOURNAL: "ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)." in ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). (10 2013). 693 - 712.

2011

  • Varun Srivastava, Michael D. Bond, Kathryn S. McKinley, Vitaly Shmatikov "A Security Policy Oracle: Detecting Security Holes using Multiple API Implementations." JOURNAL: "ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)." in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). (6 2011). 343 - 354.
  • Guoqing Xu, Michael D. Bond, Feng Qin, Atanas Rountev "LeakChaser: Helping Programmers Narrow Down Causes of Memory Leaks." JOURNAL: "ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)." in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). (6 2011). 270 - 282.

2010

  • Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley "Pacer: Proportional Detection of Data Races." JOURNAL: "ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)." in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). (6 2010). 255 - 268.
  • Michael D. Bond, Varun Srivastava, Kathryn S. McKinley, Vitaly Shmatikov "Efficient, Context-Sensitive Detection of Real-World Semantic Attacks." JOURNAL: "ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS)." in ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS). (6 2010). 1 - 10.
  • Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer "Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug Detection Analyses." JOURNAL: "ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)." in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). (6 2010). 13 - 24.

2009

  • Michael D. Bond, Kathryn S. McKinley "Leak Pruning." JOURNAL: "ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)." in ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). (3 2009). 277 - 288.
  • Indrajit Roy, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, Emmett Witchel "Laminar: Practical Fine-Grained Decentralized Information Flow Control." JOURNAL: "ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)." in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). (6 2009). 63 - 74.

2008

  • Michael D. Bond, Kathryn S. McKinley "Tolerating Memory Leaks." JOURNAL: "ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)." in ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). (10 2008). 109 - 126.

2007

  • Byeongcheol Lee, Kevin Resnick, Michael D. Bond, Kathryn S. McKinley "Correcting the Dynamic Call Graph Using Control Flow Constraints." JOURNAL: "International Conference on Compiler Construction (CC)." in International Conference on Compiler Construction (CC). (3 2007). 80 - 95.
  • Michael D. Bond, Nicholas Nethercote, Stephen W. Kent, Samuel Z. Guyer, Kathryn S. McKinley "Tracking Bad Apples: Reporting the Origin of Null and Undefined Value Errors." JOURNAL: "ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)." in ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). (10 2007). 405 - 422.
  • Michael D. Bond, Kathryn S. McKinley "Probabilistic Calling Context." JOURNAL: "ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)." in ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). (10 2007). 97 - 112.

2006

  • Michael D. Bond, Kathryn S. McKinley "Bell: Bit-Encoding Online Memory Leak Detection." JOURNAL: "ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)." in ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). (10 2006). 61 - 72.

2005

  • Michael D. Bond, Kathryn S. McKinley "Practical Path Profiling for Dynamic Optimizers." JOURNAL: "IEEE/ACM International Symposium on Code Generation and Optimization (CGO)." in IEEE/ACM International Symposium on Code Generation and Optimization (CGO). (3 2005). 205 - 216.
  • Michael D. Bond, Kathryn S. McKinley "Continuous Path and Edge Profiling." JOURNAL: "IEEE/ACM International Symposium on Microarchitecture (MICRO)." in IEEE/ACM International Symposium on Microarchitecture (MICRO). (11 2005). 130 - 140.

2004

  • Rahul Joshi, Michael D. Bond, Craig Zilles "Targeted Path Profiling: Lower Overhead Path Profiling for Staged Dynamic Optimization Systems." JOURNAL: "IEEE/ACM International Symposium on Code Generation and Optimization (CGO)." in IEEE/ACM International Symposium on Code Generation and Optimization (CGO). (3 2004). 239 - 250.