Joey Dodds

According to our database, Joey Dodds authored at least 12 papers between 2015 and 2026.

Collaborative distances:

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

2026

EventADL: Open-Box Anomaly Detection and Localization Framework for Events in Cloud-Based Service Systems.

Luan Pham, Victor Nicolet, Joey Dodds, Hui Guan, Daniel Kroening

CoRR, May, 2026

2025

Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents.

Zhenning Yang, Hui Guan, Victor Nicolet, Brandon Paulsen, Joey Dodds, Daniel Kroening, Ang Chen

CoRR, October, 2025

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (artifact).

Linard Arquint, Samarth Kishor, Jason R. Koenig, Joey Dodds, Daniel Kroening, Peter Müller

Dataset, October, 2025

MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair.

Ali Reza Ibrahimzada, Brandon Paulsen, Reyhaneh Jabbarvand, Joey Dodds, Daniel Kroening

CoRR, September, 2025

Hypergraph-Guided Regex Filter Synthesis for Event-Based Anomaly Detection.

Margarida Ferreira, Victor Nicolet, Luan Pham, Joey Dodds, Daniel Kroening, Inês Lynce, Ruben Martins

CoRR, September, 2025

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (artifact).

Linard Arquint, Samarth Kishor, Jason R. Koenig, Joey Dodds, Daniel Kroening, Peter Müller

Dataset, September, 2025

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version).

Linard Arquint, Samarth Kishor, Jason R. Koenig, Joey Dodds, Daniel Kroening, Peter Müller

CoRR, July, 2025

Program Synthesis from Partial Traces.

Margarida Ferreira, Victor Nicolet, Joey Dodds, Daniel Kroening

Proc. ACM Program. Lang., 2025

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