Yu Feng
University of California, Santa Barbara
H-index: 18
North America-United States
Top articles of Yu Feng
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Certifying zero-knowledge circuits with refinement types | arXiv preprint arXiv:2304.07648 | Junrui Liu Ian Kretz Hanzhi Liu Bryan Tan Jonathan Wang | 2023/4/15 |
Fast and reliable program synthesis via user interaction | Yanju Chen Chenglong Wang Xinyu Wang Osbert Bastani Yu Feng | 2023/9/11 | |
Practical Security Analysis of Zero-Knowledge Proof Circuits. | IACR Cryptol. ePrint Arch. | Hongbo Wen Jon Stephens Yanju Chen Kostas Ferles Shankara Pailoor | 2023 |
Conflict-Driven synthesis for layout engines | Proceedings of the ACM on Programming Languages | Junrui Liu Yanju Chen Eric Atkinson Yu Feng Rastislav Bodik | 2023/6/6 |
Automated detection of under-constrained circuits in zero-knowledge proofs | Proceedings of the ACM on Programming Languages | Shankara Pailoor Yanju Chen Franklyn Wang Clara Rodríguez Jacob Van Geffen | 2023/6/6 |
SolType: refinement types for arithmetic overflow in solidity | Proceedings of the ACM on Programming Languages | Bryan Tan Benjamin Mariano Shuvendu K Lahiri Isil Dillig Yu Feng | 2022/1/11 |
Learning contract invariants using reinforcement learning | Junrui Liu Yanju Chen Bryan Tan Isil Dillig Yu Feng | 2022/10/10 | |
Visualization question answering using introspective program synthesis | Yanju Chen Xifeng Yan Yu Feng | 2022/6/9 | |
Sailfish: Vetting smart contract state-inconsistency bugs in seconds | Priyanka Bose Dipanjan Das Yanju Chen Yu Feng Christopher Kruegel | 2022/5/22 | |
Automated transpilation of imperative to functional code using neural-guided program synthesis | Proceedings of the ACM on Programming Languages | Benjamin Mariano Yanju Chen Yu Feng Greg Durrett Işil Dillig | 2022/4/29 |
Cerberus: Query-driven scalable vulnerability detection in oauth service provider implementations | Tamjid Al Rahat Yu Feng Yuan Tian | 2022/11/7 | |
Synthesis-powered optimization of smart contracts via data type refactoring | Proceedings of the ACM on Programming Languages | Yanju Chen Yuepeng Wang Maruth Goyal James Dong Yu Feng | 2022/10/31 |
Tree traversal synthesis using domain-specific symbolic compilation | Yanju Chen Junrui Liu Yu Feng Rastislav Bodik | 2022/2/28 | |
Soltype: Refinement types for solidity | arXiv preprint arXiv:2110.00677 | Bryan Tan Benjamin Mariano Shuvendu Lahiri Isil Dillig Yu Feng | 2021/10 |
Checking conformance of applications against GUI policies | Zhen Zhang Yu Feng Michael D Ernst Sebastian Porst Isil Dillig | 2021/8/20 | |
Falx: Synthesis-powered visualization authoring | Chenglong Wang Yu Feng Rastislav Bodik Isil Dillig Alvin Cheung | 2021/5/6 | |
Cerberus: Query-driven Scalable Security Checking for OAuth Service Provider Implementations | arXiv preprint arXiv:2110.01005 | Tamjid Al Rahat Yu Feng Yuan Tian | 2021 |
Summary-based symbolic evaluation for smart contracts | Yu Feng Emina Torlak Rastislav Bodík | 2020/12/21 | |
Demystifying loops in smart contracts | Benjamin Mariano Yanju Chen Yu Feng Shuvendu K Lahiri Isil Dillig | 2020/12/21 | |
Program synthesis using deduction-guided reinforcement learning | Yanju Chen Chenglong Wang Osbert Bastani Isil Dillig Yu Feng | 2020/7/14 |