ResearchTrend.AI
Program Skeletons for Automated Program Translation
v1v2 (latest)

Program Skeletons for Automated Program Translation

Bo Wang
Tianyu Li
Ruishi Li
Umang Mathur
Prateek Saxena
ArXiv (abs)PDFHTMLGithub (370★)

Papers citing "Program Skeletons for Automated Program Translation"

4 / 4 papers shown
Title
Adversarial Agent Collaboration for C to Rust Translation
Adversarial Agent Collaboration for C to Rust Translation
Tianyu Li
Ruishi Li
Bo Wang
Brandon Paulsen
Umang Mathur
Prateek Saxena
52
0
0
04 Oct 2025
SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
Qian Cheng
Ruize Tang
Emilie Ma
Finn Hackett
Peiyang He
Yiming Su
Ivan Beschastnikh
Yu Huang
Xiaoxing Ma
Tianyin Xu
66
0
0
27 Sep 2025
MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair
MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair
Ali Reza Ibrahimzada
Brandon Paulsen
Reyhaneh Jabbarvand
Joey Dodds
Daniel Kroening
40
0
0
19 Sep 2025
Skeleton-Guided-Translation: A Benchmarking Framework for Code Repository Translation with Fine-Grained Quality Evaluation
Xing Zhang
Jiaheng Wen
Fangkai Yang
Pu Zhao
Yu Kang
...
Qingwei Lin
Yingnong Dang
Saravan Rajmohan
Dongmei Zhang
Qi Zhang
166
4
0
28 Jan 2025