Joey Dodds

According to our database, Joey Dodds authored at least 4 papers between 2015 and 2024.

Collaborative distances:

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

2024

Towards Translating Real-World Code with LLMs: A Study of Translating to Rust.

Hasan Ferit Eniser, Hanliang Zhang, Cristina David, Meng Wang, Maria Christakis, Brandon Paulsen, Joey Dodds, Daniel Kroening

CoRR, 2024

2021

Verified Cryptographic Code for Everybody.

Brett Boston, Samuel Breese, Joey Dodds, Mike Dodds, Brian Huffman, Adam Petcher, Andrei Stefanescu

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2018

Continuous Formal Verification of Amazon s2n.

Andrey Chudnov, Nathan Collins, Byron Cook, Joey Dodds, Brian Huffman, Colm MacCárthaigh, Stephen Magill, Eric Mertens, Eric Mullen, Serdar Tasiran, Aaron Tomb, Eddy Westbrook

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2015

Computation Improves Interactive Symbolic Execution

Joey Dodds

PhD thesis, 2015