Minghai Lu

Ph.D. student@Purdue CS

Purdue University

305 N. University Street

West Lafayette, IN 47907

I’m a Ph.D. student in the Department of Computer Science at Purdue University, advised by Professor Tiayi Zhang. I work on software engineering, programming languages and AI. I develop tools that automate programming and theorem proving. Before joining Purdue, I received Bachelor’s degree from Southern University of Science and Technology, advised by Professor Yuqun Zhang.

news

Aug 10, 2024 Our paper - Proof Automation with Large Language Models is accepted by ASE 2024!
Mar 20, 2024 Our paper - Automated Deep Learning Optimization via DSL-based Source Code Transformation is accepted by ISSTA 2024!
Aug 10, 2023 I join Purdue CS as an Ph.D. student.

selected publications

  1. ASE
    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
    DOI