7 citations · 13 across the 15 of their papers we have counts for
4 papers · 1 filter
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…
Quantifying the benefits of code hints for refactoring deprecated Java APIs
Cristina David, Pascal Kesseli, Daniel Kroening +1
When done manually, refactoring legacy code in order to eliminate uses of deprecated APIs is an error-prone and time-consuming process. In this paper, we investigate to which degre…
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…
Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
Hasan Ferit Eniser, Hanliang Zhang, Cristina David +5
Large language models (LLMs) show promise in code translation - the task of translating code written in one programming language to another language - due to their ability to write…