1. SafeOSL: Ensuring memory safety of C via ownership‐based intermediate language. (6th December 2021) Authors: Yin, Xiaohua; Huang, Zhiqiu; Kan, Shuanglong; Shen, Guohua; Chen, Zhe; Liu, Yang; Wang, Fei Journal: Software, practice & experience Issue: Volume 52:Number 5(2022) Page Start: 1114 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