Research

Publications

[co-first][PLDI 2025] Program Skeletons for Automated Program Translation
Bo Wang, Tianyu Li (co-first), Ruishi Li, Umang Mathur, Prateek Saxena
ACM SIGPLAN Conference on Programming Language Design and Implementation

[NDSS 2025] Translating C To Rust: Lessons from a User Study
Ruishi Li, Bo Wang, Tianyu Li, Prateek Saxena, Ashish Kundu
Network and Distributed System Security (NDSS) Symposiuma

[co-first][SIGMOD 2025] SPAS: Continuous Release of Data Streams under w-Event Differential Privacy
Xiaochen Li, Tianyu Li (co-first), Yitian Cheng, Chen Gong, Kui Ren, Zhan Qin, Tianhao Wang
International Conference on Management of Data

[MobiCom 2023] MagTracer: Detecting GPU Cryptojacking Attacks via Magnetic Leakage Signals
Rui Xiao, Tianyu Li, Soundarya Ramesh, Jun Han, and Jinsong Han
International Conference on Mobile Computing and Networking