Login / Signup
Joey Dodds
Publication Activity (10 Years)
Years Active: 2018-2024
Publications (10 Years): 3
Top Topics
Temporal Logic
Formal Verification
Study Proposes
Bounded Model Checking
Top Venues
CoRR
CAV (2)
CAV (1)
</>
Publications
</>
Hasan Ferit Eniser
,
Hanliang Zhang
,
Cristina David
,
Meng Wang
,
Maria Christakis
,
Brandon Paulsen
,
Joey Dodds
,
Daniel Kroening
Towards Translating Real-World Code with LLMs: A Study of Translating to Rust.
CoRR
(2024)
Brett Boston
,
Samuel Breese
,
Joey Dodds
,
Mike Dodds
,
Brian Huffman
,
Adam Petcher
,
Andrei Stefanescu
Verified Cryptographic Code for Everybody.
CAV (1)
(2021)
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
Continuous Formal Verification of Amazon s2n.
CAV (2)
(2018)