| Apposcopy: Semantics-based detection of android malware through static analysis Y Feng, S Anand, I Dillig, A Aiken Proceedings of the 22nd ACM SIGSOFT international symposium on foundations …, 2014 | 584 | 2014 |
| Component-based synthesis of table consolidation and transformation tasks from examples Y Feng, R Martins, J Van Geffen, I Dillig, S Chaudhuri ACM SIGPLAN Notices 52 (6), 422-436, 2017 | 192 | 2017 |
| Program synthesis using conflict-driven learning Y Feng, R Martins, O Bastani, I Dillig ACM SIGPLAN Notices 53 (4), 420-435, 2018 | 168 | 2018 |
| Component-based synthesis for complex APIs Y Feng, R Martins, Y Wang, I Dillig, TW Reps Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 151 | 2017 |
| Automated synthesis of semantic malware signatures using maximum satisfiability Y Feng, O Bastani, R Martins, I Dillig, S Anand arXiv preprint arXiv:1608.06254, 2016 | 101 | 2016 |
| 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 | 79 | 2017 |
| Precise attack synthesis for smart contracts Y Feng, E Torlak, R Bodik arXiv preprint arXiv:1902.06067, 2019 | 46 | 2019 |
| Sailfish: Vetting smart contract state-inconsistency bugs in seconds P Bose, D Das, Y Chen, Y Feng, C Kruegel, G Vigna 2022 IEEE Symposium on Security and Privacy (SP), 161-178, 2022 | 45 | 2022 |
| 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 | 44 | 2018 |
| Falx: Synthesis-powered visualization authoring C Wang, Y Feng, R Bodik, I Dillig, A Cheung, AJ Ko Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems …, 2021 | 40 | 2021 |
| Bottom-up context-sensitive pointer analysis for Java Y Feng, X Wang, I Dillig, T Dillig Asian Symposium on Programming Languages and Systems, 465-484, 2015 | 39 | 2015 |
| Program synthesis using deduction-guided reinforcement learning Y Chen, C Wang, O Bastani, I Dillig, Y Feng International Conference on Computer Aided Verification, 587-610, 2020 | 38 | 2020 |
| Maximal multi-layer specification synthesis Y Chen, R Martins, Y Feng Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 35 | 2019 |
| 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 | 33 | 2019 |
| Hunter: next-generation code reuse for java Y Wang, Y Feng, R Martins, A Kaushik, I Dillig, SP Reiss Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 25* | 2016 |
| Demystifying loops in smart contracts B Mariano, Y Chen, Y Feng, SK Lahiri, I Dillig Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 23 | 2020 |
| Oauthlint: An empirical study on oauth bugs in android applications T Al Rahat, Y Feng, Y Tian 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 23 | 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 | 18 | 2019 |
| Summary-based symbolic evaluation for smart contracts Y Feng, E Torlak, R Bodík Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 17 | 2020 |
| EXPLORER: query-and demand-driven exploration of interprocedural control flow properties Y Feng, X Wang, I Dillig, C Lin Acm Sigplan Notices 50 (10), 520-534, 2015 | 17 | 2015 |
Isil DilligUT AustinVerified email at cs.utexas.edu
