3 papers
cs.SE2026
ReCodeAgent: A Multi-agent Workflow for Language-Agnostic Translation and Validation of Large-Scale Repositories
Ali Reza Ibrahimzada, Brandon Paulsen, Daniel Kroening +1
Most repository-level code translation and validation techniques have been evaluated on a single source-target programming language (PL) pair, owing to the complex engineering effo…
cs.SE2025
MockingBird: Context-aware Repository-level Code Translation with Isolated Validation
Kaiyao Ke, Ali Reza Ibrahimzada, Rangeet Pan +2
Despite advances in repository-level code translation, automated type resolution across differing type systems and translation validation (functional-equivalence checking) remain c…
cs.SE2025
MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair
Ali Reza Ibrahimzada, Brandon Paulsen, Reyhaneh Jabbarvand +2
Code translation transforms source code from one programming language (PL) to another. Validating the functional equivalence of translation and repairing, if necessary, are critica…