Bo Wang

COM3 @NUS,

Singapore

I am a Ph.D. student at School of Computing, National University of Singapore (NUS). I am working with Prateek Saxena as my advisor.

My research is mainly on Automated Program Translation for code migration. My recent work builds multi-agent systems that migrate C to safe Rust with a focus on correctness and safety (ACToR, Reboot, NDSS ‘25). Earlier, I also worked on translating Python to JavaScript (PLDI ‘25, FSE ‘23, OOPSLA ‘23), as well as inductive Program Synthesis (FSE ‘21). See more about our projects.

Before this, I received my B.Eng. degree in Computer Science and Technology at University of Science and Technology of China (USTC), where I was fortunate to work with Yu Zhang.

My favorite languages are Rust and Python. I am also fluent in JavaScript and C#.

For fun: some tiny web-based tools I wrote are here.

selected publications

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},
}

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},
}

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},
}

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},
}

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},
}

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},
}

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},
}