Michael D. Bond

According to our database, Michael D. Bond authored at least 52 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Cocoon: Static Information Flow Control in Rust.

Ada Lamba, Max Taylor, Vincent Beardsley, Jacob Bambeck, Michael D. Bond, Zhiqiang Lin

Proc. ACM Program. Lang., 2024

IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications.

Chujun Geng, Spyros Blanas, Michael D. Bond, Yang Wang

Proc. ACM Program. Lang., 2024

2023

Cocoon: Static Information Flow Control in Rust.

Ada Barach, Maxwell Taylor, Vincent Beardsley, Jacob Bambeck, Michael D. Bond, Zhiqiang Lin

CoRR, 2023

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

Proceedings of the 13th Conference on Innovative Data Systems Research, 2023

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

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Distilling the Real Cost of Production Garbage Collectors.

Zixian Cai, Stephen M. Blackburn, Michael D. Bond, Martin Maas

Proceedings of the International IEEE Symposium on Performance Analysis of Systems and Software, 2022

Cape: compiler-aided program transformation for HTM-based cache side-channel defense.

Rui Zhang, Michael D. Bond, Yinqian Zhang

Proceedings of the CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction, Seoul, South Korea, April 2, 2022

2021

Neat: Low-Complexity, Efficient On-Chip Cache Coherence.

Rui Zhang, Swarnendu Biswas, Vignesh Balaji, Michael D. Bond, Brandon Lucia

CoRR, 2021

Understanding and utilizing hardware transactional memory capacity.

Zixian Cai, Stephen M. Blackburn, Michael D. Bond

Proceedings of the ISMM '21: 2021 ACM SIGPLAN International Symposium on Memory Management, 2021

Finding heterogeneous-unsafe configuration parameters in cloud systems.

Sixiang Ma, Fang Zhou, Michael D. Bond, Yang Wang

Proceedings of the EuroSys '21: Sixteenth European Conference on Computer Systems, 2021

2020

SmartTrack: efficient predictive race detection.

Jake Roemer, Kaan Genç, Michael D. Bond

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Crafty: efficient, HTM-compatible persistent transactions.

Kaan Genç, Michael D. Bond, Guoqing Harry Xu

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 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, Guoqing Harry Xu

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Peacenik: Architecture Support for Not Failing under Fail-Stop Memory Consistency.

Rui Zhang, Swarnendu Biswas, Vignesh Balaji, Michael D. Bond, Brandon Lucia

Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

2019

Dependence-aware, unbounded sound predictive race detection.

Kaan Genç, Jake Roemer, Yufan Xu, Michael D. Bond

Proc. ACM Program. Lang., 2019

Online Set-Based Dynamic Analysis for Sound Predictive Race Detection.

Jake Roemer, Michael D. Bond

CoRR, 2019

Practical Predictive Race Detection.

Jake Roemer, Kaan Genç, Michael D. Bond

CoRR, 2019

Rethinking Support for Region Conflict Exceptions.

Swarnendu Biswas, Rui Zhang, Michael D. Bond, Brandon Lucia

Proceedings of the 2019 IEEE International Parallel and Distributed Processing Symposium, 2019

2018

High-coverage, unbounded sound predictive race detection.

Jake Roemer, Kaan Genç, Michael D. Bond

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

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

Instrumentation bias for dynamic data race detection.

Benjamin P. Wood, Man Cao, Michael D. Bond, Dan Grossman

Proc. ACM Program. Lang., 2017

POSTER: On the Problem of Consistency Exceptions in the Context of Strong Memory Models.

Minjia Zhang, Swarnendu Biswas, Michael D. Bond

Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017

Avoiding consistency exceptions under strong memory models.

Minjia Zhang, Swarnendu Biswas, Michael D. Bond

Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management, 2017

Legato: end-to-end bounded region serializability using commodity hardware transactional memory.

Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni

Proceedings of the 2017 International Symposium on Code Generation and Optimization, 2017

Lightweight data race detection for production runs.

