Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
Dockerless: Environment-Free Program Verifier for Coding Agents
Wenhao Zeng, Yuling Shi, Xiaodong Gu +10
Program verifiers play a central role in training coding agents, including selecting trajectories for supervised fine-tuning (SFT) and providing rewards for reinforcement learning…
cs.SE2025
EvoC2Rust: A Skeleton-guided Framework for Project-Level C-to-Rust Translation
Chaofan Wang, Tingrui Yu, Beijun Shen +6
Translating legacy C codebases to Rust is increasingly demanded for building safety-critical systems. While various approaches have emerged for this task, they face inherent trade-…
cs.SE2025
APIRAT: Integrating Multi-source API Knowledge for Enhanced Code Translation with LLMs
Chaofan Wang, Guanjie Qiu, Xiaodong Gu +1
Code translation is an essential task in software migration, multilingual development, and system refactoring. Recent advancements in large language models (LLMs) have demonstrated…