Josiah Dodds

According to our database, Josiah Dodds authored at least 3 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs.

Qinxiang Cao, Lennart Beringer, Samuel Gruetter, Josiah Dodds, Andrew W. Appel

J. Autom. Reason., 2018

2013

Mostly Sound Type System Improves a Foundational Program Verifier.

Josiah Dodds, Andrew W. Appel

Proceedings of the Certified Programs and Proofs - Third International Conference, 2013

2012

A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow.

Torben Amtoft, Josiah Dodds, Zhi Zhang, Andrew W. Appel, Lennart Beringer, John Hatcliff, Xinming Ou, Andrew Cousino

Proceedings of the Principles of Security and Trust - First International Conference, 2012