Josiah Dodds

According to our database, Josiah Dodds authored at least 5 papers between 2012 and 2025.

Collaborative distances:

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

2025

VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models.

Aidan Z. H. Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, Daniel Kroening

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

2024

VERT: Verified Equivalent Rust Transpilation with Few-Shot Learning.

Aidan Z. H. Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, Daniel Kroening

CoRR, 2024

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