Qualified C Programming
We thank all current and former team members, as well as collaborating faculty and students, for their contributions to QCP. This page introduces the people involved and their main contributions.
Current Members
7 membersCustomizable separation logic solver in QCP, QCP 2.0 symbolic execution, QCP MCP.
QCP built-in solver, QCP Lean library.
Relational Hoare logic support in QCP.
QCP symbolic execution, soundness proof construction.
Separation logic base library, relational Hoare logic support in QCP.
QCP 2.0 symbolic execution and AI agent development.
Development and maintenance of the QCP Online Judge.
Former Members
10 membersQCP 1.0 frontend language implementation, type inference, symbolic execution.
QCP 1.0 symbolic execution and tool soundness proof construction.
Customizable separation logic solver in QCP, QCP 2.0 symbolic execution.
Assertion handling in QCP.
QCP Lean library.
Assertion handling in QCP.
Separation logic base library.
QCP MCP.
QCP symbolic execution, relational Hoare logic support in QCP, QCP VSCode plugin.
QCP web frontend.
Special thanks to Prof. Naijun Zhan, Prof. Zhenjiang Hu, and Prof. Yu Yu for their guidance on QCP tools and applications, and to Qinshi Wang, Yibo Dong, Litao Zhou, Jianhang Qin, Zhongye Wang, Yazhou Tang, Yanning Chen, and Hanzhi Liu for their contributions in early project exploration.