Publications

Towards Fixing Panic Bugs for Real-world Rust Programs
Yunbo Ni, Yang Feng, Zixi Liu, Runtao Chen, Baowen Xu
Project
What Matters Besides Borrow Checking? Toward Understanding Bugs in the Rust Compiler
Zixi Liu, Yang Feng, Yunbo Ni, Shaohua Li, Xizhe Yin, Qingkai Shi, Baowen Xu, Zhendong Su