Semantic understanding of smart contracts: Executable operational semantics of solidity

by JIAO, Jiao, KAN, Shuanglong, LIN, Shang Wei, SANAN, David, LIU, Yang, SUN, Jun
Published 2020

SafeOSL: ensuring memory safety of C via ownership-based intermediate language

by Yin, Xiaohua, Huang, Zhiqiu, Kan, Shuanglong, Shen, Guohua, Chen, Zhe, Liu, Yang, Wang, Fei
Published 2023