JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers. - Mingyuan Wu; Minghai Lu; Heming Cui; Junjie Chen 003; Yuqun Zhang; Lingming Zhang 001 (ICSE, 2023)

SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing. - Mingyuan Wu; Yicheng Ouyang; Minghai Lu; Junjie Chen 003; Yingquan Zhao; Heming Cui; Guowei Yang 001; Yuqun Zhang (ESEC/SIGSOFT FSE, 2023)

Automated Deep Learning Optimization via DSL-Based Source Code Transformation. - Ruixin Wang; Minghai Lu; Cody Hao Yu; Yi-Hsiang Lai; Tianyi Zhang 001 (ISSTA, 2024)

Proof Automation with Large Language Models. - Minghai Lu; Benjamin Delaware; Tianyi Zhang 001 (ASE, 2024)