Login / Signup
Josiah Dodds
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 2
Top Topics
Provably Correct
Visual Quality
Dynamic Logic
Learning Scheme
Top Venues
CoRR
J. Autom. Reason.
</>
Publications
</>
Aidan Z. H. Yang
,
Yoshiki Takashima
,
Brandon Paulsen
,
Josiah Dodds
,
Daniel Kroening
VERT: Verified Equivalent Rust Transpilation with Few-Shot Learning.
CoRR
(2024)
Qinxiang Cao
,
Lennart Beringer
,
Samuel Gruetter
,
Josiah Dodds
,
Andrew W. Appel
VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs.
J. Autom. Reason.
61 (1-4) (2018)
Josiah Dodds
,
Andrew W. Appel
Mostly Sound Type System Improves a Foundational Program Verifier.
CPP
(2013)
Torben Amtoft
,
Josiah Dodds
,
Zhi Zhang
,
Andrew W. Appel
,
Lennart Beringer
,
John Hatcliff
,
Xinming Ou
,
Andrew Cousino
A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow.
POST
(2012)