| Title: | VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models |
|---|---|
| Links: | |
| Authors: | Aidan Z.H. Yang |
| Yoshiki Takashima | |
| Brandon Paulsen | |
| Joey Dodds | |
| Daniel Kroening EMail | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{ytkpdk2025,
AUTHOR = { Yang, Aidan Z.H.
and Takashima, Yoshiki
and Paulsen, Brandon
and Dodds, Joey
and Kroening, Daniel },
TITLE = { {VERT}: Polyglot Verified Equivalent Rust Transpilation with Large Language Models },
BOOKTITLE = { Automated Software Engineering (ASE) },
NOTE = { To appear. },
YEAR = { 2025 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.