C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Josiah Dodds
Publication Activity (10 Years)
Years Active: 2012-2018
Publications (10 Years): 1
Top Topics
Multi Context Systems
Information Flows
Dynamic Logic
Theorem Prover
Top Venues
CPP
POST
J. Autom. Reason.
</>
Publications
</>
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)