Yu Feng

According to our database, Yu Feng authored at least 45 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Modular Indexer: Fully User-Verified Execution Layer for Meta-Protocols on Bitcoin.

Hongbo Wen, Hanzhi Liu, Shuyang Tang, Shuhan Cao, Domo, Yu Feng

IACR Cryptol. ePrint Arch., 2024

Push-Button Verification for BitVM Implementations.

Hanzhi Liu, Jingyu Ke, Hongbo Wen, Robin Linus, Lukas George, Manish Bista, Hakan Karakus, Domo, Junrui Liu, Yanju Chen, Yu Feng

IACR Cryptol. ePrint Arch., 2024

Scutum: Temporal Verification for Cross-Rollup Bridges via Goal-Driven Reduction.

Yanju Chen, Juson Xia, Bo Wen, Kyle Charbonnet, Hongbo Wen, Hanzhi Liu, Luke Pearson, Yu Feng

IACR Cryptol. ePrint Arch., 2024

FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols.

Hongbo Wen, Hanzhi Liu, Jiaxin Song, Yanju Chen, Wenbo Guo, Yu Feng

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

<i>AuthSaber</i>: Automated Safety Verification of OpenID Connect Programs.

Tamjid Al Rahat, Yu Feng, Yuan Tian

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs.

Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez-Núñez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig

Proc. ACM Program. Lang., 2023

Conflict-Driven Synthesis for Layout Engines.

Junrui Liu, Yanju Chen, Eric Atkinson, Yu Feng, Rastislav Bodík

Proc. ACM Program. Lang., 2023

Practical Security Analysis of Zero-Knowledge Proof Circuits.

Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng

IACR Cryptol. ePrint Arch., 2023

Automated Detection of Underconstrained Circuits for Zero-Knowledge Proofs.

Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez-Núñez, Jacob Van Gaffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig

IACR Cryptol. ePrint Arch., 2023

Certifying Zero-Knowledge Circuits with Refinement Types.

Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng

IACR Cryptol. ePrint Arch., 2023

Fast and Reliable Program Synthesis via User Interaction.

Yanju Chen, Chenglong Wang, Xinyu Wang, Osbert Bastani, Yu Feng

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

SolType: refinement types for arithmetic overflow in solidity.

Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng

Proc. ACM Program. Lang., 2022

Automated transpilation of imperative to functional code using neural-guided program synthesis.

Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig

Proc. ACM Program. Lang., 2022

Synthesis-powered optimization of smart contracts via data type refactoring.

Yanju Chen, Yuepeng Wang, Maruth Goyal, James Dong, Yu Feng, Isil Dillig

Proc. ACM Program. Lang., 2022

Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version).

Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig

CoRR, 2022

SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds.

Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, Giovanni Vigna

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Visualization question answering using introspective program synthesis.

Yanju Chen, Xifeng Yan, Yu Feng

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Learning Contract Invariants Using Reinforcement Learning.

Junrui Liu, Yanju Chen, Bryan Tan, Isil Dillig, Yu Feng

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Cerberus: Query-driven Scalable Vulnerability Detection in OAuth Service Provider Implementations.

Tamjid Al Rahat, Yu Feng, Yuan Tian

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

Tree traversal synthesis using domain-specific symbolic compilation.

Yanju Chen, Junrui Liu, Yu Feng, Rastislav Bodík

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2021

OAuthShield: Efficient Security Checking for OAuth Service Provider Implementations.

Tamjid Al Rahat, Yu Feng, Yuan Tian

CoRR, 2021

SolType: Refinement Types for Solidity.

Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng

CoRR, 2021

Checking conformance of applications against GUI policies.

Zhen Zhang, Yu Feng, Michael D. Ernst, Sebastian Porst, Isil Dillig

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Falx: Synthesis-Powered Visualization Authoring.

Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko

Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

2020

Visualization by example.

Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig

Proc. ACM Program. Lang., 2020

Demystifying Loops in Smart Contracts.

Benjamin Mariano, Yanju Chen, Yu Feng, Shuvendu K. Lahiri, Isil Dillig

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Summary-Based Symbolic Evaluation for Smart Contracts.

Yu Feng, Emina Torlak, Rastislav Bodík

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Program Synthesis Using Deduction-Guided Reinforcement Learning.

Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig, Yu Feng

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Trinity: An Extensible Synthesis Framework for Data Science.

Ruben Martins, Jia Chen, Yanju Chen, Yu Feng, Isil Dillig

Proc. VLDB Endow., 2019

Relational verification using reinforcement learning.

Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, Isil Dillig

Proc. ACM Program. Lang., 2019

Precise Attack Synthesis for Smart Contracts.

Yu Feng, Emina Torlak, Rastislav Bodík

CoRR, 2019

Maximal multi-layer specification synthesis.

Yanju Chen, Ruben Martins, Yu Feng

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

OAUTHLINT: An Empirical Study on OAuth Bugs in Android Applications.

Tamjid Al Rahat, Yu Feng, Yuan Tian

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

Singularity: pattern fuzzing for worst case complexity.

Jiayi Wei, Jia Chen, Yu Feng, Kostas Ferles, Isil Dillig

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Program synthesis using conflict-driven learning.

Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

Component-based synthesis for complex APIs.

Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Component-based synthesis of table consolidation and transformation tasks from examples.

Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.

Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

Precise Detection of Side-Channel Vulnerabilities using Quantitative Cartesian Hoare Logic.

Jia Chen, Yu Feng, Isil Dillig

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Type-Directed Code Reuse using Integer Linear Programming.

Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss

CoRR, 2016

Hunter: next-generation code reuse for Java.

Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2015

EXPLORER : query- and demand-driven exploration of interprocedural control flow properties.

Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Bottom-Up Context-Sensitive Pointer Analysis for Java.

Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

Apposcopy: automated detection of Android malware (invited talk).

Yu Feng, Isil Dillig, Saswat Anand, Alex Aiken

Proceedings of the 2nd International Workshop on Software Development Lifecycle for Mobile, 2014

Apposcopy: semantics-based detection of Android malware through static analysis.

Yu Feng, Saswat Anand, Isil Dillig, Alex Aiken

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014