Yu Feng

57 papers A* 20A 1B 1Journal 28Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Automated Repair of OpenID Connect Programs (Extended Version).
CoRR
Tamjid Al Rahat, Yanju Chen, Yu Feng, Yuan Tian
2025 A* conf
Automated Repair of OpenID Connect Programs.
ASE
Tamjid Al Rahat, Yanju Chen, Yu Feng, Yuan Tian
2025 J jnl
Tabby: A Synthesis-Aided Compiler for High-Performance Zero-Knowledge Proof Circuits.
Proc. ACM Program. Lang.
Junrui Liu, Jiaxin Song, Yanning Chen, Hanzhi Liu, Hongbo Wen, Luke Pearson, Yanju Chen, Yu Feng
2025 J jnl
Thunderbolt: A Formally Verified Protocol for Off-Chain Bitcoin Transfers.
IACR Cryptol. ePrint Arch.
Hongbo Wen, Hanzhi Liu, Jingyu Ke, Yanju Chen, Dahlia Malkhi, Yu Feng
2024 A* conf
Certifying Zero-Knowledge Circuits with Refinement Types.
SP
Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng
2024 A* conf
FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols.
CCS
Hongbo Wen, Hanzhi Liu, Jiaxin Song, Yanju Chen, Wenbo Guo, Yu Feng
2024 J jnl
FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols.
CoRR
Hongbo Wen, Hanzhi Liu, Jiaxin Song, Yanju Chen, Wenbo Guo, Yu Feng
2024 J jnl
Modular Indexer: Fully User-Verified Execution Layer for Meta-Protocols on Bitcoin.
IACR Cryptol. ePrint Arch.
Hongbo Wen, Hanzhi Liu, Shuyang Tang, Shuhan Cao, Domo, Yu Feng
2024 A* conf
Practical Security Analysis of Zero-Knowledge Proof Circuits.
USENIX Security Symposium
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
2024 J jnl
Push-Button Verification for BitVM Implementations.
IACR Cryptol. ePrint Arch.
Hanzhi Liu, Jingyu Ke, Hongbo Wen, Robin Linus, Lukas George, Manish Bista, Hakan Karakus, Domo, Junrui Liu, Yanju Chen, Yu Feng
2024 A* conf
Refinement Types for Visualization.
ASE
Jingtao Xia, Junrui Liu, Nicholas Brown, Yanju Chen, Yu Feng
2024 J jnl
Scutum: Temporal Verification for Cross-Rollup Bridges via Goal-Driven Reduction.
IACR Cryptol. ePrint Arch.
Yanju Chen, Juson Xia, Bo Wen, Kyle Charbonnet, Hongbo Wen, Hanzhi Liu, Luke Pearson, Yu Feng
2023 J jnl
Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs.
Proc. ACM Program. Lang.
Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez-Núñez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig
2023 J jnl
Automated Detection of Underconstrained Circuits for Zero-Knowledge Proofs.
IACR Cryptol. ePrint Arch.
Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez-Núñez, Jacob Van Gaffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig
2023 J jnl
Certifying Zero-Knowledge Circuits with Refinement Types.
IACR Cryptol. ePrint Arch.
Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng
2023 J jnl
Conflict-Driven Synthesis for Layout Engines.
Proc. ACM Program. Lang.
Junrui Liu, Yanju Chen, Eric Atkinson, Yu Feng, Rastislav Bodík
2023 A* conf
Fast and Reliable Program Synthesis via User Interaction.
ASE
Yanju Chen, Chenglong Wang, Xinyu Wang, Osbert Bastani, Yu Feng
2023 J jnl
Practical Security Analysis of Zero-Knowledge Proof Circuits.
IACR Cryptol. ePrint Arch.
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
2022 J jnl
Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version).
CoRR
Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig
2022 J jnl
Automated transpilation of imperative to functional code using neural-guided program synthesis.
Proc. ACM Program. Lang.
Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig
2022 A* conf
Cerberus: Query-driven Scalable Vulnerability Detection in OAuth Service Provider Implementations.
CCS
Tamjid Al Rahat, Yu Feng, Yuan Tian
2022 A* conf
Learning Contract Invariants Using Reinforcement Learning.
ASE
Junrui Liu, Yanju Chen, Bryan Tan, Isil Dillig, Yu Feng
2022 A* conf
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds.
SP
Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, Giovanni Vigna
2022 J jnl
SolType: refinement types for arithmetic overflow in solidity.
Proc. ACM Program. Lang.
Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng
2022 J jnl
Synthesis-powered optimization of smart contracts via data type refactoring.
Proc. ACM Program. Lang.
Yanju Chen, Yuepeng Wang, Maruth Goyal, James Dong, Yu Feng, Isil Dillig
2022 A* conf
Tree traversal synthesis using domain-specific symbolic compilation.
ASPLOS
Yanju Chen, Junrui Liu, Yu Feng, Rastislav Bodík
2022 A* conf
Visualization question answering using introspective program synthesis.
PLDI
Yanju Chen, Xifeng Yan, Yu Feng
2021 — conf
Checking conformance of applications against GUI policies.
ESEC/SIGSOFT FSE
Zhen Zhang, Yu Feng, Michael D. Ernst, Sebastian Porst, Isil Dillig
2021 A* conf
Falx: Synthesis-Powered Visualization Authoring.
CHI
Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko
2021 J jnl
Falx: Synthesis-Powered Visualization Authoring.
CoRR
Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko
2021 J jnl
OAuthShield: Efficient Security Checking for OAuth Service Provider Implementations.
CoRR
Tamjid Al Rahat, Yu Feng, Yuan Tian
2021 J jnl
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds.
CoRR
Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, Giovanni Vigna
2021 J jnl
SolType: Refinement Types for Solidity.
CoRR
Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng
2020 A* conf
Demystifying Loops in Smart Contracts.
ASE
Benjamin Mariano, Yanju Chen, Yu Feng, Shuvendu K. Lahiri, Isil Dillig
2020 — conf
Program Synthesis Using Deduction-Guided Reinforcement Learning.
CAV (2)
Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig, Yu Feng
2020 A* conf
Summary-Based Symbolic Evaluation for Smart Contracts.
ASE
Yu Feng, Emina Torlak, Rastislav Bodík
2020 J jnl
Visualization by example.
Proc. ACM Program. Lang.
Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig
2019 — conf
Maximal multi-layer specification synthesis.
ESEC/SIGSOFT FSE
Yanju Chen, Ruben Martins, Yu Feng
2019 A* conf
OAUTHLINT: An Empirical Study on OAuth Bugs in Android Applications.
ASE
Tamjid Al Rahat, Yu Feng, Yuan Tian
2019 J jnl
Precise Attack Synthesis for Smart Contracts.
CoRR
Yu Feng, Emina Torlak, Rastislav Bodík
2019 J jnl
Relational verification using reinforcement learning.
Proc. ACM Program. Lang.
Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, Isil Dillig
2019 J jnl
Trinity: An Extensible Synthesis Framework for Data Science.
Proc. VLDB Endow.
Ruben Martins, Jia Chen, Yanju Chen, Yu Feng, Isil Dillig
2019 J jnl
Visualization by Example.
CoRR
Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig
2018 A* conf
Program synthesis using conflict-driven learning.
PLDI
Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig
2018 — conf
Singularity: pattern fuzzing for worst case complexity.
ESEC/SIGSOFT FSE
Jiayi Wei, Jia Chen, Yu Feng, Kostas Ferles, Isil Dillig
2017 A* conf
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.
NDSS
Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand
2017 A* conf
Component-based synthesis for complex APIs.
POPL
Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps
2017 A* conf
Component-based synthesis of table consolidation and transformation tasks from examples.
PLDI
Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri
2017 A* conf
Precise Detection of Side-Channel Vulnerabilities using Quantitative Cartesian Hoare Logic.
CCS
Jia Chen, Yu Feng, Isil Dillig
2016 J jnl
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.
CoRR
Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand
2016 J jnl
Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples.
CoRR
Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri
2016 — conf
Hunter: next-generation code reuse for Java.
SIGSOFT FSE
Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss
2016 J jnl
Type-Directed Code Reuse using Integer Linear Programming.
CoRR
Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss
2015 B conf
Bottom-Up Context-Sensitive Pointer Analysis for Java.
APLAS
Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig
2015 A conf
EXPLORER : query- and demand-driven exploration of interprocedural control flow properties.
OOPSLA
Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin
2014 — conf
Apposcopy: automated detection of Android malware (invited talk).
DeMobile@SIGSOFT FSE
Yu Feng, Isil Dillig, Saswat Anand, Alex Aiken
2014 — conf
Apposcopy: semantics-based detection of Android malware through static analysis.
SIGSOFT FSE
Yu Feng, Saswat Anand, Isil Dillig, Alex Aiken