Follow
Yanju Chen
Title
Cited by
Cited by
Year
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
692022
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
462020
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
402019
Maximal multi-layer specification synthesis
Y Chen, R Martins, Y Feng
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
362019
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
252020
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
172022
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
112023
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
112017
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
92022
Practical Security Analysis of Zero-Knowledge Proof Circuits.
H Wen, J Stephens, Y Chen, K Ferles, S Pailoor, K Charbonnet, I Dillig, ...
IACR Cryptol. ePrint Arch. 2023, 190, 2023
62023
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
52022
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
42022
Visualization question answering using introspective program synthesis
Y Chen, X Yan, Y Feng
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
22022
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
12023
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
12023
Deduction-Powered Neural Program Synthesis: A Synergistic Perspective
Y Chen
University of California, Santa Barbara, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–16