关注
Minghai Lu
Minghai Lu
在 purdue.edu 的电子邮件经过验证
标题
引用次数
引用次数
年份
Jitfuzz: Coverage-guided fuzzing for jvm just-in-time compilers
M Wu, M Lu, H Cui, J Chen, Y Zhang, L Zhang
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
232023
SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing
M Wu, Y Ouyang, M Lu, J Chen, Y Zhao, H Cui, G Yang, Y Zhang
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
122023
JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers. In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE). 56–68
M Wu, M Lu, H Cui, J Chen, Y Zhang, L Zhang
72023
Proof automation with large language models
M Lu, B Delaware, T Zhang
Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024
52024
Automated Deep Learning Optimization via DSL-Based Source Code Transformation
R Wang, M Lu, CH Yu, YH Lai, T Zhang
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 2024
12024
系统目前无法执行此操作,请稍后再试。
文章 1–5