After leaving graduate school I am no longer actively involved in academic research.

When I was a Ph.D. student, my research interest is in the area of static program analysis and verification. My primary academic advisor is Isil Dillig, and I am also co-advised by Calvin Lin.

Here is a list of my publications:

  • Relational Verification using Reinforcement Learning. OOPSLA'19
    Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, Isil Dillig.
    [preprint] [source code (verifier)] [source code (learner)]
  • Singularity: Pattern Fuzzing for Worst Case Complexity. FSE'18
    Jiayi Wei, Jia Chen, Yu Feng, Kostas Ferles, Isil Dillig
    [preprint] [source code]
  • Precise Detection of Side-Channel Vulnerabilities using Quantitative Cartesian Hoare Logic. CCS'17
    Jia Chen, Yu Feng, Isil Dillig
    [preprint]
  • Static Detection of Asymptotic Side Channel Vulnerabilities in Web Applications. ASE'17
    Jia Chen, Oswaldo Olivo, Isil Dillig, Calvin Lin
    [preprint]