Jia Chen

Office: GDC 5.518B, Univeristy of Texas at Austin

Email:

Biography

I am 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.

Research

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.

Publications

  • 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.

Teaching Activities

  • 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

Other Projects

  • 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.

  • Updated 9/5/2017