About me

I am a Ph.D. student in the School of Computing at the National University of Singapore (NUS), working with Prateek Saxena in the KISP Lab. My research focuses on automatic program translation, especially translating C to safe and idiomatic Rust. Here is my CV. I’m working on the Automatic Program Translation project.

News 📣 2025 Dec – Released ACToR, an adversarial multi-agent system that automatically translates real-world C utilities to Rust with >90% test pass rate (Github repo). Looking forward to your feedback!

Research Interests

• Software Security
• Code Translation
• Large Language Models

Publications

2023 - Now

1. [(Under review) Arxiv] Adversarial Agent Collaboration for C to Rust Translation.
   Tianyu Li, Ruishi Li, Bo Wang, Brandon Paulsen, Umang Mathur, Prateek Saxena. Paper, Code

2. [PLDI 2025] Program Skeletons for Automated Program Translation.
   Bo Wang*, Tianyu Li*, Ruishi Li, Umang Mathur, Prateek Saxena. Paper, Code

3. [NDSS 2025] Translating C To Rust: Lessons from a User Study.
   Ruishi Li*, Bo Wang*, Tianyu Li, Prateek Saxena, Ashish Kundu. Paper, Benchmark

4. [ESEC/FSE 2023] TransMap: Pinpointing Mistakes in Neural Code Translation.
   Bo Wang, Ruishi Li, Mingkai Li, Prateek Saxena. Paper, Code

Before 2022

1. [CCS 2020] RTFM! Automatic Assumption Discovery and Verification Derivation from Library Document for API Misuse Detection.
   Tao Lv, Ruishi Li, Yi Yang, Kai Chen, Xiaojing Liao, XiaoFeng Wang, Peiwei Hu and Luyi Xing. Paper, Code

2. [CyberSecurity Journal] The inconsistency of documentation: a study of online C standard library documents.
   Ruishi Li, Yunfei Yang, Jinghua Liu, Peiwei Hu, Guozhu Meng. Paper

Teaching

Past modules I have TAed:

• Computer Security (CS3235, Spring 2024)
• Computer Security (CS3235, Spring 2023)

Experience

• Intern, Deloitte Tax and Business Advisory Department(Wuhan, Beijing), July 2018 - Aug. 2018

Reported Bugs

Anjuta: CVE-2020-22617; Gsequencer: Memory Leak; Mumble: Memory Leak; Colord: Memory Leak