Michael D. Bond
Computer Science · The Ohio State University
Publications
128
Citations
3,137
Est. group size
~1
Recurring co-author estimate
Active years
58
Publishing since 1969
Michael D. Bond works on programming languages and systems research, focusing on making software safer and more efficient at the level of compilers, runtime systems, and memory management. His work includes tools for translating C code to the safer Rust language, detecting concurrency bugs (race conditions), improving garbage collection (automatic memory cleanup) and cache/memory systems in large-scale computing environments, and defending against hardware-level security side-channel attacks. Much of the research involves building practical software tools and evaluating them on real systems.
Publication output has declined from a peak of 10 in 2017 to roughly 1-3 per year in recent years, suggesting a slowing but still active and steady pace of output.
Generated by claude-sonnet-5 from public bibliographic data · Jul 20, 2026
- &inator: Correct, Precise C-to-Rust Interface Translation
arXiv (Cornell University) · 2026
- &inator: Correct, Precise C-to-Rust Interface Translation
arXiv (Cornell University) · 2026
- &inator: Correct, Precise C-to-Rust Interface Translation
Proceedings of the ACM on Programming Languages · 2026
- Carapace: Static–Dynamic Information Flow Control in Rust
Proceedings of the ACM on Programming Languages · 2025
- Cocoon: Static Information Flow Control in Rust
arXiv (Cornell University) · 2023
- Distilling the Real Cost of Production Garbage Collectors
2022
- Mako: a low-pause, high-throughput evacuating collector for memory-disaggregated datacenters
2022
- Cape: compiler-aided program transformation for HTM-based cache side-channel defense
2022
- Finding heterogeneous-unsafe configuration parameters in cloud systems
2021
- Understanding and utilizing hardware transactional memory capacity
2021
- Neat: Low-Complexity, Efficient On-Chip Cache Coherence
arXiv (Cornell University) · 2021
- Distilling the Real Cost of Production Garbage Collectors
arXiv (Cornell University) · 2021
- Economic Analysis of Dryland Wheat Tillage Practices in Box Elder County, Utah
Digital Commons - USU (Utah State University) · 2021
- Semeru: A memory-disaggregated managed runtime
2020
- Crafty: efficient, HTM-compatible persistent transactions
2020
- arXiv (Cornell University)×8
- Proceedings of the ACM on Programming Languages×6
- ACM SIGPLAN Notices×5
- Artifact Digital Object Group×2
- ACM Transactions on Parallel Computing×1
- Pedro Fonseca
Computer Science · Purdue University West Lafayette
- Changhee Jung
Computer Science · Purdue University West Lafayette
- Charitha Saumya
Computer Science · Purdue University West Lafayette
- Milind Kulkarni
Computer Science · Purdue University West Lafayette
- Shulei Xu
Computer Science · The Ohio State University
This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.
Last updated Jul 19, 2026.
Claim or correct this profile