Folgen
Jia Chen
Jia Chen
Bestätigte E-Mail-Adresse bei fb.com
Titel
Zitiert von
Zitiert von
Jahr
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
862017
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
452018
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
382019
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
202019
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
32017
Program Analysis Techniques for Algorithmic Complexity and Relational Properties
J Chen
The University of Texas at Austin, 2019
12019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6