| 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 | 109 | 2022 |
| 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 | 57 | 2020 |
| 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 | 47 | 2019 |
| Maximal multi-layer specification synthesis Y Chen, R Martins, Y Feng Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 39 | 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 | 38 | 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 | 33 | 2022 |
| Automated detection of under-constrained circuits in zero-knowledge proofs S Pailoor, Y Chen, F Wang, C Rodríguez, J Van Geffen, J Morton, M Chu, ... Proceedings of the ACM on Programming Languages 7 (PLDI), 1510-1532, 2023 | 21 | 2023 |
| Synthesis-powered optimization of smart contracts via data type refactoring Y Chen, Y Wang, M Goyal, J Dong, Y Feng, I Dillig Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 560-588, 2022 | 17 | 2022 |
| Practical Security Analysis of {Zero-Knowledge} Proof Circuits H Wen, J Stephens, Y Chen, K Ferles, S Pailoor, K Charbonnet, I Dillig, ... 33rd USENIX Security Symposium (USENIX Security 24), 1471-1487, 2024 | 16 | 2024 |
| Learning contract invariants using reinforcement learning J Liu, Y Chen, B Tan, I Dillig, Y Feng Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 15 | 2022 |
| Automatic emphatic information extraction from aligned acoustic data and its application on sentence compression Y Chen, R Pan Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 11 | 2017 |
| Tree traversal synthesis using domain-specific symbolic compilation Y Chen, J Liu, Y Feng, R Bodik Proceedings of the 27th ACM International Conference on Architectural …, 2022 | 7 | 2022 |
| Conflict-Driven synthesis for layout engines J Liu, Y Chen, E Atkinson, Y Feng, R Bodik Proceedings of the ACM on Programming Languages 7 (PLDI), 638-659, 2023 | 4 | 2023 |
| Fast and reliable program synthesis via user interaction Y Chen, C Wang, X Wang, O Bastani, Y Feng 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 3 | 2023 |
| Visualization question answering using introspective program synthesis Y Chen, X Yan, Y Feng Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 2 | 2022 |
| FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols H Wen, H Liu, J Song, Y Chen, W Guo, Y Feng Proceedings of the 2024 on ACM SIGSAC Conference on Computer and …, 2024 | 1 | 2024 |
| Refinement Types for Visualization J Xia, J Liu, N Brown, Y Chen, Y Feng Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024 | | 2024 |
| Deduction-Powered Neural Program Synthesis: A Synergistic Perspective Y Chen University of California, Santa Barbara, 2023 | | 2023 |
Yu FengUniversity of California, Santa BarbaraVerified email at cs.ucsb.edu