Targeted Path Profiling: Lower Overhead Path Profiling for Staged Dynamic Optimization Systems. - Rahul Joshi; Michael D. Bond; Craig B. Zilles (CGO, 2004)

Practical Path Profiling for Dynamic Optimizers. - Michael D. Bond; Kathryn S. McKinley (CGO, 2005)

Continuous Path and Edge Profiling. - Michael D. Bond; Kathryn S. McKinley (MICRO, 2005)

Bell: bit-encoding online memory leak detection. - Michael D. Bond; Kathryn S. McKinley (ASPLOS, 2006)

Correcting the Dynamic Call Graph Using Control-Flow Constraints. - Byeongcheol Lee; Kevin Resnick; Michael D. Bond; Kathryn S. McKinley (CC, 2007)

Probabilistic calling context. - Michael D. Bond; 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; Kathryn S. McKinley (OOPSLA, 2007)

Tolerating memory leaks. - Michael D. Bond; Kathryn S. McKinley (OOPSLA, 2008)

Leak pruning. - Michael D. Bond; Kathryn S. McKinley (ASPLOS, 2009)

Laminar: practical fine-grained decentralized information flow control. - Indrajit Roy 001; Donald E. Porter; Michael D. Bond; Kathryn S. McKinley; Emmett Witchel (PLDI, 2009)

Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses. - Michael D. Bond; Graham Z. Baker; Samuel Z. Guyer (PLDI, 2010)

PACER: proportional detection of data races. - Michael D. Bond; Katherine E. Coons; Kathryn S. McKinley (PLDI, 2010)

Efficient, context-sensitive detection of real-world semantic attacks. - Michael D. Bond; Varun Srivastava; Kathryn S. McKinley; Vitaly Shmatikov (PLAS, 2010)

A security policy oracle: detecting security holes using multiple API implementations. - Varun Srivastava; Michael D. Bond; Kathryn S. McKinley; Vitaly Shmatikov (PLDI, 2011)

LeakChaser: helping programmers narrow down causes of memory leaks. - Guoqing Xu 001; Michael D. Bond; Feng Qin; Atanas Rountev (PLDI, 2011)

OCTET: capturing and controlling cross-thread dependences efficiently. - Michael D. Bond; Milind Kulkarni 001; Man Cao; Minjia Zhang; Meisam Fathi Salmi; Swarnendu Biswas; Aritra Sengupta; Jipeng Huang (OOPSLA, 2013)

Efficient context sensitivity for dynamic analyses via calling context uptrees and customized memory management. - Jipeng Huang; Michael D. Bond (OOPSLA, 2013)

DoubleChecker: efficient sound and precise atomicity checking. - Swarnendu Biswas; Jipeng Huang; Aritra Sengupta; Michael D. Bond (PLDI, 2014)

Practical Fine-Grained Information Flow Control Using Laminar. - Donald E. Porter; Michael D. Bond; Indrajit Roy 001; Kathryn S. McKinley; Emmett Witchel (ACM Trans. Program. Lang. Syst., 2014)

Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability. - Aritra Sengupta; Swarnendu Biswas; Minjia Zhang; Michael D. Bond; Milind Kulkarni 001 (ASPLOS, 2015)

Valor: efficient, software-only region conflict exceptions. - Swarnendu Biswas; Minjia Zhang; Michael D. Bond; Brandon Lucia (OOPSLA, 2015)

Low-overhead software transactional memory with progress guarantees and strong semantics. - Minjia Zhang; Jipeng Huang; Man Cao; Michael D. Bond (PPoPP, 2015)

Efficient Deterministic Replay of Multithreaded Executions in a Managed Language Virtual Machine. - Michael D. Bond; Milind Kulkarni 001; Man Cao; Meisam Fathi Salmi; Jipeng Huang (PPPJ, 2015)

Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization. - Aritra Sengupta; Man Cao; Michael D. Bond; Milind Kulkarni 001 (PPPJ, 2015)

Relaxed dependence tracking for parallel runtime support. - Minjia Zhang; Swarnendu Biswas; Michael D. Bond (CC, 2016)

Prescient memory: exposing weak memory model behavior by looking into the future. - Man Cao; Jake Roemer; Aritra Sengupta; Michael D. Bond (ISMM, 2016)

Drinking from both glasses: combining pessimistic and optimistic tracking of cross-thread dependences. - Man Cao; Minjia Zhang; Aritra Sengupta; Michael D. Bond (PPoPP, 2016)

