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

• [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!

• 🏆💰 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