I am a Ph.D. candidate in Department of Computer Science at Purdue University, co-advised by Professor Xiangyu Zhang and Professor Dongyan Xu. I obtained my B.E. from Shanghai Jiao Tong University (SJTU) in 2013.
My research interest lies in solving security and software engineering problems via program analysis, with the focus on challenges caused by the opaqueness in modern complex computing systems, which may consist of various operating systems, virtual machines, data processing procedures and artificial intelligence models. Due to their complexity, it is highly challenging to understand their internal workings. Such opaqueness is the root cause of many security and software engineering problems. I have developed novel techniques to make these systems transparent through the unique program analysis perspective. My techniques fall into three categories:
Besides, I also worked on high availability virtualization systems (SoCC 13), mobile security (ASE 18), fuzzing (S&P 19, ICSE 19) and program synthesis (ICSE 16).
$ echo bWEyMjlAcHVyZHVlLmVkdQ== | base64 --decode