Thetis-lathe: Guidance on Reducing Residual Safety Obstacle in System Software from Rust Source Codes. - Jiang, Renshuang; Dong, Pan; Ding, Yan; Wei, Ran; Jiang, Zhe (ACM Transactions on Embedded Computing Systems, 2025)