conf.researchr.org / Mingshuai Chen
Registered user since Mon 27 Feb 2023
Name:Mingshuai Chen
Bio:
I am an Assistant Professor leading the Formal Verification Group at Zhejiang University (ZJU), Hangzhou, China. Prior to joining ZJU, I worked as a Postdoctoral Researcher at the Software Modeling and Verification Group at RWTH Aachen University, Aachen, Germany. In 2019, I received the Ph.D. degree in computer science from the Institute of Software, Chinese Academy of Sciences, Beijing, China.
Country:China
Affiliation:Zhejiang University
Personal website: https://fiction-zju.github.io/author/mingshuai-chen/
Research interests:Logic, Verification and Synthesis, Programming Theory, Quantitative Reasoning, Hybrid Systems
Contributions
2026
SPLASH
- Author of A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs within the OOPSLA-track
- Committee Member in OOPSLA Review Committee within the OOPSLA-track
- Author of Formalizing the Linux eBPF Core ISA: A Mechanized Operational Semantics and Its Real-World Applications within the OOPSLA-track