Conference
VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models
| Title: | VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models |
|---|---|
| Authors: | Yang, Aidan Z.H., Takashima, Yoshiki, Paulsen, Brandon, Dodds, Josiah, Kroening, Daniel |
| Source: | 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2025 40th IEEE/ACM International Conference on. :1453-1463 Nov, 2025 |
| Relation: | 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 9798350357332 9798350357349 |
|---|---|
| ISSN: | 26431572 19384300 |
| DOI: | 10.1109/ASE63991.2025.00123 |