Concepedia

Yu Feng

YF

32

Publications

1.7K

Citations

20

H-Index

2007

Active since

Affiliations

The University of Texas at Austin(Current)

University of California, Santa Barbara

Stanford University

University of Washington

Carnegie Mellon University

Yu Feng is an author at The University of Texas at Austin specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsSoftware EngineeringFormal VerificationSoftware DesignSoftware TestingAutomated Reasoning

Publications per year

2007–2023

32

Publications

32

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

Yu Feng, Saswat Anand, Alex Aiken · 2014 · 434 citations

Hardware Security, Mobile Security, Software Security +14

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

Yu Feng, Ruben Martins, Jacob Van Geffen et al. · 2017 · 137 citations

Engineering, Software Engineering, Synthesis Algorithm +23

Component-based synthesis for complex APIs

Yu Feng, Ruben Martins, Yuepeng Wang et al. · 2016 · 113 citations · Full text

Engineering, Verification, Software Engineering +21

Program synthesis using conflict-driven learning

Yu Feng, Ruben Martins, Osbert Bastani · 2018 · 108 citations · Full text

Artificial Intelligence, Engineering, Software Engineering +16

SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds

Priyanka Bose, Dipanjan Das, Yanju Chen et al. · 2022 IEEE Symposium on Security and Privacy (SP) · 2022 · 92 citations

Software Maintenance, Engineering, Verification +21

Rows per page

1–5 of 32