a Ph.D student studying in
Department of Computer Science at
University of Texas at Austin.
I got my bachelor's degree at Nanjing University and graduate from there in Summer 2012.
I do research in static program analysis.
My current research focus on static detection of side-channel vulnerabilities
I am co-advised by Calvin Lin and Isil Dillig.
- Precise Detection of Side-Channel Vulnerabilities using Quantitative Cartesian Hoare Logic. Jia Chen, Yu Feng, Isil Dillig. To appear in CCS'17.
- Static Detection of Asymptotic Resource Side-Channel Vulnerabilities in Web Applications. Jia Chen, Oswaldo Olivo, Isil Dillig, Calvin Lin. To appear in ASE'17.
- Instructor, UT CS105 Introduction to C++, Spring-Fall 2016
- Teaching Assistant, UT CS380C Graduate Compiler, Spring 2015 (Award of Outstanding Teaching Assistant)
- Teaching Assistant, UT CS345 Programming Language, Fall 2014
- Teaching Assistant, UT CS429H Computer Organization and Architecture (Honor), Spring 2013
- Infer static analyzer
I had an internship with the Infer group at Facebook in Summer 2017. I mainly worked on the Infer C++ backend, including the stack variable address escape checker and the dangling pointer dereference checker.
- CFL Alias Analysis for LLVM
This is my Google Summer of Code 2016 project. Codes I wrote are directly committed in-tree.
- Andersen's pointer analysis
Andersen's inclusion-based pointer analysis re-implementation for LLVM.