Joey Dodds
PhD Student, Princeton University
Address
Dept. of Computer Science
Princeton University
35 Olden Street
Princeton, NJ 08540
Princeton University
35 Olden Street
Princeton, NJ 08540
Email
jdodds@cs.princeton.edu
Hi, I'm Joey Dodds and this is my personal webpage.
I'm currently working Andrew Appel,
Lennart Beringer, and
Gordon Stewart on the
Verified Software Toolchain project.
I previously worked on proving information flow analyses in Coq in cooperation with the group from Princeton as well as John Hatcliff, Torben Amtoft, and Zhi Zhang from Kansas State.
Papers and slides :
Mostly Sound Type System Improves a Foundational Program Verifier
In CPP 2013
(paper)
A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow
In POST 2012
(paper | Conference slides | generals slides | BibTeX).
I previously worked on proving information flow analyses in Coq in cooperation with the group from Princeton as well as John Hatcliff, Torben Amtoft, and Zhi Zhang from Kansas State.
Papers and slides :
Mostly Sound Type System Improves a Foundational Program Verifier
In CPP 2013
(paper)
A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow
In POST 2012
(paper | Conference slides | generals slides | BibTeX).