Associate professor
Supervisor of Doctorate Candidates
Supervisor of Master's Candidates
[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)
Hits:
Translation or Not:no
Pre One:[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
Next One:[c16]Wuwei Shen, Guangyuan Li, Chung-Ling Lin, Hongliang Liang: Foundation of a Framework to Support Compliance Checking in Construction Industry. SOFL+MSVL 2017: 111-122
Opening Time:..
The Last Update Time: ..
