Mike Dodds
2 indexed papers
Recent (6 mo)
2With code
0Influential cites
0Benchmarked
0Publications per year
226
Top categories
Prog. Lang.×1Software Eng.×1AI×1
Frequent co-authors
Research Timeline
2026
FVSpec: Real-World Property-Based Tests as Lean Challenges
The paper introduces FVSpec, a large-scale benchmark that translates thousands of real-world Python property-based tests into formal Lean 4 specifications to evaluate AI models for formal software verification.
Trustworthy Runtime Verification via Bisimulation (Extended Experience Report)
This paper presents CopilotVerifier, a tool that generates proofs of correctness for the compiled output of the Copilot runtime verification framework.
Highlighted terms show continued research focus across papers
Papers
cs.PLTheoreticalRecentJul 1, 2026
Trustworthy Runtime Verification via Bisimulation (Extended Experience Report)
Ryan G. Scott, Ivan Perez, Alwyn E. Goodloe, Mike Dodds +1 more
This paper presents CopilotVerifier, a tool that generates proofs of correctness for the compiled output of the Copilot runtime verification framework.
View →
cs.SEcs.AIRecentMay 31, 2026