Rex: Closing the language-verifier gap with safe and usable kernel extensions
USENIX ATC, 2025
Jinghao Jia, Ruowen Qin, Milo Craun, Egor Lukiyanov, Ayush Bansal, Minh Phan, Michael V. Le, Hubertus Franke, Hani Jamjoom, Tianyin Xu, and Dan Williams
Publications
Conference Papers
Workshop Papers
A Preliminary Study of Fixed Flaky Tests in Rust Projects on GitHub
ICSE's 2nd International Flaky Tests Workshop, 2025
Tom Schroeder, Minh Phan, Yang Chen