| 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 | 615 | 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 | 216 | 2017 |
| Program synthesis using conflict-driven learning Y Feng, R Martins, O Bastani, I Dillig ACM SIGPLAN Notices 53 (4), 420-435, 2018 | 195 | 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 | 178 | 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 | 114 | 2016 |
| 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 | 96 | 2022 |
| 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 | 95 | 2017 |
| Precise attack synthesis for smart contracts Y Feng, E Torlak, R Bodik arXiv preprint arXiv:1902.06067, 2019 | 61 | 2019 |
| 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 | 55 | 2021 |
| 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 | 51 | 2020 |
| 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 | 48 | 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 | 44 | 2019 |
| 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 | 44 | 2015 |
| Maximal multi-layer specification synthesis Y Chen, R Martins, Y Feng Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 37 | 2019 |
| 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 | 35 | 2019 |
| 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 | 32 | 2020 |
| Automated transpilation of imperative to functional code using neural-guided program synthesis B Mariano, Y Chen, Y Feng, G Durrett, I Dillig Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-27, 2022 | 29 | 2022 |
| 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 | 28 | 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 | 27* | 2016 |
| SolType: refinement types for arithmetic overflow in solidity B Tan, B Mariano, SK Lahiri, I Dillig, Y Feng Proceedings of the ACM on Programming Languages 6 (POPL), 1-29, 2022 | 25 | 2022 |
Isil DilligUT AustinVerified email at cs.utexas.edu
