I obtained my Computer Science bachelor's degree in year 2008, from University of Electronic Science and Technology of China (UESTC). After the graduation, I spent half a year in query analysis team at Baidu and then moved to HKUST.
My research focuses on program analysis and its application to software engineering. I develop efficient and scalable analysis methodologies to uncover code properties for industry-scale software. My research topics are:
This is the first POPL paper from Hong Kong.
And thanks very much for Prof. Tom Reps to present the paper for us.Rongxin Wu, Xiao Xiao, Shing-Chi Cheung, Hongyu Zhang and Charles Zhang. To appear in POPL 2016
This technique has been integrated into Soot. Read the tutorial.Xiao Xiao, Charles Zhang. Appeared in ISSTA 2011