Yu Feng - Concepedia

Author

Yu Feng

The University of Texas at Austin ORCID

Also Known As

Feng Yu, Feng, Yu, Yu Feng, Yu, Feng

Publications

1.8K

Citations

H-Index

Concepts

All Affiliations

The University of Texas at Austin University of California, Santa Barbara Stanford University University of Washington Carnegie Mellon University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	19	25	1.5K
2	Management	4	4	251
3	Business	1	1	16
4	Language Studies	1	1	26
5	Public Health	1	1	88

Yu Feng

Publications

1.7K

Citations

H-Index

Page 1

	Year	Citations
Apposcopy: semantics-based detection of Android malware through static analysis Yu Feng, Saswat Anand, Alex Aiken Hardware SecurityMobile SecuritySoftware SecurityMalware FamiliesEngineering	2014	434
Component-based synthesis of table consolidation and transformation tasks from examples Yu Feng, Ruben Martins, Jacob Van Geffen, EngineeringSoftware EngineeringSynthesis AlgorithmFormal VerificationSoftware Analysis	2017	137
Component-based synthesis for complex APIs Yu Feng, Ruben Martins, Yuepeng Wang, EngineeringVerificationSoftware EngineeringCompact Petri-net RepresentationSoftware Analysis	2016	113
Program synthesis using conflict-driven learning Yu Feng, Ruben Martins, Osbert Bastani Artificial IntelligenceEngineeringSoftware EngineeringSynthesis AlgorithmSoftware Analysis	2018	108
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds Priyanka Bose, Dipanjan Das, Yanju Chen, 2022 IEEE Symposium on Security and Privacy (SP) Software MaintenanceEngineeringVerificationSoftware EngineeringSmart Contracts	2022	92
A hybrid epidemic model: combining the advantages of agent-based and equation-based approaches Georgiy Bobashev, D. Michael Goedecke, Yu Feng, Winter Simulation Conference VaccinationInfectious Disease ModellingAgent-based ModelsHybrid Epidemic ModelEpidemiological Dynamic	2007	88
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability Yu Feng, Osbert Bastani, Ruben Martins,	2017	86
Precise Detection of Side-Channel Vulnerabilities using Quantitative Cartesian Hoare Logic Jia Chen, Yu Feng Hardware TrojanEngineeringInformation SecurityVerificationPrecise Detection	2017	80
Component-based synthesis of table consolidation and transformation tasks from examples Yu Feng, Ruben Martins, Jacob Van Geffen, ACM SIGPLAN Notices EngineeringSoftware EngineeringSynthesis AlgorithmFormal VerificationSoftware Analysis	2017	51
Trinity Ruben Martins, Jia Chen, Yanju Chen, Proceedings of the VLDB Endowment EngineeringDomain-specific Program SynthesizersSoftware EngineeringSemantic WebSoftware Analysis	2019	40

Page 1