Jia Chen
Cited by
Cited by
Precise detection of side-channel vulnerabilities using quantitative cartesian hoare logic
J Chen, Y Feng, I Dillig
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
Singularity: Pattern fuzzing for worst case complexity
J Wei, J Chen, Y Feng, K Ferles, I Dillig
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
Trinity: An extensible synthesis framework for data science
R Martins, J Chen, Y Chen, Y Feng, I Dillig
Proceedings of the VLDB Endowment 12 (12), 1914-1917, 2019
Relational verification using reinforcement learning
J Chen, J Wei, Y Feng, O Bastani, I Dillig
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019
Static detection of asymptotic resource side-channel vulnerabilities in web applications
J Chen, O Olivo, I Dillig, C Lin
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
Program Analysis Techniques for Algorithmic Complexity and Relational Properties
J Chen
The University of Texas at Austin, 2019
The system can't perform the operation now. Try again later.
Articles 1–6