publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2024

  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
  2. ISSTA
    Automated Deep Learning Optimization via DSL-Based Source Code Transformation
    Ruixin Wang, Minghai Lu, Cody Hao Yu, and 2 more authors
    In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, Vienna, Austria, 2024
    DOI

2023

  1. ESEC/FSE
    SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing
    Mingyuan Wu, Yicheng Ouyang, Minghai Lu, and 5 more authors
    In Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, San Francisco, CA, USA, 2023
    DOI
  2. ICSE
    JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers
    Mingyuan Wu, Minghai Lu, Heming Cui, and 3 more authors
    In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023
    DOI