default search action
Yu Feng 0001
Person information
- affiliation: University of California, Santa Barbara, CA, USA
- affiliation (PhD 2018): University of Texas at Austin, TX, USA
Other persons with the same name
- Yu Feng — disambiguation page
- Yu Feng 0002
— Zhejiang University of Technology, College of Information Engineering, Hangzhou, China (and 2 more)
- Yu Feng 0003
- Yu Feng 0004
- Yu Feng 0005
- Yu Feng 0006
- Yu Feng 0007
- Yu Feng 0008
- Yu Feng 0009
- Yu Feng 0010 — Dublin City University, School of Computer Applications, Dublin, Ireland
- Yu Feng 0011 — ACM and SIGSOFT, Houston, TX, USA
- Yu Feng 0012
- Yu Feng 0013 — University of Pennsylvania, PA, USA
- Yu Feng 0014 — Shanxi Agricultural University, China (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c28]Hongbo Wen, Hanzhi Liu, Jiaxin Song, Yanju Chen, Wenbo Guo, Yu Feng:
FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols. CCS 2024: 1001-1015 - [c27]Tamjid Al Rahat, Yu Feng, Yuan Tian:
AuthSaber: Automated Safety Verification of OpenID Connect Programs. CCS 2024: 2949-2962 - [c26]Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng:
Certifying Zero-Knowledge Circuits with Refinement Types. SP 2024: 1741-1759 - [c25]Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng:
Practical Security Analysis of Zero-Knowledge Proof Circuits. USENIX Security Symposium 2024 - [i17]Hongbo Wen, Hanzhi Liu, Jiaxin Song, Yanju Chen, Wenbo Guo, Yu Feng:
FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols. CoRR abs/2407.06348 (2024) - [i16]Hongbo Wen, Hanzhi Liu, Shuyang Tang, Shuhan Cao, Domo, Yu Feng:
Modular Indexer: Fully User-Verified Execution Layer for Meta-Protocols on Bitcoin. IACR Cryptol. ePrint Arch. 2024: 408 (2024) - [i15]Hanzhi Liu, Jingyu Ke, Hongbo Wen, Robin Linus, Lukas George, Manish Bista, Hakan Karakus, Domo, Junrui Liu, Yanju Chen, Yu Feng:
Push-Button Verification for BitVM Implementations. IACR Cryptol. ePrint Arch. 2024: 1768 (2024) - [i14]Yanju Chen, Juson Xia, Bo Wen, Kyle Charbonnet, Hongbo Wen, Hanzhi Liu, Luke Pearson, Yu Feng:
Scutum: Temporal Verification for Cross-Rollup Bridges via Goal-Driven Reduction. IACR Cryptol. ePrint Arch. 2024: 1834 (2024) - 2023
- [j8]Junrui Liu
Conflict-Driven Synthesis for Layout Engines. Proc. ACM Program. Lang. 7(PLDI): 638-659 (2023) - [j7]Shankara Pailoor
Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs. Proc. ACM Program. Lang. 7(PLDI): 1510-1532 (2023) - [c24]Yanju Chen, Chenglong Wang, Xinyu Wang
Fast and Reliable Program Synthesis via User Interaction. ASE 2023: 963-975 - [i13]Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng:
Practical Security Analysis of Zero-Knowledge Proof Circuits. IACR Cryptol. ePrint Arch. 2023: 190 (2023) - [i12]Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez-Núñez, Jacob Van Gaffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig:
Automated Detection of Underconstrained Circuits for Zero-Knowledge Proofs. IACR Cryptol. ePrint Arch. 2023: 512 (2023) - [i11]Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng:
Certifying Zero-Knowledge Circuits with Refinement Types. IACR Cryptol. ePrint Arch. 2023: 547 (2023) - 2022
- [j6]Benjamin Mariano
Automated transpilation of imperative to functional code using neural-guided program synthesis. Proc. ACM Program. Lang. 6(OOPSLA1): 1-27 (2022) - [j5]Yanju Chen
Synthesis-powered optimization of smart contracts via data type refactoring. Proc. ACM Program. Lang. 6(OOPSLA2): 560-588 (2022) - [j4]Bryan Tan
SolType: refinement types for arithmetic overflow in solidity. Proc. ACM Program. Lang. 6(POPL): 1-29 (2022) - [c23]Yanju Chen
Tree traversal synthesis using domain-specific symbolic compilation. ASPLOS 2022: 1030-1042 - [c22]Tamjid Al Rahat
Cerberus: Query-driven Scalable Vulnerability Detection in OAuth Service Provider Implementations. CCS 2022: 2459-2473 - [c21]Junrui Liu
Learning Contract Invariants Using Reinforcement Learning. ASE 2022: 63:1-63:11 - [c20]Yanju Chen, Xifeng Yan, Yu Feng
Visualization question answering using introspective program synthesis. PLDI 2022: 137-151 - [c19]Priyanka Bose, Dipanjan Das
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds. SP 2022: 161-178 - [i10]Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig:
Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version). CoRR abs/2203.09452 (2022) - 2021
- [c18]Chenglong Wang, Yu Feng
Falx: Synthesis-Powered Visualization Authoring. CHI 2021: 106:1-106:15 - [c17]Zhen Zhang, Yu Feng
Checking conformance of applications against GUI policies. ESEC/SIGSOFT FSE 2021: 95-106 - [i9]Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko:
Falx: Synthesis-Powered Visualization Authoring. CoRR abs/2102.01024 (2021) - [i8]Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, Giovanni Vigna:
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds. CoRR abs/2104.08638 (2021) - [i7]Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng:
SolType: Refinement Types for Solidity. CoRR abs/2110.00677 (2021) - [i6]Tamjid Al Rahat, Yu Feng, Yuan Tian:
OAuthShield: Efficient Security Checking for OAuth Service Provider Implementations. CoRR abs/2110.01005 (2021) - 2020
- [j3]Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung
Visualization by example. Proc. ACM Program. Lang. 4(POPL): 49:1-49:28 (2020) - [c16]Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig, Yu Feng
Program Synthesis Using Deduction-Guided Reinforcement Learning. CAV (2) 2020: 587-610 - [c15]Benjamin Mariano, Yanju Chen, Yu Feng, Shuvendu K. Lahiri, Isil Dillig:
Demystifying Loops in Smart Contracts. ASE 2020: 262-274 - [c14]Yu Feng
Summary-Based Symbolic Evaluation for Smart Contracts. ASE 2020: 1141-1152
2010 – 2019
- 2019
- [j2]Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, Isil Dillig:
Relational verification using reinforcement learning. Proc. ACM Program. Lang. 3(OOPSLA): 141:1-141:30 (2019) - [j1]Ruben Martins, Jia Chen, Yanju Chen
Trinity: An Extensible Synthesis Framework for Data Science. Proc. VLDB Endow. 12(12): 1914-1917 (2019) - [c13]Tamjid Al Rahat
OAUTHLINT: An Empirical Study on OAuth Bugs in Android Applications. ASE 2019: 293-304 - [c12]Yanju Chen
Maximal multi-layer specification synthesis. ESEC/SIGSOFT FSE 2019: 602-612 - [i5]Yu Feng, Emina Torlak, Rastislav Bodík:
Precise Attack Synthesis for Smart Contracts. CoRR abs/1902.06067 (2019) - [i4]Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig:
Visualization by Example. CoRR abs/1911.09668 (2019) - 2018
- [c11]Yu Feng
Program synthesis using conflict-driven learning. PLDI 2018: 420-435 - [c10]Jiayi Wei, Jia Chen, Yu Feng
Singularity: pattern fuzzing for worst case complexity. ESEC/SIGSOFT FSE 2018: 213-223 - 2017
- [c9]Jia Chen, Yu Feng
Precise Detection of Side-Channel Vulnerabilities using Quantitative Cartesian Hoare Logic. CCS 2017: 875-890 - [c8]Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand:
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. NDSS 2017 - [c7]Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri:
Component-based synthesis of table consolidation and transformation tasks from examples. PLDI 2017: 422-436 - [c6]Yu Feng
Component-based synthesis for complex APIs. POPL 2017: 599-612 - 2016
- [c5]Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss:
Hunter: next-generation code reuse for Java. SIGSOFT FSE 2016: 1028-1032 - [i3]Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand:
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. CoRR abs/1608.06254 (2016) - [i2]Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss:
Type-Directed Code Reuse using Integer Linear Programming. CoRR abs/1608.07745 (2016) - [i1]Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri:
Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples. CoRR abs/1611.07502 (2016) - 2015
- [c4]Yu Feng, Xinyu Wang
Bottom-Up Context-Sensitive Pointer Analysis for Java. APLAS 2015: 465-484 - [c3]Yu Feng, Xinyu Wang
EXPLORER : query- and demand-driven exploration of interprocedural control flow properties. OOPSLA 2015: 520-534 - 2014
- [c2]Yu Feng, Isil Dillig, Saswat Anand, Alex Aiken:
Apposcopy: automated detection of Android malware (invited talk). DeMobile@SIGSOFT FSE 2014: 13-14 - [c1]Yu Feng
Apposcopy: semantics-based detection of Android malware through static analysis. SIGSOFT FSE 2014: 576-587
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-13 20:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: