Associate professor
Supervisor of Doctorate Candidates
Supervisor of Master's Candidates
[c15]Hongliang Liang, Daijie Zhang, Xiaoxiao Pei, Xiaodong Jia, Guangyuan Li, Jiuyun Xu: A Correctness Verification Method for C Programs Based on VCC. CSCloud 2016: 172-177
Hits:
Translation or Not:no
Pre One:[c25]Hongliang Liang, Qiong Zhang, Mingyu Li, Jianqiang Li: Toward Migration of SGX-Enabled Containers. ISCC 2019: 1-6
Next One:[j1]Hongliang Liang, Lei Wang, Dongyang Wu, Jiuyun Xu: MLSA: a static bugs analysis tool based on LLVM IR. Int. J. Networked Distributed Comput. 4(3): 137-144 (2016)
Opening Time:..
The Last Update Time: ..
