Scholar
Mike Dodds
Google Scholar ID: C28jHgEAAAAJ
Galois Inc.
Concurrency
Verification
Semantics
Separation Logic
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,254
H-index
18
i10-index
25
Publications
20
Co-authors
0
Publications
4 items
Trustworthy Runtime Verification via Bisimulation (Extended Experience Report)
2026
Cited
0
CNnotator: LLM-Guided Memory Safety Annotation Synthesis
2026
Cited
0
FVSpec: Real-World Property-Based Tests as Lean Challenges
2026
Cited
0
Macaw: A Machine Code Toolbox for the Busy Binary Analyst
arXiv.org · 2024
Cited
0
