You are here

Mike Bond

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

Honors

  • March, 2013-
    February, 2018

    Faculty Early Career Development (CAREER) Award.

  • April, 2016

    Lumley Research Award.

  • October, 2015

    Distinguished Artifact Award.

  • October, 2015

    Distinguished Paper Award.

  • February, 2013

    Finalist for Faculty Fellowship.

  • February, 2012

    Finalist for Faculty Fellowship.

  • June, 2009

    Outstanding Doctoral Dissertation Award (for 2008).

  • August, 2006-
    August, 2008

    Intel Ph.D. Fellowship.

  • June, 2008

    Craziest Idea, Wild and Crazy Ideas session.

  • August, 2003-
    August, 2004

    Microelectronics and Computer Development (MCD) Fellowship.

  • March, 2004

    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

  • Cao, M.; Roemer, J.; Sengupta, A.; Bond, M.D. "Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future." (11 2016).
  • Cao, M.; Roemer, J.; Sengupta, A.; Bond, M.D. "Prescient memory: Exposing weak memory model behavior by looking into the future." (6 2016).
  • Cao, M.; Roemer, J.; Sengupta, A.; Bond, M.D. "Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future." in 15th ACM SIGPLAN International Symposium on Memory Management (ISMM 2016). (11 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).
  • Man Cao, Jake Roemer, Aritra Sengupta, Michael D. Bond "Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future." 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." in International Conference on Compiler Construction (CC). (3 2016).

2015

  • Sengupta, A.; Biswas, S.; Zhang, M.; Bond, M.D. et al. "Hybrid Static-Dynamic Analysis for Statically Bounded Region Serializability." (4 2015).
  • Sengupta, A.; Biswas, S.; Zhang, M.; Bond, M.D. et al. "Hybrid Static-Dynamic Analysis for Statically Bounded Region Serializability." in 20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). (4 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).
  • Aritra Sengupta, Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Milind Kulkarni "Hybrid Static–Dynamic Analysis for Statically Bounded Region Serializability." in ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). (3 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).
  • Sengupta, A.; Biswas, S.; Zhang, M.; Bond, M.D. et al. "Hybrid static-dynamic analysis for statically bounded region serializability." (4 2015).
  • Sengupta, A.; Biswas, S.; Zhang, M.; Bond, M.D. et al. "Hybrid static-dynamic analysis for statically bounded region serializability." (1 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).

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).
  • 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).

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).
  • Huang, J.; Bond, M.D. "Efficient context sensitivity for dynamic analyses via calling context uptrees and customized memory management." (11 2013).
  • Jipeng Huang, Michael D. Bond "Efficient Context Sensitivity for Dynamic Analyses via Calling Context Uptrees and Customized Memory Management." in ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). (10 2013).

2011

  • Xu, G.; Bond, M.D.; Qin, F.; Rountev, A. "LeakChaser: Helping Programmers Narrow Down Causes of Memory Leaks." in 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 11). (1 2011).
  • Srivastava, V.; Bond, M.D.; McKinley, K.S.; Shmatikov, V. "A Security Policy Oracle: Detecting Security Holes Using Multiple API Implementations." in 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 11). (1 2011).
  • Srivastava, V.; Bond, M.D.; McKinley, K.S.; Shmatikov, V. "A security policy oracle: Detecting security holes using multiple API implementations." (7 2011).
  • Xu, G.; Bond, M.D.; Qin, F.; Rountev, A. "LeakChaser: Helping programmers narrow down causes of memory leaks." (7 2011).
  • Xu, G.; Bond, M.D.; Qin, F.; Rountev, A. et al. "LeakChaser: Helping Programmers Narrow Down Causes of Memory Leaks." (1 2011).
  • Srivastava, V.; Bond, M.D.; McKinley, K.S.; Shmatikov, V. et al. "A Security Policy Oracle: Detecting Security Holes Using Multiple API Implementations." (1 2011).
  • Guoqing Xu, Michael D. Bond, Feng Qin, Atanas Rountev "LeakChaser: Helping Programmers Narrow Down Causes of Memory Leaks." in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). (6 2011).
  • Varun Srivastava, Michael D. Bond, Kathryn S. McKinley, Vitaly Shmatikov "A Security Policy Oracle: Detecting Security Holes using Multiple API Implementations." in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). (6 2011).

