TY - RPRT TI - Program Skeletons for Automated Program Translation AU - Bo Wang AU - Tianyu Li AU - Ruishi Li AU - Umang Mathur AU - Prateek Saxena PY - 2025 DO - 10.1145/3729287 UR - https://arxiv.org/abs/2504.07483 ID - 2504.07483 ER -