publications

2026

1. Preprint

   

   Mostly Automatic Translation of Language Interpreters from C to Safe Rust

   Bo Wang, Brandon Paulsen, Joey Dodds, Daniel Kroening, Umang Mathur, and Prateek Saxena

   arXiv preprint arXiv:2606.27122, 2026

   Bib HTML

   @article{reboot,
     title = {Mostly Automatic Translation of Language Interpreters from C to Safe Rust},
     url = {https://arxiv.org/abs/2606.27122},
     doi = {https://doi.org/10.48550/arXiv.2606.27122},
     author = {Wang, Bo and Paulsen, Brandon and Dodds, Joey and Kroening, Daniel and Mathur, Umang and Saxena, Prateek},
     journal = {arXiv preprint arXiv:2606.27122},
     year = {2026},
   }

2025

1. Preprint

   

   Adversarial Agent Collaboration for Correctness Improvements of C to Safe Rust Translation

   Tianyu Li, Ruishi Li, Bo Wang, Brandon Paulsen, Umang Mathur, and Prateek Saxena

   arXiv preprint arXiv:2510.03879, 2025

   Bib HTML

   @article{actor,
     title = {Adversarial Agent Collaboration for Correctness Improvements of C to Safe Rust Translation},
     url = {https://arxiv.org/abs/2510.03879},
     doi = {https://doi.org/10.48550/arXiv.2510.03879},
     author = {Li, Tianyu and Li, Ruishi and Wang, Bo and Paulsen, Brandon and Mathur, Umang and Saxena, Prateek},
     journal = {arXiv preprint arXiv:2510.03879},
     year = {2025},
   }

2. PLDI ’25

   

   Program Skeletons for Automated Program Translation

   Bo Wang^*, Tianyu Li^*, Ruishi Li, Umang Mathur, and Prateek Saxena

   PLDI 2025, 2025

   Bib HTML Code

   @article{skel,
     title = {Program Skeletons for Automated Program Translation},
     url = {https://arxiv.org/abs/2504.07483},
     doi = {https://doi.org/10.1145/3729287},
     author = {Wang, Bo and Li, Tianyu and Li, Ruishi and Mathur, Umang and Saxena, Prateek},
     journal = {PLDI 2025},
     year = {2025},
   }

3. NDSS ’25

   Translating C To Rust: Lessons from a User Study

   Ruishi Li^*, Bo Wang^*, Tianyu Li, Prateek Saxena, and Ashish Kundu

   NDSS 2025, 2025

   Bib HTML

   @article{li2024translating,
     title = {Translating C To Rust: Lessons from a User Study},
     url = {https://arxiv.org/abs/2411.14174},
     doi = {https://doi.org/10.14722/ndss.2025.241407},
     author = {Li, Ruishi and Wang, Bo and Li, Tianyu and Saxena, Prateek and Kundu, Ashish},
     journal = {NDSS 2025},
     year = {2025},
   }

2023

1. FSE ’23

   

   TransMap: Pinpointing Mistakes in Neural Code Translation

   Bo Wang, Ruishi Li, Mingkai Li, and Prateek Saxena

   In FSE 2023, , San Francisco, CA, USA, , 2023

   Bib HTML Code

   @inproceedings{transmap,
     author = {Wang, Bo and Li, Ruishi and Li, Mingkai and Saxena, Prateek},
     title = {TransMap: Pinpointing Mistakes in Neural Code Translation},
     year = {2023},
     isbn = {9798400703270},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     url = {https://doi.org/10.1145/3611643.3616322},
     doi = {10.1145/3611643.3616322},
     booktitle = {FSE 2023},
     pages = {999-1011},
     numpages = {13},
     keywords = {Code Translation, Semantic Mistakes, Large Language Models},
     location = {<conf-loc>, <city>San Francisco</city>, <state>CA</state>, <country>USA</country>, </conf-loc>},
     series = {ESEC/FSE 2023},
   }

2. OOPSLA ’23

   

   User-Customizable Transpilation of Scripting Languages

   Bo Wang, Aashish Kolluri, Ivica Nikolić, Teodora Baluta, and Prateek Saxena

   Proc. ACM Program. Lang. (OOPSLA 2023), Apr 2023

   Bib HTML Code

   @article{duoglot,
     author = {Wang, Bo and Kolluri, Aashish and Nikoli\'{c}, Ivica and Baluta, Teodora and Saxena, Prateek},
     title = {User-Customizable Transpilation of Scripting Languages},
     year = {2023},
     issue_date = {April 2023},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     volume = {7},
     number = {OOPSLA1},
     url = {https://doi.org/10.1145/3586034},
     doi = {10.1145/3586034},
     journal = {Proc. ACM Program. Lang. (OOPSLA 2023)},
     month = apr,
     articleno = {82},
     numpages = {29},
     keywords = {Program Translation, Program Synthesis},
   }

2021

1. FSE ’21

   SynGuar: guaranteeing generalization in programming by example

   Bo Wang, Teodora Baluta, Aashish Kolluri, and Prateek Saxena

   In FSE 2021, Athens, Greece, Apr 2021

   Bib HTML Code

   @inproceedings{synguar,
     author = {Wang, Bo and Baluta, Teodora and Kolluri, Aashish and Saxena, Prateek},
     title = {SynGuar: guaranteeing generalization in programming by example},
     year = {2021},
     isbn = {9781450385626},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     url = {https://doi.org/10.1145/3468264.3468621},
     doi = {10.1145/3468264.3468621},
     booktitle = {FSE 2021},
     pages = {677-689},
     numpages = {13},
     keywords = {Generalization, Program Synthesis, Sample Complexity},
     location = {Athens, Greece},
     series = {ESEC/FSE 2021},
   }

2. CHI ’21

   Understanding Trigger-Action Programs Through Novel Visualizations of Program Differences

   Valerie Zhao, Lefan Zhang, Bo Wang, Michael L. Littman, Shan Lu, and Blase Ur

   In Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems, Yokohama, Japan, Apr 2021

   Bib HTML

   @inproceedings{10.1145/3411764.3445567,
     author = {Zhao, Valerie and Zhang, Lefan and Wang, Bo and Littman, Michael L. and Lu, Shan and Ur, Blase},
     title = {Understanding Trigger-Action Programs Through Novel Visualizations of Program Differences},
     year = {2021},
     isbn = {9781450380966},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     url = {https://doi.org/10.1145/3411764.3445567},
     doi = {10.1145/3411764.3445567},
     booktitle = {Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems},
     articleno = {312},
     numpages = {17},
     keywords = {debugging, diffs, end-user programming, trigger-action programs},
     location = {Yokohama, Japan},
     series = {CHI '21},
   }