Mike Dodds

Identifiers

• name variant Mike Dodds 0.60 · backfill

Papers (6)

1. Trustworthy Runtime Verification via Bisimulation (Extended Experience Report) cs.PL · 2026 · author #4
2. CNnotator: LLM-Guided Memory Safety Annotation Synthesis cs.PL · 2026 · author #2
3. FVSpec: Real-World Property-Based Tests as Lean Challenges cs.SE · 2026 · author #4
4. Compositional Verification of Compiler Optimisations on Relaxed Memory cs.PL · 2018 · author #1
5. Proving Linearizability Using Partial Orders (Extended Version) cs.PL · 2017 · author #2
6. Refining Existential Properties in Separation Logic Analyses cs.LO · 2015 · author #2

Mentions

• 2607.01363 #4 · arxiv_oai · confidence 0.70 Mike Dodds
• 2606.21822 #2 · arxiv_oai · confidence 0.70 Mike Dodds
• 1504.08309 #2 · backfill · confidence 0.70 Mike Dodds
• 2606.01008 #4 · arxiv_oai · confidence 0.70 Mike Dodds

Frequent Coauthors

• Alexey Gotsman 2 shared papers
• Alwyn E. Goodloe 1 shared papers
• Artem Khyzha 1 shared papers
• Hazel Shackleton 1 shared papers
• Ivan Perez 1 shared papers
• Mark Batty 1 shared papers
• Matko Botin\v{c}an 1 shared papers
• Matthew Parkinson 1 shared papers
• Max von Hippel 1 shared papers
• Quinn Dougherty 1 shared papers
• Robert Dockins 1 shared papers
• Ryan G. Scott 1 shared papers
• Stephen Magill 1 shared papers
• Twain Byrnes 1 shared papers