Follow
Yang  Hu
Title
Cited by
Cited by
Year
Re-factoring based program repair applied to programming assignments
Y Hu, UZ Ahmed, S Mechtaev, B Leong, A Roychoudhury
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
912019
NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks
W Wang, Y Hu, M Tiwari, S Khurshid, K McMillan, R Miikkulainen
arXiv preprint arXiv:2110.14053, 2021
132021
Taming energy cost of disk encryption software on data-intensive mobile devices
Y Hu, JCS Lui, W Hu, X Ma, J Li, X Liang
Future Generation Computer Systems 107, 681-691, 2020
92020
SapientML: synthesizing machine learning pipelines by learning from human-writen solutions
RK Saha, A Ura, S Mahajan, C Zhu, L Li, Y Hu, H Yoshida, S Khurshid, ...
Proceedings of the 44th International Conference on Software Engineering …, 2022
52022
ACHyb: a hybrid analysis approach to detect kernel access control vulnerabilities
Y Hu, W Wang, C Hunger, R Wood, S Khurshid, M Tiwari
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
22021
Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks
Y Hu, W Wang, S Khurshid, KL McMillan, M Tiwari
2023 38th IEEE/ACM International Conference on Automated Software …, 2023
12023
Greybox Penetration Testing on Cloud Access Control with IAM Modeling and Deep Reinforcement Learning
Y Hu, W Wang, M Tiwari
arXiv preprint arXiv:2304.14540, 2023
2023
SymMC: approximate model enumeration and counting using symmetry information for Alloy specifications
W Wang, Y Hu, KL McMillan, S Khurshid
Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022
2022
Exploiting non-uniform program execution time to evade record/replay forensic analysis
Y Hu, M Sun, JCS Lui
Computers & Security 88, 101516, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–9