Publications

SymMC: Approximate Model Enumeration and Counting Using Symmetry Information for Alloy Specifications
Wenxi Wang, Yang Hu, Ken McMillan, Sarfraz Khurshid
The 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE’22)
[PREPRINT, CODE]

SapientML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions
Ripon Saha, Akira Ura, Sonal Mahajan, Chenguang Zhu, Linyi Li, Yang Hu, Hiroaki Yoshida, Sarfraz Khurshid, Mukul R. Prasad
The 44th International Conference on Software Engineering (ICSE’22)
*work done during the internship at Fujitsu Research of America - AI Lab
[PAPER]

ACHyb: A Hybrid Analysis Approach to Detect Kernel Access Control Vulnerabilities
Yang Hu, Wenxi Wang, Casen Hunger, Riley Wood, Sarfraz Khurshid, Mohit Tiwari
The 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE’21)
[PAPER, CODE]

Re-factoring based Program Repair applied to Programming Assignments
Yang Hu, Umair Z. Ahmed, Sergey Mechtaev, Ben Leong, Abhik Roychoudhury
The 34th IEEE/ACM International Conference on Automated Software Engineering (ASE’19)
[PAPER, CODE, DATA]

Exploiting Non-Uniform Program Execution Time to Evade Record/Replay Forensic Analysis
Yang Hu, Mingshen Sun, John C.S. Lui
Journal of Computers & Security. Elsevier, Apr. 2019.
[PAPER]

Taming Energy Cost of Disk Encryption Software on Data-Intensive Mobile Devices
Yang Hu, John C.S. Lui, Wenjun Hu, Xiaobo Ma, Jianfeng Li, Xiao Liang
Journal of Future Generation Computer Systems. Elsevier, Sep. 2017.
[PAPER]