| 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 | 86 | 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 | 46 | 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 | 40 | 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 | 22 | 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 | 3 | 2017 |
| Program Analysis Techniques for Algorithmic Complexity and Relational Properties J Chen The University of Texas at Austin, 2019 | 1 | 2019 |
