Articles with public access mandates - Michael D. BondLearn more
Available somewhere: 24
Semeru: A {Memory-Disaggregated} managed runtime
C Wang, H Ma, S Liu, Y Li, Z Ruan, K Nguyen, MD Bond, R Netravali, ...
14th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2020
Mandates: US National Science Foundation, US Department of Defense
High-coverage, unbounded sound predictive race detection
J Roemer, K Genç, MD Bond
ACM SIGPLAN Notices 53 (4), 374-389, 2018
Mandates: US National Science Foundation
Crafty: Efficient, HTM-compatible persistent transactions
K Genç, MD Bond, GH Xu
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
Mandates: US National Science Foundation, US Department of Defense
Smarttrack: efficient predictive race detection
J Roemer, K Genç, MD Bond
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
Mandates: US National Science Foundation
Lightweight data race detection for production runs
S Biswas, M Cao, M Zhang, MD Bond, BP Wood
Proceedings of the 26th International Conference on Compiler Construction, 11-21, 2017
Mandates: US National Science Foundation
Practical fine-grained information flow control using laminar
DE Porter, MD Bond, I Roy, KS McKinley, E Witchel
ACM Transactions on Programming Languages and Systems (TOPLAS) 37 (1), 1-51, 2014
Mandates: US National Institutes of Health
Mako: A low-pause, high-throughput evacuating collector for memory-disaggregated datacenters
H Ma, S Liu, C Wang, Y Qiao, MD Bond, SM Blackburn, M Kim, GH Xu
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
Mandates: US National Science Foundation, US Department of Defense, Australian …
Distilling the real cost of production garbage collectors
Z Cai, SM Blackburn, MD Bond, M Maas
2022 IEEE International Symposium on Performance Analysis of Systems and …, 2022
Mandates: US National Science Foundation, Australian Research Council
Dependence-aware, unbounded sound predictive race detection
K Genç, J Roemer, Y Xu, MD Bond
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019
Mandates: US National Science Foundation
Prescient memory: exposing weak memory model behavior by looking into the future
M Cao, J Roemer, A Sengupta, MD Bond
ACM SIGPLAN Notices 51 (11), 99-110, 2016
Mandates: US National Science Foundation
Instrumentation bias for dynamic data race detection
BP Wood, M Cao, MD Bond, D Grossman
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-31, 2017
Mandates: US National Science Foundation
Developer’s Responsibility or Database’s Responsibility? Rethinking Concurrency Control in Databases
C Cheng, M Han, N Xu, S Blanas, MD Bond, Y Wang
13th Annual Conference on Innovative Data Systems Research (CIDR’23 …, 2023
Mandates: US National Science Foundation
Understanding and utilizing hardware transactional memory capacity
Z Cai, SM Blackburn, MD Bond
Proceedings of the 2021 ACM SIGPLAN International Symposium on Memory …, 2021
Mandates: US National Science Foundation, Australian Research Council
Avoiding consistency exceptions under strong memory models
M Zhang, S Biswas, MD Bond
ACM SIGPLAN Notices 52 (9), 115-127, 2017
Mandates: US National Science Foundation
Cape: compiler-aided program transformation for htm-based cache side-channel defense
R Zhang, MD Bond, Y Zhang
Proceedings of the 31st ACM SIGPLAN International Conference on Compiler …, 2022
Mandates: US National Science Foundation
Finding heterogeneous-unsafe configuration parameters in cloud systems
S Ma, F Zhou, MD Bond, Y Wang
Proceedings of the Sixteenth European Conference on Computer Systems, 410-425, 2021
Mandates: US National Science Foundation
Rethinking support for region conflict exceptions
S Biswas, R Zhang, MD Bond, B Lucia
2019 IEEE International Parallel and Distributed Processing Symposium (IPDPS …, 2019
Mandates: US National Science Foundation
Relaxed dependence tracking for parallel runtime support
M Zhang, S Biswas, MD Bond
Proceedings of the 25th International Conference on Compiler Construction, 45-55, 2016
Mandates: US National Science Foundation
An online dynamic analysis for sound predictive data race detection
J Roemer, MD Bond
Ohio State University, Columbus, OH, USA, Tech. Rep. OSU-CISRC-11/16-TR05, 2016
Mandates: US National Science Foundation
Legato: End-to-end bounded region serializability using commodity hardware transactional memory
A Sengupta, M Cao, MD Bond, M Kulkarni
2017 IEEE/ACM International Symposium on Code Generation and Optimization …, 2017
Mandates: US National Science Foundation
Publication and funding information is determined automatically by a computer program