cv
This is a description of the page. You can modify it in '_pages/cv.md'. You can also change or remove the top pdf download button.
Basics
| Name | Minghai Lu |
| Label | Ph.D. student |
| lu1074@purdue.edu | |
| Phone | (765) 421-0893 |
| Url | https://lachinygair.github.io |
| Summary | Ph.D student@Purdue CS |
Work
-
2023 - 2024 Graduate Teaching Assistant
Institute for Advanced Study, Princeton University
Teaching at Palmer Physical Laboratory (now 302 Frist Campus Center). While not a professor at Princeton, I associated with the physics professors and continued to give lectures on campus.
- Relativity
Education
-
2023.8 - Current West Lafayette, United States
Awards
- 1921.11.01
Nobel Prize in Physics
Royal Swedish Academy of Sciences
The Nobel Prizes are five separate prizes that, according to Alfred Nobel's will of 1895, are awarded to 'those who, during the preceding year, have conferred the greatest benefit to humankind.'
Publications
-
2024.08 Proof Automation with Large Language Models
Minghai Lu, Benjamin Delaware, and Tianyi Zhang
In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, Sacramento, CA, USA, 2024
-
2024.03 Automated Deep Learning Optimization via DSL-Based Source Code Transformation
Ruixin Wang, Minghai Lu, Cody Hao Yu, and Yi-Hsiang Lai, Tianyi Zhang
In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, Vienna, Austria, 2024
-
2023.05 JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers
Mingyuan Wu, Minghai Lu, Heming Cui, and Junjie Chen, Yuqun Zhang, Lingming Zhang
In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023
-
2023.05 SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing
Mingyuan Wu, Yicheng Ouyang, Minghai Lu, and Junjie Chen, Yingquan Zhao, Heming Cui, Guowei Yang, Yuqun Zhang
In Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, San Francisco, CA, USA, 2023
Skills
| CS | |
| Quantum Mechanics | |
| Quantum Computing | |
| Quantum Information | |
| Quantum Cryptography | |
| Quantum Communication | |
| Quantum Teleportation |
Languages
| Chinese | |
| Native speaker |
| English | |
| Fluent |
References
| Professor John Doe | |
| Lorem ipsum dolor sit amet, consectetur adipiscing elit. Aliquam condimentum, diam quis convallis euismod, arcu mi ullamcorper lorem, a vestibulum nunc magna at sem. Sed in risus ac felis varius blandit. D |