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

  • 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." (11 2016).
  • Minjia Zhang, Swarnendu Biswas, Michael D. Bond "Relaxed Dependence Tracking for Parallel Runtime Support." in International Conference on Compiler Construction (CC). (3 2016).
  • Cao, M.; Roemer, J.; Sengupta, A.; Bond, M.D. "Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future." (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).

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

  • 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

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

2011

  • Srivastava, V.; Bond, M.D.; McKinley, K.S.; Shmatikov, V. "A security policy oracle: Detecting security holes using multiple API implementations." (7 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).
  • 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).
  • 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).
  • Xu, G.; Bond, M.D.; Qin, F.; Rountev, A. "LeakChaser: Helping programmers narrow down causes of memory leaks." (7 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).
  • Xu, G.; Bond, M.D.; Qin, F.; Rountev, A. et al. "LeakChaser: Helping Programmers Narrow Down Causes of Memory Leaks." (1 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).

2010

  • Bond, M.D.; Baker, G.Z.; Guyer, S.Z. "Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug Detection Analyses." (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." in ACM SIGPLAN Conference on Programming Language Design and Implementation. (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." 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).
  • 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).
  • 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." (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).
  • Bond, M.D.; McKinley, K.S. "Leak Pruning." (3 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." in ACM SIGPLAN Conference on Programming Language Design and Implementation. (1 2009).
  • Roy, I.; Porter, D.E.; Bond, M.D.; McKinley, K.S. et al. "Laminar: Practical fine-grained decentralized information flow control." (6 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." (11 2009).

2008

  • Bond, M.D.; McKinley, K.S. "Tolerating Memory Leaks." (9 2008).
  • Bond, M.D.; McKinley, K.S. "Tolerating Memory Leaks." (9 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).

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.; Nethercote, N.; Kent, S.W.; Guyer, S.Z. et al. "Tracking bad apples: Reporting the origin of null and undefined value errors." (10 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).
  • 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).
  • Bond, M.D.; McKinley, K.S. "Probabilistic calling context." (12 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." (10 2007).
  • Lee, B.; Resnick, K.; Bond, M.D.; McKinley, K.S. "Correcting the dynamic call graph using control-flow constraints." (1 2007).
  • Lee, B.; Resnick, K.; Bond, M.D.; McKinley, K.S. "Correcting the dynamic call graph using control-flow constraints." (12 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).
  • 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.; McKinley, K.S.; ACM, "Probabilistic Calling Context." (1 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).
  • 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).

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.; SOC, I.C. "Practical path profiling for dynamic optimizers." (1 2005).
  • Michael D. Bond, Kathryn S. McKinley "Continuous Path and Edge Profiling." in IEEE/ACM International Symposium on Microarchitecture (MICRO). (11 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. "Continuous path and edge profiling." (12 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. "Practical path profiling for dynamic optimizers." (12 2005).
  • Bond, M.D.; McKinley, K.S. "Continuous path and edge profiling." in 38th Annual IEEE/ACM International Symposium on Microarchitecture. (1 2005).

2004

  • Joshi, R.; Bond, M.D.; Zilles, C. "Targeted path profiling: Lower overhead path profiling for staged dynamic optimization systems." (7 2004).
  • Joshi, R.; Bond, M.D.; Zilles, C. "Targeted path profiling: Lower overhead path profiling for staged dynamic optimization systems." (1 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).
  • 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).