| EuroSys 2021 | Finding Unsafe Heterogeneous Configurations in Cloud Systems (working title)
Sixiang Ma, Fang Zhou, Michael D. Bond, and Yang Wang |
| OSDI 2020 | Semeru: A Memory-Disaggregated Managed Runtime
Chenxi Wang, Haoran Ma, Shi Liu, Yuanqi Li, Zhenyuan Ruan, Khanh Nguyen, Michael D. Bond, Ravi Netravali, Miryung Kim, and Guoqing Harry Xu |
| PLDI 2020 | Crafty: Efficient, HTM-Compatible Persistent Transactions
Kaan Genç, Michael D. Bond, and Guoqing Harry Xu |
| PLDI 2020 | SmartTrack: Efficient Predictive Race Detection
Jake Roemer, Kaan Genç, and Michael D. Bond |
| ASPLOS 2020 | Peacenik: Architecture Support for Not Failing under Fail-Stop Memory Consistency
Rui Zhang, Swarnendu Biswas, Vignesh Balaji, Michael D. Bond, and Brandon Lucia |
| OOPSLA 2019 | Dependence-Aware, Unbounded Sound Predictive Race Detection
Kaan Genç, Jake Roemer, Yufan Xu, and Michael D. Bond |
| arXiv (2019) | Online Set-Based Dynamic Analysis for Sound Predictive Race Detection
Jake Roemer and Michael D. Bond |
| IPDPS 2019 | Rethinking Support for Region Conflict Exceptions
Swarnendu Biswas, Rui Zhang, Michael D. Bond, and Brandon Lucia |
| PLDI 2018 | High-Coverage, Unbounded Sound Predictive Race Detection
Jake Roemer, Kaan Genç, and Michael D. Bond |
| OOPSLA 2017 | Instrumentation Bias for Dynamic Data Race Detection
Benjamin P. Wood, Man Cao, Michael D. Bond, and Dan Grossman |
| TOPC (2017) | Hybridizing and Relaxing Dependence Tracking for Efficient Parallel Runtime Support
Man Cao, Minjia Zhang, Aritra Sengupta, Swarnendu Biswas, and Michael D. Bond |
| ISMM 2017 | Avoiding Consistency Exceptions Under Strong Memory Models
Minjia Zhang, Swarnendu Biswas, and Michael D. Bond |
| CGO 2017 | Legato: End-to-End Bounded Region Serializability Using Commodity Hardware Transactional Memory
Aritra Sengupta, Man Cao, Michael D. Bond, and Milind Kulkarni |
| CC 2017 | Lightweight Data Race Detection for Production Runs
Swarnendu Biswas, Man Cao, Minjia Zhang, Michael D. Bond, and Benjamin P. Wood |
| ISMM 2016 | Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future
Man Cao, Jake Roemer, Aritra Sengupta, and Michael D. Bond |
| CC 2016 | Relaxed Dependence Tracking for Parallel Runtime Support
Minjia Zhang, Swarnendu Biswas, and Michael D. Bond |
| PPoPP 2016 | Drinking from Both Glasses:
Combining Pessimistic and Optimistic Tracking of Cross-Thread Dependences
Man Cao, Minjia Zhang, Aritra Sengupta, and Michael D. Bond |
| OOPSLA 2015 | Valor: Efficient, Software-Only Region Conflict Exceptions
Swarnendu Biswas, Minjia Zhang, Michael D. Bond, and Brandon Lucia |
| PPPJ 2015 | Efficient Deterministic Replay of Multithreaded Executions in a Managed Language Virtual Machine
Michael D. Bond, Milind Kulkarni, Man Cao, Meisam Fathi Salmi, and Jipeng Huang |
| PPPJ 2015 | Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization
Aritra Sengupta, Man Cao, Michael D. Bond, and Milind Kulkarni |
| ASPLOS 2015 | Hybrid Static–Dynamic Analysis for Statically Bounded Region Serializability
Aritra Sengupta, Swarnendu Biswas, Minjia Zhang, Michael D. Bond, and Milind Kulkarni |
| PPoPP 2015 | Low-Overhead Software Transactional Memory with Progress Guarantees and Strong Semantics
Minjia Zhang, Jipeng Huang, Man Cao, and Michael D. Bond |
| PLDI 2014 | DoubleChecker: Efficient Sound and Precise Atomicity Checking
Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, and Michael D. Bond |
| TOPLAS (2014) | Practical Fine-Grained Information Flow Control Using Laminar
Donald E. Porter, Michael D. Bond, Indrajit Roy, Kathryn S. McKinley, and Emmett Witchel |
| 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 |
| 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 |
| 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 |
| PhD dissertation (2019) | Practical High-Coverage Sound Predictive Race Detection
Jake Roemer |
| PhD dissertation (2017) | Efficient, Practical Dynamic Program Analyses for Concurrency Correctness
Man Cao |
| PhD dissertation (2017) | Efficient Compiler and Runtime Support for Serializability and Strong Semantics on Commodity Hardware
Aritra Sengupta |
| PhD dissertation (2016) | Practical Support for Strong, Serializability-Based Memory Consistency
Swarnendu Biswas |
| PhD dissertation (2016) | Efficient Runtime Support for Reliable and Scalable Parallelism
Minjia Zhang |
| Master's thesis (2014) | Efficient Context Sensitivity for Dynamic Analyses via Calling Context Uptrees and Customized Memory Management
Jipeng Huang |
| PhD dissertation (2008) | Diagnosing and Tolerating Bugs in Deployed Systems
Michael David Bond |