受强制性开放获取政策约束的文章 - Yanju Chen了解详情
可在其他位置公开访问的文章：13 篇
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
强制性开放获取政策： US National Science Foundation, US Department of Defense
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
强制性开放获取政策： US National Science Foundation
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
强制性开放获取政策： US National Science Foundation
Maximal multi-layer specification synthesis
Y Chen, R Martins, Y Feng
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
强制性开放获取政策： US National Science Foundation
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
强制性开放获取政策： US National Science Foundation
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
强制性开放获取政策： US National Science Foundation, US Department of Defense
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
强制性开放获取政策： US National Science Foundation, US Department of Defense, Natural Sciences …
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
强制性开放获取政策： US National Science Foundation, US Department of Defense
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
强制性开放获取政策： US National Science Foundation, US Department of Defense
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
强制性开放获取政策： US National Science Foundation, US Department of Defense
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
强制性开放获取政策： US National Science Foundation, US Department of Defense
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
强制性开放获取政策： US National Science Foundation, US Department of Defense
Visualization question answering using introspective program synthesis
Y Chen, X Yan, Y Feng
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
强制性开放获取政策： US National Science Foundation, US Department of Defense
出版信息和资助信息由计算机程序自动确定