Publications
Natural Symbolic Execution-based Testing for Big Data Analytics
Yaoxuan Wu, Ahmad Humayun, Muhammad Ali Gulzar, and Miryung Kim
In FSE24. [pdf]NaturalFuzz: Natural Input Generation for Big Data Analytics
Ahmad Humayun, Yaoxuan Wu, Miryung Kim, and Muhammad Ali Gulzar
In ASE23. [pdf]Pelican: Exploiting Backdoors of Naturally Trained Deep Learning Models In Binary Code Analysis
Zhuo Zhang, Guanhong Tao, Guangyu Shen, Shengwei An, Qiuling Xu, Yingqi Liu, Yapeng Ye, Yaoxuan Wu, and Xiangyu Zhang
In USENIX23. [pdf]