Michael D. Bond

Orcid: 0000-0002-8971-4944

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Cocoon: Static Information Flow Control in Rust.
Proc. ACM Program. Lang., 2024

IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications.
Proc. ACM Program. Lang., 2024

2023
Cocoon: Static Information Flow Control in Rust.
CoRR, 2023

Developer's Responsibility or Database's Responsibility? Rethinking Concurrency Control in Databases.
Proceedings of the 13th Conference on Innovative Data Systems Research, 2023

2022
Mako: a low-pause, high-throughput evacuating collector for memory-disaggregated datacenters.
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.
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.
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.
CoRR, 2021

Understanding and utilizing hardware transactional memory capacity.
Proceedings of the ISMM '21: 2021 ACM SIGPLAN International Symposium on Memory Management, 2021

Finding heterogeneous-unsafe configuration parameters in cloud systems.
Proceedings of the EuroSys '21: Sixteenth European Conference on Computer Systems, 2021

2020
SmartTrack: efficient predictive race detection.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Crafty: efficient, HTM-compatible persistent transactions.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Semeru: A Memory-Disaggregated Managed Runtime.
Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Peacenik: Architecture Support for Not Failing under Fail-Stop Memory Consistency.
Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

2019
Dependence-aware, unbounded sound predictive race detection.
Proc. ACM Program. Lang., 2019

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

Practical Predictive Race Detection.
CoRR, 2019

Rethinking Support for Region Conflict Exceptions.
Proceedings of the 2019 IEEE International Parallel and Distributed Processing Symposium, 2019

2018
High-coverage, unbounded sound predictive race detection.
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.
ACM Trans. Parallel Comput., 2017

Instrumentation bias for dynamic data race detection.
Proc. ACM Program. Lang., 2017

POSTER: On the Problem of Consistency Exceptions in the Context of Strong Memory Models.
Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017

Avoiding consistency exceptions under strong memory models.
Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management, 2017

Legato: end-to-end bounded region serializability using commodity hardware transactional memory.
Proceedings of the 2017 International Symposium on Code Generation and Optimization, 2017

Lightweight data race detection for production runs.
Proceedings of the 26th International Conference on Compiler Construction, 2017

2016
Drinking from both glasses: combining pessimistic and optimistic tracking of cross-thread dependences.
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.
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.
Proceedings of the 25th International Conference on Compiler Construction, 2016

2015
Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization.
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.
Proceedings of the Principles and Practices of Programming on The Java Platform, 2015

Low-overhead software transactional memory with progress guarantees and strong semantics.
Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015

Valor: efficient, software-only region conflict exceptions.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability.
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.
ACM Trans. Program. Lang. Syst., 2014

DoubleChecker: efficient sound and precise atomicity checking.
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.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

OCTET: capturing and controlling cross-thread dependences efficiently.
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.
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.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010
Efficient, context-sensitive detection of real-world semantic attacks.
Proceedings of the 2010 Workshop on Programming Languages and Analysis for Security, 2010

PACER: proportional detection of data races.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

2009
Laminar: practical fine-grained decentralized information flow control.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

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

2008
Tolerating memory leaks.
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.
Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

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

Correcting the Dynamic Call Graph Using Control-Flow Constraints.
Proceedings of the Compiler Construction, 16th International Conference, 2007

2006
Bell: bit-encoding online memory leak detection.
Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006

2005
Continuous Path and Edge Profiling.
Proceedings of the 38th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-38 2005), 2005

Practical Path Profiling for Dynamic Optimizers.
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.
Proceedings of the 2nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2004), 2004


  Loading...