Scholar

Michael D. Bond

Google Scholar ID: zoBZ_FMAAAAJ

Ohio State University

Programming languagessoftware systems

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

2,481

H-index

26

i10-index

38

Publications

20

Co-authors

17

list available

Publications

2 items

Augur: Predicting View Serializability Violations in Relational Data Store Applications

2026

Cited

0

&inator: Correct, Precise C-to-Rust Interface Translation

2026

Cited

0

Co-authors

7 total

University of Illinois at Urbana-Champagin

Aritra Sengupta

Automated Reasoning Group, AWS.

Milind Kulkarni

Associate Professor of Electrical and Computer Engineering, Purdue University

Professor of Computer Science, University of California, Los Angeles

Carnegie Mellon University

Donald E. Porter

Professor of Computer Science, University of North Carolina at Chapel Hill

Professor of Computer Science, University of Illinois at Urbana-Champaign