Swarnendu Biswas, Man Cao, Minjia Zhang, Michael D. Bond, Benjamin P. Wood

Proceedings of the 26th International Conference on Compiler Construction, 2017

2016

Drinking from both glasses: combining pessimistic and optimistic tracking of cross-thread dependences.

Man Cao, Minjia Zhang, Aritra Sengupta, Michael D. Bond

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

Prescient memory: exposing weak memory model behavior by looking into the future.

Man Cao, Jake Roemer, Aritra Sengupta, Michael D. Bond

Proceedings of the 2016 ACM SIGPLAN International Symposium on Memory Management, Santa Barbara, CA, USA, June 14, 2016

Relaxed dependence tracking for parallel runtime support.

Minjia Zhang, Swarnendu Biswas, Michael D. Bond

Proceedings of the 25th International Conference on Compiler Construction, 2016

2015

Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization.

Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni

Proceedings of the Principles and Practices of Programming on The Java Platform, 2015

Efficient Deterministic Replay of Multithreaded Executions in a Managed Language Virtual Machine.

Michael D. Bond, Milind Kulkarni, Man Cao, Meisam Fathi Salmi, Jipeng Huang

Proceedings of the Principles and Practices of Programming on The Java Platform, 2015

Low-overhead software transactional memory with progress guarantees and strong semantics.

Minjia Zhang, Jipeng Huang, Man Cao, Michael D. Bond

Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015

Valor: efficient, software-only region conflict exceptions.

Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Brandon Lucia

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability.

Aritra Sengupta, Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Milind Kulkarni

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

Practical Fine-Grained Information Flow Control Using Laminar.

Donald E. Porter, Michael D. Bond, Indrajit Roy, Kathryn S. McKinley, Emmett Witchel

ACM Trans. Program. Lang. Syst., 2014

DoubleChecker: efficient sound and precise atomicity checking.

Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, Michael D. Bond

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

Efficient context sensitivity for dynamic analyses via calling context uptrees and customized memory management.

Jipeng Huang, Michael D. Bond

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 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, Jipeng Huang

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2011

LeakChaser: helping programmers narrow down causes of memory leaks.

Guoqing Xu, Michael D. Bond, Feng Qin, Atanas Rountev

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

A security policy oracle: detecting security holes using multiple API implementations.

Varun Srivastava, Michael D. Bond, Kathryn S. McKinley, Vitaly Shmatikov

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010

Efficient, context-sensitive detection of real-world semantic attacks.

Michael D. Bond, Varun Srivastava, Kathryn S. McKinley, Vitaly Shmatikov

Proceedings of the 2010 Workshop on Programming Languages and Analysis for Security, 2010

PACER: proportional detection of data races.

Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses.

Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

2009

Laminar: practical fine-grained decentralized information flow control.

Indrajit Roy, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, Emmett Witchel

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Leak pruning.

Michael D. Bond, Kathryn S. McKinley

Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, 2009

2008

Tolerating memory leaks.

Michael D. Bond, Kathryn S. McKinley

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

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

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Probabilistic calling context.

Michael D. Bond, Kathryn S. McKinley

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Correcting the Dynamic Call Graph Using Control-Flow Constraints.

Byeongcheol Lee, Kevin Resnick, Michael D. Bond, Kathryn S. McKinley

Proceedings of the Compiler Construction, 16th International Conference, 2007

2006

Bell: bit-encoding online memory leak detection.

Michael D. Bond, Kathryn S. McKinley

Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006

2005

Continuous Path and Edge Profiling.

Michael D. Bond, Kathryn S. McKinley

Proceedings of the 38th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-38 2005), 2005

Practical Path Profiling for Dynamic Optimizers.

Michael D. Bond, Kathryn S. McKinley

Proceedings of the 3nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2005), 2005

2004

Targeted Path Profiling: Lower Overhead Path Profiling for Staged Dynamic Optimization Systems.

Rahul Joshi, Michael D. Bond, Craig B. Zilles

Proceedings of the 2nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2004), 2004