2010

  • Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer "Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug Detection Analyses." in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). (6 2010).
  • Bond, M.D.; Coons, K.E.; McKinley, K.S. "PACER: Proportional Detection of Data Races." in ACM SIGPLAN Conference on Programming Language Design and Implementation. (6 2010).
  • Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley "Pacer: Proportional Detection of Data Races." in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). (6 2010).
  • Bond, M.D.; Baker, G.Z.; Guyer, S.Z. "Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug Detection Analyses." in ACM SIGPLAN Conference on Programming Language Design and Implementation. (6 2010).
  • Bond, M.D.; Coons, K.E.; McKinley, K.S. "PACER: Proportional detection of data races." (6 2010).
  • Bond, M.D.; Coons, K.E.; McKinley, K.S. "PACER: Proportional Detection of Data Races." (6 2010).
  • Bond, M.D.; Baker, G.Z.; Guyer, S.Z. "Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug Detection Analyses." (6 2010).
  • Bond, M.D.; Srivastava, V.; McKinley, K.S.; Shmatikov, V. "Efficient, context-sensitive detection of real-world semantic attacks." (7 2010).
  • Bond, M.D.; Baker, G.Z.; Guyer, S.Z. "Breadcrumbs: Efficient context sensitivity for dynamic bug detection analyses." (6 2010).
  • Michael D. Bond, Varun Srivastava, Kathryn S. McKinley, Vitaly Shmatikov "Efficient, Context-Sensitive Detection of Real-World Semantic Attacks." in ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS). (6 2010).

2009

  • Roy, I.; Porter, D.E.; Bond, M.D.; McKinley, K.S. et al. "Laminar: Practical Fine-Grained Decentralized Information Flow Control." (1 2009).
  • Michael D. Bond, Kathryn S. McKinley "Leak Pruning." in ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). (3 2009).
  • Roy, I.; Porter, D.E.; Bond, M.D.; McKinley, K.S. et al. "Laminar: Practical fine-grained decentralized information flow control." (6 2009).
  • Bond, M.D.; McKinley, K.S. "Leak Pruning." (3 2009).
  • Roy, I.; Porter, D.E.; Bond, M.D.; McKinley, K.S. et al. "Laminar: Practical fine-grained decentralized information flow control." (11 2009).
  • Indrajit Roy, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, Emmett Witchel "Laminar: Practical Fine-Grained Decentralized Information Flow Control." in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). (6 2009).
  • Roy, I.; Porter, D.E.; Bond, M.D.; McKinley, K.S. et al. "Laminar: Practical Fine-Grained Decentralized Information Flow Control." in ACM SIGPLAN Conference on Programming Language Design and Implementation. (1 2009).

2008

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

