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, 2025 Our paper - LLM-Assisted Synthesis of High-Assurance C Programs is accepted by ASE 2025!
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
    LLM-Assisted Synthesis of High-Assurance C Programs
    Prasita Mukherjee, Minghai Lu, and Benjamin Delaware
    In Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025
    DOI
  2. 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