Agentic C to Rust translation

“Agentic C to Rust translation” by Benedikt Schesch and Michael D. Ernst. IEEE Security & Privacy, September/October 2026.

Abstract

The Rust programming language provides stronger guarantees about memory safety than C. Therefore, translating C to Rust is one way to reduce security vulnerabilities. One common translation strategy uses LLM queries. We present an alternative agentic approach that gives an LLM freedom and guardrails, and a publicly available implementation named ACTOR.

BibTeX entry:

@article{ScheschE2026AgenticCtoRust,
   author = {Benedikt Schesch and Michael D. Ernst},
   title = {Agentic {C} to {Rust} translation},
   journal = {IEEE Security \& Privacy},
   month = {September/October},
   year = {2026}
}

(This webpage was created with bibtex2web.)

Back to Michael Ernst's publications.