2007

  • 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." in ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). (10 2007).
  • Bond, M.D.; Nethercote, N.; Kent, S.W.; Guyer, S.Z. et al. "Tracking bad apples: Reporting the origin of null and undefined value errors." (10 2007).
  • Lee, B.; Resnick, K.; Bond, M.D.; McKinley, K.S. "Correcting the dynamic call graph using control-flow constraints." (1 2007).
  • Bond, M.D.; McKinley, K.S.; ACM, "Probabilistic Calling Context." (1 2007).
  • Michael D. Bond, Kathryn S. McKinley "Probabilistic Calling Context." in ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). (10 2007).
  • Lee, B.; Resnick, K.; Bond, M.D.; McKinley, K.S. "Correcting the dynamic call graph using control-flow constraints." (12 2007).
  • Lee, B.; Resnick, K.; Bond, M.D.; McKinley, K.S. "Correcting the dynamic call graph using control-flow constraints." in 16th International Conference on Compiler Construction. (1 2007).
  • Bond, M.D.; Nethercote, N.; Kent, S.W.; Guyer, S.Z. et al. "Tracking bad apples: Reporting the origin of null and undefined value errors." (10 2007).
  • Bond, M.D.; McKinley, K.S. "Probabilistic calling context." (12 2007).
  • Byeongcheol Lee, Kevin Resnick, Michael D. Bond, Kathryn S. McKinley "Correcting the Dynamic Call Graph Using Control Flow Constraints." in International Conference on Compiler Construction (CC). (3 2007).
  • Bond, M.D.; McKinley, K.S. "Probabilistic Calling Context." in 22nd International Conference on Object-Oriented Programming, Systems, Languages and Applications. (1 2007).
  • Bond, M.D.; Nethercote, N.; Kent, S.W.; Guyer, S.Z. et al. "Tracking bad apples: Reporting the origin of null and undefined value errors." in 22nd International Conference on Object-Oriented Programming, Systems, Languages and Applications. (10 2007).

2006

  • Bond, M.D.; McKinley, K.S. "Bell: Bit-encoding online memory leak detection." (11 2006).
  • Bond, M.D.; McKinley, K.S. "Bell: Bit-encoding online memory leak detection." (11 2006).
  • Michael D. Bond, Kathryn S. McKinley "Bell: Bit-Encoding Online Memory Leak Detection." in ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). (10 2006).
  • Bond, M.D.; McKinley, K.S. "Bell: Bit-encoding online memory leak detection." in 12th International Conference on Architectural Support for Programming Languages and Operating Systems. (11 2006).

2005

  • Michael D. Bond, Kathryn S. McKinley "Practical Path Profiling for Dynamic Optimizers." in IEEE/ACM International Symposium on Code Generation and Optimization (CGO). (3 2005).
  • Bond, M.D.; McKinley, K.S.; SOC, I.C. "Practical path profiling for dynamic optimizers." (1 2005).
  • Bond, M.D.; McKinley, K.S. "Practical path profiling for dynamic optimizers." in 3rd International Symposium on Code Generation and Optimization. (1 2005).
  • Bond, M.D.; McKinley, K.S. "Continuous path and edge profiling." in 38th Annual IEEE/ACM International Symposium on Microarchitecture. (1 2005).
  • Bond, M.D.; McKinley, K.S.; Society, I.E.E.E.C. "Continuous path and edge profiling." (1 2005).
  • Bond, M.D.; McKinley, K.S. "Continuous path and edge profiling." (12 2005).
  • Bond, M.D.; McKinley, K.S. "Practical path profiling for dynamic optimizers." (12 2005).
  • Michael D. Bond, Kathryn S. McKinley "Continuous Path and Edge Profiling." in IEEE/ACM International Symposium on Microarchitecture (MICRO). (11 2005).

2004

  • Joshi, R.; Bond, M.D.; Zilles, C. "Targeted path profiling: Lower overhead path profiling for staged dynamic optimization systems." in 2nd International Symposium on Code Generation and Optimization. (1 2004).
  • Joshi, R.; Bond, M.D.; Zilles, C. "Targeted path profiling: Lower overhead path profiling for staged dynamic optimization systems." (1 2004).
  • Joshi, R.; Bond, M.D.; Zilles, C. "Targeted path profiling: Lower overhead path profiling for staged dynamic optimization systems." (7 2004).
  • Rahul Joshi, Michael D. Bond, Craig Zilles "Targeted Path Profiling: Lower Overhead Path Profiling for Staged Dynamic Optimization Systems." in IEEE/ACM International Symposium on Code Generation and Optimization (CGO). (3 2004).