Folgen
Yu Feng
Titel
Zitiert von
Zitiert von
Jahr
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
6192014
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
2182017
Program synthesis using conflict-driven learning
Y Feng, R Martins, O Bastani, I Dillig
ACM SIGPLAN Notices 53 (4), 420-435, 2018
2022018
Component-based synthesis for complex APIs
Y Feng, R Martins, Y Wang, I Dillig, TW Reps
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
1832017
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
1152016
Sailfish: Vetting smart contract state-inconsistency bugs in seconds
P Bose, D Das, Y Chen, Y Feng, C Kruegel, G Vigna
2022 IEEE Symposium on Security and Privacy (SP), 161-178, 2022
1042022
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
962017
Precise attack synthesis for smart contracts
Y Feng, E Torlak, R Bodik
arXiv preprint arXiv:1902.06067, 2019
612019
Falx: Synthesis-powered visualization authoring
C Wang, Y Feng, R Bodik, I Dillig, A Cheung, AJ Ko
Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems …, 2021
572021
Program synthesis using deduction-guided reinforcement learning
Y Chen, C Wang, O Bastani, I Dillig, Y Feng
International Conference on Computer Aided Verification, 587-610, 2020
542020
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
492018
Trinity: An extensible synthesis framework for data science
R Martins, J Chen, Y Chen, Y Feng, I Dillig
Proceedings of the VLDB Endowment 12 (12), 1914-1917, 2019
452019
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
452015
Maximal multi-layer specification synthesis
Y Chen, R Martins, Y Feng
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
382019
Demystifying loops in smart contracts
B Mariano, Y Chen, Y Feng, SK Lahiri, I Dillig
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
372020
Oauthlint: An empirical study on oauth bugs in android applications
T Al Rahat, Y Feng, Y Tian
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
372019
Automated transpilation of imperative to functional code using neural-guided program synthesis
B Mariano, Y Chen, Y Feng, G Durrett, I Dillig
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-27, 2022
332022
SolType: refinement types for arithmetic overflow in solidity
B Tan, B Mariano, SK Lahiri, I Dillig, Y Feng
Proceedings of the ACM on Programming Languages 6 (POPL), 1-29, 2022
302022
Relational verification using reinforcement learning
J Chen, J Wei, Y Feng, O Bastani, I Dillig
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019
302019
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
27*2016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20