Lightweight data race detection for production runs. - Swarnendu Biswas; Man Cao; Minjia Zhang; Michael D. Bond; Benjamin P. Wood (CC, 2017)

Legato: end-to-end bounded region serializability using commodity hardware transactional memory. - Aritra Sengupta; Man Cao; Michael D. Bond; Milind Kulkarni 001 (CGO, 2017)

Avoiding consistency exceptions under strong memory models. - Minjia Zhang; Swarnendu Biswas; Michael D. Bond (ISMM, 2017)

POSTER: On the Problem of Consistency Exceptions in the Context of Strong Memory Models. - Minjia Zhang; Swarnendu Biswas; Michael D. Bond (PPoPP, 2017)

Instrumentation bias for dynamic data race detection. - Benjamin P. Wood; Man Cao; Michael D. Bond; Dan Grossman (Proc. ACM Program. Lang., 2017)

Hybridizing and Relaxing Dependence Tracking for Efficient Parallel Runtime Support. - Man Cao; Minjia Zhang; Aritra Sengupta; Swarnendu Biswas; Michael D. Bond (ACM Trans. Parallel Comput., 2017)

High-coverage, unbounded sound predictive race detection. - Jake Roemer; Kaan Genç; Michael D. Bond (PLDI, 2018)

Rethinking Support for Region Conflict Exceptions. - Swarnendu Biswas; Rui Zhang; Michael D. Bond; Brandon Lucia (IPDPS, 2019)

Practical Predictive Race Detection. - Jake Roemer; Kaan Genç; Michael D. Bond (CoRR, 2019)

Online Set-Based Dynamic Analysis for Sound Predictive Race Detection. - Jake Roemer; Michael D. Bond (CoRR, 2019)

Dependence-aware, unbounded sound predictive race detection. - Kaan Genç; Jake Roemer; Yufan Xu; Michael D. Bond (Proc. ACM Program. Lang., 2019)

Peacenik: Architecture Support for Not Failing under Fail-Stop Memory Consistency. - Rui Zhang; Swarnendu Biswas; Vignesh Balaji; Michael D. Bond; Brandon Lucia (ASPLOS, 2020)

Semeru: A Memory-Disaggregated Managed Runtime. - Chenxi Wang; Haoran Ma; Shi Liu; Yuanqi Li; Zhenyuan Ruan; Khanh Nguyen 001; Michael D. Bond; Ravi Netravali; Miryung Kim; Guoqing Harry Xu (OSDI, 2020)

Crafty: efficient, HTM-compatible persistent transactions. - Kaan Genç; Michael D. Bond; Guoqing Harry Xu (PLDI, 2020)

SmartTrack: efficient predictive race detection. - Jake Roemer; Kaan Genç; Michael D. Bond (PLDI, 2020)

Finding heterogeneous-unsafe configuration parameters in cloud systems. - Sixiang Ma; Fang Zhou; Michael D. Bond; Yang Wang 009 (EuroSys, 2021)

Understanding and utilizing hardware transactional memory capacity. - Zixian Cai; Stephen M. Blackburn; Michael D. Bond (ISMM, 2021)

Neat: Low-Complexity, Efficient On-Chip Cache Coherence. - Rui Zhang; Swarnendu Biswas; Vignesh Balaji; Michael D. Bond; Brandon Lucia (CoRR, 2021)

Cape: compiler-aided program transformation for HTM-based cache side-channel defense. - Rui Zhang; Michael D. Bond; Yinqian Zhang (CC, 2022)

Distilling the Real Cost of Production Garbage Collectors. - Zixian Cai; Stephen M. Blackburn; Michael D. Bond; Martin Maas 001 (ISPASS, 2022)

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 (PLDI, 2022)

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 009 (CIDR, 2023)

Cocoon: Static Information Flow Control in Rust. - Ada Barach; Maxwell Taylor; Vincent Beardsley; Jacob Bambeck; Michael D. Bond; Zhiqiang Lin 001 (CoRR, 2023)

IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications. - Chujun Geng; Spyros Blanas; Michael D. Bond; Yang Wang 009 (Proc. ACM Program. Lang., 2024)

Cocoon: Static Information Flow Control in Rust. - Ada Lamba; Max Taylor; Vincent Beardsley; Jacob Bambeck; Michael D. Bond; Zhiqiang Lin 001 (Proc. ACM Program. Lang., 2024)

Carapace: Static-Dynamic Information Flow Control in Rust. - Vincent Beardsley; Chris Xiong; Ada Lamba; Michael D. Bond (Proc. ACM Program. Lang., 2025)