Yu Feng
タイトル引用先
Apposcopy: Semantics-based detection of android malware through static analysis
Y Feng, S Anand, I Dillig, A Aiken
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
2642014
Component-based synthesis for complex APIs
Y Feng, R Martins, Y Wang, I Dillig, TW Reps
ACM SIGPLAN Notices 52 (1), 599-612, 2017
42*2017
Component-based synthesis of table consolidation and transformation tasks from examples
Y Feng, R Martins, J Van Geffen, I Dillig, S Chaudhuri
ACM SIGPLAN Notices 52 (6), 422-436, 2017
302017
Automated synthesis of semantic malware signatures using maximum satisfiability
Y Feng, O Bastani, R Martins, I Dillig, S Anand
arXiv preprint arXiv:1608.06254, 2016
232016
Precise detection of side-channel vulnerabilities using quantitative cartesian hoare logic
J Chen, Y Feng, I Dillig
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
192017
Program synthesis using conflict-driven learning
Y Feng, R Martins, O Bastani, I Dillig
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
112018
Bottom-up context-sensitive pointer analysis for Java
Y Feng, X Wang, I Dillig, T Dillig
Asian Symposium on Programming Languages and Systems, 465-484, 2015
102015
EXPLORER: query-and demand-driven exploration of interprocedural control flow properties
Y Feng, X Wang, I Dillig, C Lin
Acm Sigplan Notices 50 (10), 520-534, 2015
102015
Hunter: next-generation code reuse for java
Y Wang, Y Feng, R Martins, A Kaushik, I Dillig, SP Reiss
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
7*2016
Singularity: pattern fuzzing for worst case complexity
J Wei, J Chen, Y Feng, K Ferles, I Dillig
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
12018
Program synthesis using statistical models and logical reasoning
Y Feng
2018
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–11