Minghai Lu

According to our database, Minghai Lu authored at least 4 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Proof Automation with Large Language Models.

Minghai Lu, Benjamin Delaware, Tianyi Zhang

CoRR, 2024

Automated Deep Learning Optimization via DSL-Based Source Code Transformation.

Ruixin Wang, Minghai Lu, Cody Hao Yu, Yi-Hsiang Lai, Tianyi Zhang

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing.

Mingyuan Wu, Yicheng Ouyang, Minghai Lu, Junjie Chen, Yingquan Zhao, Heming Cui, Guowei Yang, Yuqun Zhang

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers.

Mingyuan Wu, Minghai Lu, Heming Cui, Junjie Chen, Yuqun Zhang, Lingming Zhang

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023