3 citations · 3 across the 7 of their papers we have counts for
3 papers · 1 filter
Mostly Automatic Translation of Language Interpreters from C to Safe Rust
Bo Wang, Brandon Paulsen, Joey Dodds +3
Translating C programs to safe Rust is challenging owing to significant differences in typing constraints, ownership, and borrowing rules. Interpreter programs are particularly imp…
Scalable, Validated Code Translation of Entire Projects using Large Language Models
Hanliang Zhang, Cristina David, Meng Wang +2
Large language models (LLMs) show promise in code translation due to their ability to generate idiomatic code. However, a significant limitation when using LLMs for code translatio…
VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
Aidan Z. H. Yang, Yoshiki Takashima, Brandon Paulsen +2
Rust is a programming language that combines memory safety and low-level control, providing C-like performance while guaranteeing the absence of undefined behaviors by default. Rus…