Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces. - Haoxiang Jia; Ming Wen 001; Zifan Xie; Xiaochen Guo; Rongxin Wu; Maolin Sun; Kang Chen; Hai Jin 001 (ICSE, 2023)

Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation. - Zifan Xie; Ming Wen 001; Haoxiang Jia; Xiaochen Guo; Xiaotong Huang; Deqing Zou; Hai Jin 001 (ISSTA, 2023)

AutoLog: A Log Sequence Synthesis Framework for Anomaly Detection. - Yintong Huo; Yichen Li 003; Yuxin Su 001; Pinjia He; Zifan Xie; Michael R. Lyu (ASE, 2023)

Effective Isolation of Fault-Correlated Variables via Statistical and Mutation Analysis. - Ming Wen 001; Zifan Xie; Kaixuan Luo; Xiao Chen; Yibiao Yang; Hai Jin 001 (IEEE Trans. Software Eng., 2023)

Generalization-Enhanced Code Vulnerability Detection via Multi-Task Instruction Fine-Tuning. - Xiaohu Du; Ming Wen 001; Jiahao Zhu; Zifan Xie; Bin Ji 002; Huijun Liu 003; Xuanhua Shi; Hai Jin 001 (ACL (Findings), 2024)

Validating JVM Compilers via Maximizing Optimization Interactions. - Zifan Xie; Ming Wen 001; Shiyu Qiu; Hai Jin 001 (ASPLOS (4), 2024)

How Does Code Optimization Impact Third-party Library Detection for Android Applications? - Zifan Xie; Ming Wen 001; Tinghan Li; Yiding Zhu; Qinsheng Hou; Hai Jin 001 (ASE, 2024)

Unveiling the Characteristics and Impact of Security Patch Evolution. - Zifan Xie; Ming Wen 001; Zichao Wei; Hai Jin 001 (ASE, 2024)

Validating JVM Compilers via Maximizing Optimization Interactions. - Zifan Xie; Ming Wen 001; Shiyu Qiu; Hai Jin 001 (Zenodo, 2024)

Validating JVM Compilers via Maximizing Optimization Interactions. - Zifan Xie; Ming Wen 001; Shiyu Qiu; Hai Jin 001 (Zenodo, 2024)

Unveiling the Characteristics and Impact of Security Patch Evolution. - Zifan Xie; Ming Wen 001; Zichao Wei; Hai Jin 001 (Zenodo, 2024)