SynGuar: guaranteeing generalization in programming by example. - Bo Wang 146; Teodora Baluta; Aashish Kolluri; Prateek Saxena (ESEC/SIGSOFT FSE, 2021)

SynGuar: Guaranteeing Generalization in Programming by Example (Artifact). - Bo Wang 146; Teodora Baluta; Aashish Kolluri; Prateek Saxena (Zenodo, 2021)

TransMap: Pinpointing Mistakes in Neural Code Translation. - Bo Wang 146; Ruishi Li; Mingkai Li; Prateek Saxena (ESEC/SIGSOFT FSE, 2023)

User-customizable Transpilation of Scripting Languages. - Bo Wang 146; Aashish Kullori; Ivica Nikolic; Teodora Baluta; Prateek Saxena (CoRR, 2023)

DuoGlot: User-Customizable Transpilation of Scripting Languages (Artifact). - Bo Wang 146; Aashish Kolluri; Ivica Nikolic; Teodora Baluta; Prateek Saxena (Zenodo, 2023)

User-Customizable Transpilation of Scripting Languages. - Bo Wang 146; Aashish Kolluri; Ivica Nikolic; Teodora Baluta; Prateek Saxena (Proc. ACM Program. Lang., 2023)

TransMap: Pinpointing Mistakes in Neural Code Translation. - Bo Wang 146; Ruishi Li; Mingkai Li; Prateek Saxena (Zenodo, 2023)

TransMap: Pinpointing Mistakes in Neural Code Translation (Artifact). - Bo Wang 146; Ruishi Li; Mingkai Li; Prateek Saxena (Zenodo, 2023)

Program Skeletons for Automated Program Translation. - Bo Wang 146; Tianyu Li; Ruishi Li; Umang Mathur 001; Prateek Saxena (Proc. ACM Program. Lang., 2025)