Apex: automatic programming assignment error explanation. - Dohyeong Kim; Yonghwi Kwon 001; Peng Liu 010; I Luk Kim; David Mitchel Perry; Xiangyu Zhang 001; Gustavo Rodriguez-Rivera (OOPSLA, 2016)

Accelerating array constraints in symbolic execution. - David Mitchel Perry; Andrea Mattavelli; Xiangyu Zhang 001; Cristian Cadar (ISSTA, 2017)

UI driven Android application reduction. - Jianjun Huang 001; Yousra Aafer; David Mitchel Perry; Xiangyu Zhang 001; Chen Tian 002 (ASE, 2017)

SLF: fuzzing without valid seed inputs. - Wei You 001; Xuwei Liu; Shiqing Ma; David Mitchel Perry; Xiangyu Zhang 001; Bin Liang 002 (ICSE, 2019)

SemCluster: clustering of imperative programming assignments based on quantitative semantic features. - David Mitchel Perry; Dohyeong Kim; Roopsha Samanta; Xiangyu Zhang 001 (PLDI, 2019)

Establish a scientific concept of network security and build a strong defense line of network security. - Changxiang Shen; Lei Zhang; David Mitchel Perry; Guangyi Liu (CyberC, 2020)