Associate professor
Supervisor of Doctorate Candidates
Supervisor of Master's Candidates
[c11]Hongliang Liang, Lei Wang, Dongyang Wu, Jiuyun Xu: MLSA: A static bugs analysis tool based on LLVM IR. SNPD 2016: 407-412
Hits:
Translation or Not:no
Pre One:[c12]Hongliang Liang, Daijie Zhang, Xiaodong Jia, Xiaoxiao Pei, Guangyuan Li: Verifying RTuinOS using VCC: From approach to practice. SNPD 2016: 373-378
Next One:[c10]Hongliang Liang, Qian Zhao, Yuying Wang, Haifeng Liu: Understanding and detecting performance and security bugs in IOT OSes. SNPD 2016: 413-418
Opening Time:..
The Last Update Time: ..
