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 | 619 | 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 | 218 | 2017 |
Program synthesis using conflict-driven learning Y Feng, R Martins, O Bastani, I Dillig ACM SIGPLAN Notices 53 (4), 420-435, 2018 | 202 | 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 | 183 | 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 | 115 | 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 | 104 | 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 | 96 | 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 | 57 | 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 | 54 | 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 | 49 | 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 | 45 | 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 | 45 | 2015 |
Maximal multi-layer specification synthesis Y Chen, R Martins, Y Feng Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 38 | 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 | 37 | 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 | 37 | 2019 |
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 | 33 | 2022 |
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 | 30 | 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 | 30 | 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 |