RTFM! Automatic Assumption Discovery and Verification Derivation from Library Document for API Misuse Detection. - Tao Lv; Ruishi Li; Yi Yang 100; Kai Chen 012; Xiaojing Liao; XiaoFeng Wang 001; Peiwei Hu; Luyi Xing (CCS, 2020)

The inconsistency of documentation: a study of online C standard library documents. - Ruishi Li; Yunfei Yang 001; Jinghua Liu; Peiwei Hu; Guozhu Meng (Cybersecur., 2022)

TransMap: Pinpointing Mistakes in Neural Code Translation. - Bo Wang 146; Ruishi Li; Mingkai Li; Prateek Saxena (ESEC/SIGSOFT FSE, 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)

Translating C To Rust: Lessons from a User Study. - Ruishi Li; Bo Wang; Tianyu Li; Prateek Saxena; Ashish Kundu (NDSS, 2025)

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