| 2023 | CIDR | Developer's Responsibility or Database's Responsibility? Rethinking Concurrency Control in Databases. | Chaoyi Cheng, Mingzhe Han, Nuo Xu, Spyros Blanas, Michael D. Bond, Yang Wang |
| 2022 | CC | Cape: compiler-aided program transformation for HTM-based cache side-channel defense. | Rui Zhang, Michael D. Bond, Yinqian Zhang |
| 2022 | ISPASS | Distilling the Real Cost of Production Garbage Collectors. | Zixian Cai, Stephen M. Blackburn, Michael D. Bond, Martin Maas |
| 2022 | PLDI | Mako: a low-pause, high-throughput evacuating collector for memory-disaggregated datacenters. | Haoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael D. Bond, Stephen M. Blackburn, Miryung Kim, Guoqing Harry Xu |
| 2021 | EuroSys | Finding heterogeneous-unsafe configuration parameters in cloud systems. | Sixiang Ma, Fang Zhou, Michael D. Bond, Yang Wang |
| 2020 | ASPLOS | Peacenik: Architecture Support for Not Failing under Fail-Stop Memory Consistency. | Rui Zhang, Swarnendu Biswas, Vignesh Balaji, Michael D. Bond, Brandon Lucia |
| 2020 | OSDI | 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, Guoqing Harry Xu |
| 2020 | PLDI | Crafty: efficient, HTM-compatible persistent transactions. | Kaan Gen, Michael D. Bond, Guoqing Harry Xu |
| 2020 | PLDI | SmartTrack: efficient predictive race detection. | Jake Roemer, Kaan Gen, Michael D. Bond |
| 2018 | PLDI | High-coverage, unbounded sound predictive race detection. | Jake Roemer, Kaan Gen, Michael D. Bond |
| 2017 | CC | Lightweight data race detection for production runs. | Swarnendu Biswas, Man Cao, Minjia Zhang, Michael D. Bond, Benjamin P. Wood |
| 2017 | CGO | Legato: end-to-end bounded region serializability using commodity hardware transactional memory. | Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni |
| 2017 | PPoPP | POSTER: On the Problem of Consistency Exceptions in the Context of Strong Memory Models. | Minjia Zhang, Swarnendu Biswas, Michael D. Bond |
| 2016 | CC | Relaxed dependence tracking for parallel runtime support. | Minjia Zhang, Swarnendu Biswas, Michael D. Bond |
| 2016 | PPoPP | Drinking from both glasses: combining pessimistic and optimistic tracking of cross-thread dependences. | Man Cao, Minjia Zhang, Aritra Sengupta, Michael D. Bond |
| 2015 | ASPLOS | Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability. | Aritra Sengupta, Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Milind Kulkarni |
| 2015 | OOPSLA | Valor: efficient, software-only region conflict exceptions. | Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Brandon Lucia |
| 2015 | PPoPP | Low-overhead software transactional memory with progress guarantees and strong semantics. | Minjia Zhang, Jipeng Huang, Man Cao, Michael D. Bond |
| 2014 | PLDI | DoubleChecker: efficient sound and precise atomicity checking. | Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, Michael D. Bond |
| 2013 | OOPSLA | OCTET: capturing and controlling cross-thread dependences efficiently. | Michael D. Bond, Milind Kulkarni, Man Cao, Minjia Zhang, Meisam Fathi Salmi, Swarnendu Biswas, Aritra Sengupta, Jipeng Huang |
| 2013 | OOPSLA | Efficient context sensitivity for dynamic analyses via calling context uptrees and customized memory management. | Jipeng Huang, Michael D. Bond |
| 2011 | PLDI | A security policy oracle: detecting security holes using multiple API implementations. | Varun Srivastava, Michael D. Bond, Kathryn S. McKinley, Vitaly Shmatikov |
| 2011 | PLDI | LeakChaser: helping programmers narrow down causes of memory leaks. | Guoqing Xu, Michael D. Bond, Feng Qin, Atanas Rountev |
| 2010 | PLDI | Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses. | Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer |
| 2010 | PLDI | PACER: proportional detection of data races. | Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley |
| 2010 | PLDI | Efficient, context-sensitive detection of real-world semantic attacks. | Michael D. Bond, Varun Srivastava, Kathryn S. McKinley, Vitaly Shmatikov |
| 2009 | ASPLOS | Leak pruning. | Michael D. Bond, Kathryn S. McKinley |
| 2009 | PLDI | Laminar: practical fine-grained decentralized information flow control. | Indrajit Roy, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, Emmett Witchel |
| 2008 | OOPSLA | Tolerating memory leaks. | Michael D. Bond, Kathryn S. McKinley |
| 2007 | CC | Correcting the Dynamic Call Graph Using Control-Flow Constraints. | Byeongcheol Lee, Kevin Resnick, Michael D. Bond, Kathryn S. McKinley |
| 2007 | OOPSLA | Probabilistic calling context. | Michael D. Bond, Kathryn S. McKinley |
| 2007 | OOPSLA | Tracking bad apples: reporting the origin of null and undefined value errors. | Michael D. Bond, Nicholas Nethercote, Stephen W. Kent, Samuel Z. Guyer, Kathryn S. McKinley |
| 2006 | ASPLOS | Bell: bit-encoding online memory leak detection. | Michael D. Bond, Kathryn S. McKinley |
| 2005 | CGO | Practical Path Profiling for Dynamic Optimizers. | Michael D. Bond, Kathryn S. McKinley |
| 2005 | MICRO | Continuous Path and Edge Profiling. | Michael D. Bond, Kathryn S. McKinley |
| 2004 | CGO | Targeted Path Profiling: Lower Overhead Path Profiling for Staged Dynamic Optimization Systems. | Rahul Joshi, Michael D. Bond, Craig B. Zilles |