You are here

Michael Bond

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

Honors

  • 20130301-20180201

    Faculty Early Career Development (CAREER) Award.

  • 20160401

    Lumley Research Award.

  • 20151001

    Distinguished Artifact Award.

  • 20151001

    Distinguished Paper Award.

  • 20130201

    Finalist for Faculty Fellowship.

  • 20120201

    Finalist for Faculty Fellowship.

  • 20090601

    Outstanding Doctoral Dissertation Award (for 2008).

  • 20060801-20080801

    Intel Ph.D. Fellowship.

  • 20080601

    Craziest Idea, Wild and Crazy Ideas session.

  • 20030801-20040801

    Microelectronics and Computer Development (MCD) Fellowship.

  • 20040301

    Best Student Presenter.

Books

2008

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

Presentations

  • "Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future." 2016, Presented at ACM SIGPLAN International Symposium on Memory Management (ISMM),
  • "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,
  • "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),
  • "Continuous Path and Edge Profiling." 2005, Presented at IEEE/ACM International Symposium on Microarchitecture (MICRO),
  • "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,
  • "Improving Software Reliability at Production Time." 2007, Presented at IBM Research, IBM Corporation, Intel Corporation,
  • "Pacer: Proportional Detection of Data Races." 2010, Presented at Tufts University,
  • "Practical Path Profiling for Dynamic Optimizers." 2005, Presented at EEE/ACM International Symposium on Code Generation and Optimization (CGO),
  • "Probabilistic Calling Context." 2007, Presented at ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA),
  • "Leak Pruning." 2009, Presented at ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS),
  • "Bounding Leaky Programs." 2008, Presented at Wild and Crazy Ideas session, ACM SIGPLAN International Symposium on Memory Management (ISMM),
  • "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,
  • "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),
  • "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),
  • "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),
  • "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),
  • "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,
  • "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),
  • "DoubleChecker: Efficient Sound and Precise Atomicity Checking." 2014, Presented at ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI),
  • "Valor: Efficient, Software-Only Region Conflict Exceptions." 2015, Presented at ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA),
  • "Octet: Capturing and Controlling Cross-Thread Dependences Efficiently." 2013, Presented at ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA),

Papers in Proceedings

2016

  • Man Cao, Minjia Zhang, Aritra Sengupta, Michael D. Bond "Drinking from Both Glasses: Combining Pessimistic and Optimistic Tracking of Cross-Thread Dependences." in ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP). (3 2016).
  • Minjia Zhang, Swarnendu Biswas, Michael D. Bond "Relaxed Dependence Tracking for Parallel Runtime Support." in International Conference on Compiler Construction (CC). (3 2016).

2015

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

2014

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

2013

  • 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." in ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). (10 2013).