@inproceedings{wang2025programskele,
 author = {Bo Wang and Tianyu Li and Ruishi Li and Umang Mathur and Prateek Saxena},
 booktitle = {PLDI 2025},
 title = {Program Skeletons for Automated Program Translation},
 url = {https://arxiv.org/abs/2504.07483},
 year = {2025}
}