| Title: | Scalable, Validated Code Translation of Entire Projects using Large Language Models |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Hanliang Zhang |
| Cristina David | |
| Meng Wang | |
| Brandon Paulsen | |
| Daniel Kroening EMail | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{zdwpk2025,
AUTHOR = { Zhang, Hanliang
and David, Cristina
and Wang, Meng
and Paulsen, Brandon
and Kroening, Daniel },
TITLE = { Scalable, Validated Code Translation of Entire Projects using Large Language Models },
BOOKTITLE = { Programming Language Design and Implementation (PLDI) },
YEAR = { 2025 },
PUBLISHER = { ACM },
PAGES = { 1616--1641 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.