Jia Chen

Relational verification using reinforcement learning

Isil Dillig, Osbert Bastani, Jiayi Wei, 2019, Proc. ACM Program. Lang..

Trinity: An Extensible Synthesis Framework for Data Science

Isil Dillig, Yu Feng, Jia Chen, 2019, Proc. VLDB Endow..

Precise Detection of Side-Channel Vulnerabilities using Quantitative Cartesian Hoare Logic

Isil Dillig, Jia Chen, Yu Feng, 2017, CCS.

Singularity: pattern fuzzing for worst case complexity

Isil Dillig, Jia Chen, Yu Feng, 2018, ESEC/SIGSOFT FSE.

Static detection of asymptotic resource side-channel vulnerabilities in web applications

Isil Dillig, Jia Chen, Calvin Lin, 2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).