Cloud-based parallel concolic execution. - Ting Chen 002; Youzheng Feng; Xiapu Luo; Xiaodong Lin 001; Xiaosong Zhang 001 (SANER, 2017)

DBAF: Dynamic Binary Analysis Framework and Its Applications. - Ting Chen 002; Youzheng Feng; Xingwei Lin; Zihao Li 001; Xiaosong Zhang 001 (NSS, 2018)

GasChecker: Scalable Analysis for Discovering Gas-Inefficient Smart Contracts. - Ting Chen 002; Youzheng Feng; Zihao Li 001; Hao Zhou 009; Xiapu Luo; Xiaoqi Li 001; Xiuzhuo Xiao; Jiachi Chen; Xiaosong Zhang 001 (IEEE Trans. Emerg. Top. Comput., 2021)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations. - Xiaoheng Xie; Gang Fan; Xiaojun Lin; Ang Zhou; Shijie Li; Xunjin Zheng; Yinan Liang; Yu Zhang 036; Na Yu; Haokun Li; Xinyu Chen; Yingzhuang Chen; et al. (CoRR, 2024)