Michael D. Bond

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 32

Top Topics

Transactional Memory

Information Flow Control

Top Venues

Proc. ACM Program. Lang.

Publications

Chujun Geng, Spyros Blanas, Michael D. Bond, Yang Wang
IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Ada Lamba, Max Taylor, Vincent Beardsley, Jacob Bambeck, Michael D. Bond, Zhiqiang Lin
Cocoon: Static Information Flow Control in Rust. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Chujun Geng, Spyros Blanas, Michael D. Bond, Yang Wang
IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications. CoRR (2024)
Ada Barach, Maxwell Taylor, Vincent Beardsley, Jacob Bambeck, Michael D. Bond, Zhiqiang Lin
Cocoon: Static Information Flow Control in Rust. CoRR (2023)
Chaoyi Cheng, Mingzhe Han, Nuo Xu, Spyros Blanas, Michael D. Bond, Yang Wang
Developer's Responsibility or Database's Responsibility? Rethinking Concurrency Control in Databases. CIDR (2023)
Rui Zhang, Michael D. Bond, Yinqian Zhang
Cape: compiler-aided program transformation for HTM-based cache side-channel defense. CC (2022)
Zixian Cai, Stephen M. Blackburn, Michael D. Bond, Martin Maas
Distilling the Real Cost of Production Garbage Collectors. ISPASS (2022)
Haoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael D. Bond, Stephen M. Blackburn, Miryung Kim, Guoqing Harry Xu
Mako: a low-pause, high-throughput evacuating collector for memory-disaggregated datacenters. PLDI (2022)
Zixian Cai, Stephen M. Blackburn, Michael D. Bond, Martin Maas
An Empirical Lower Bound on the Overheads of Production Garbage Collectors. CoRR (2021)
Zixian Cai, Stephen M. Blackburn, Michael D. Bond
Understanding and utilizing hardware transactional memory capacity. ISMM (2021)
Rui Zhang, Swarnendu Biswas, Vignesh Balaji, Michael D. Bond, Brandon Lucia
Neat: Low-Complexity, Efficient On-Chip Cache Coherence. CoRR (2021)
Sixiang Ma, Fang Zhou, Michael D. Bond, Yang Wang
Finding heterogeneous-unsafe configuration parameters in cloud systems. EuroSys (2021)
Chenxi Wang, Haoran Ma, Shi Liu, Yuanqi Li, Zhenyuan Ruan, Khanh Nguyen, Michael D. Bond, Ravi Netravali, Miryung Kim, Guoqing Harry Xu
Semeru: A Memory-Disaggregated Managed Runtime. OSDI (2020)
Jake Roemer, Kaan Genç, Michael D. Bond
SmartTrack: efficient predictive race detection. PLDI (2020)
Kaan Genç, Michael D. Bond, Guoqing Harry Xu
Crafty: efficient, HTM-compatible persistent transactions. PLDI (2020)
Kaan Genç, Michael D. Bond, Guoqing Harry Xu
Crafty: Efficient, HTM-Compatible Persistent Transactions. CoRR (2020)
Rui Zhang, Swarnendu Biswas, Vignesh Balaji, Michael D. Bond, Brandon Lucia
Peacenik: Architecture Support for Not Failing under Fail-Stop Memory Consistency. ASPLOS (2020)
Kaan Genç, Jake Roemer, Yufan Xu, Michael D. Bond
Dependence-Aware, Unbounded Sound Predictive Race Detection. CoRR (2019)
Swarnendu Biswas, Rui Zhang, Michael D. Bond, Brandon Lucia
Rethinking Support for Region Conflict Exceptions. IPDPS (2019)
Jake Roemer, Michael D. Bond
Online Set-Based Dynamic Analysis for Sound Predictive Race Detection. CoRR (2019)
Jake Roemer, Kaan Genç, Michael D. Bond
Practical Predictive Race Detection. CoRR (2019)
Kaan Genç, Jake Roemer, Yufan Xu, Michael D. Bond
Dependence-aware, unbounded sound predictive race detection. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Jake Roemer, Kaan Genç, Michael D. Bond
High-coverage, unbounded sound predictive race detection. PLDI (2018)
Swarnendu Biswas, Man Cao, Minjia Zhang, Michael D. Bond, Benjamin P. Wood
Lightweight data race detection for production runs. CC (2017)
Benjamin P. Wood, Man Cao, Michael D. Bond, Dan Grossman
Instrumentation bias for dynamic data race detection. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Man Cao, Minjia Zhang, Aritra Sengupta, Swarnendu Biswas, Michael D. Bond
Hybridizing and Relaxing Dependence Tracking for Efficient Parallel Runtime Support. ACM Trans. Parallel Comput. 4 (2) (2017)
Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni
Legato: end-to-end bounded region serializability using commodity hardware transactional memory. CGO (2017)
Minjia Zhang, Swarnendu Biswas, Michael D. Bond
POSTER: On the Problem of Consistency Exceptions in the Context of Strong Memory Models. PPOPP (2017)
Minjia Zhang, Swarnendu Biswas, Michael D. Bond
Avoiding consistency exceptions under strong memory models. ISMM (2017)
Man Cao, Minjia Zhang, Aritra Sengupta, Michael D. Bond
Drinking from both glasses: combining pessimistic and optimistic tracking of cross-thread dependences. PPOPP (2016)
Minjia Zhang, Swarnendu Biswas, Michael D. Bond
Relaxed dependence tracking for parallel runtime support. CC (2016)
Man Cao, Jake Roemer, Aritra Sengupta, Michael D. Bond
Prescient memory: exposing weak memory model behavior by looking into the future. ISMM (2016)
Michael D. Bond, Milind Kulkarni, Man Cao, Meisam Fathi Salmi, Jipeng Huang
Efficient Deterministic Replay of Multithreaded Executions in a Managed Language Virtual Machine. PPPJ (2015)
Minjia Zhang, Jipeng Huang, Man Cao, Michael D. Bond
Low-overhead software transactional memory with progress guarantees and strong semantics. PPOPP (2015)
Aritra Sengupta, Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Milind Kulkarni
Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability. ASPLOS (2015)
Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni
Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization. PPPJ (2015)
Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Brandon Lucia
Valor: efficient, software-only region conflict exceptions. OOPSLA (2015)
Donald E. Porter, Michael D. Bond, Indrajit Roy, Kathryn S. McKinley, Emmett Witchel
Practical Fine-Grained Information Flow Control Using Laminar. ACM Trans. Program. Lang. Syst. 37 (1) (2014)
Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, Michael D. Bond
DoubleChecker: efficient sound and precise atomicity checking. PLDI (2014)
Jipeng Huang, Michael D. Bond
Efficient context sensitivity for dynamic analyses via calling context uptrees and customized memory management. OOPSLA (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. OOPSLA (2013)
Varun Srivastava, Michael D. Bond, Kathryn S. McKinley, Vitaly Shmatikov
A security policy oracle: detecting security holes using multiple API implementations. PLDI (2011)
Guoqing Xu, Michael D. Bond, Feng Qin, Atanas Rountev
LeakChaser: helping programmers narrow down causes of memory leaks. PLDI (2011)
Michael D. Bond, Varun Srivastava, Kathryn S. McKinley, Vitaly Shmatikov
Efficient, context-sensitive detection of real-world semantic attacks. PLAS (2010)
Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley
PACER: proportional detection of data races. PLDI (2010)
Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer
Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses. PLDI (2010)
Michael D. Bond, Kathryn S. McKinley
Leak pruning. ASPLOS (2009)
Indrajit Roy, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, Emmett Witchel
Laminar: practical fine-grained decentralized information flow control. PLDI (2009)
Michael D. Bond, Kathryn S. McKinley
Tolerating memory leaks. OOPSLA (2008)
Michael D. Bond, Kathryn S. McKinley
Probabilistic calling context. OOPSLA (2007)
Byeongcheol Lee, Kevin Resnick, Michael D. Bond, Kathryn S. McKinley
Correcting the Dynamic Call Graph Using Control-Flow Constraints. CC (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. OOPSLA (2007)
Michael D. Bond, Kathryn S. McKinley
Bell: bit-encoding online memory leak detection. ASPLOS (2006)
Michael D. Bond, Kathryn S. McKinley
Continuous Path and Edge Profiling. MICRO (2005)
Michael D. Bond, Kathryn S. McKinley
Practical Path Profiling for Dynamic Optimizers. CGO (2005)
Rahul Joshi, Michael D. Bond, Craig B. Zilles
Targeted Path Profiling: Lower Overhead Path Profiling for Staged Dynamic Optimization Systems. CGO (2004)