Maolin Sun

I am pursuing the Ph.D. degree at School of Computer Science, Nanjing University, advised by Yuming Zhou and Yibiao Yang.

I received my M.Sc. degree from Huazhong University of Science and Technology in 2023, advised by Ming Wen.

My current research interests revolve around automated testing and analysis technologies for software.

E-mail  /  Google Scholar  /  GitHub  /  ORCID

profile photo
Recent News
  • [2025.12] Selected for the Young Talent Support Project Doctoral Special Program of CAST.
  • [2025.11] Our paper working on SMT Solver Fuzzing was accepted to ASPLOS 2026!
  • [2025.10] Our paper working on Compiler Fault Isolation was accepted to ICSE 2026!
  • [2025.10] Serve as a member of the junior PC for MSR 2026.
  • [2025.8] Our paper working on SMT Solver Validation was accepted to OOPSLA 2025!
  • [2025.5] Our paper working on Compiler Fault Isolation was accepted to IEEE TSE!
  • [2025.4] Our paper working on Compiler Testing was accepted to USENIX ATC 2025!
Selected Publications
Services
  • MSR 2026 Junior Program Committee Member
  • ISSTA 2025 Artifact Evaluation Committee (AEC) Member
  • OOSLA 2025 Artifact Evaluation Committee (AEC) Member
  • ISSTA 2024 Artifact Evaluation Committee (AEC) Member
  • PLDI 2024 Artifact Evaluation Committee (AEC) Member
Awards and Honors
  • 🏆💰 NSFC Young Student Basic Research Program (PhD candidate), 2025, PI
    国家自然科学基金青年学生基础研究项目（博士研究生）
  • 🏆💰 Young Talent Support Project Doctoral Special Program of China Association for Science and Technology, 2025
    中国科协青年科技人才培育工程博士生专项计划（托举学会：中国计算机学会）
  • 🏆💰 National Scholarship, 2025
  • 🏆💰 ASPLOS'25 Travel Grant Award
  • 🏆 Excellent Postgraduate of Nanjing University, 2024
  • 🏆 Excellent Postgraduate of Nanjing University, 2023
  • 🏆 Outstanding Graduate of Huazhong University of Science and Technology

Design and source code from Jon Barron