Qinxiang Cao -

Registered user since Sun 26 Jun 2016

Name:Qinxiang Cao

Country:China

Affiliation:Shanghai Jiao Tong University

Personal website: http://jhc.sjtu.edu.cn/people/members/faculty/qinxiang-cao.html

Contributions

2026

PLDI

Author of [TOPLAS] Denotation-based Compositional Compiler Verification within the PLDI Research Papers-track

FM

Author of Formal Verification of Functional Correctness for the OpenHarmony LiteOS-M Kernel within the Industry Day-track

2025

LMPL

Author of The LLM Era Demands Natural-Language-Aligned Theorem Provers for Mathematics within the LMPL 2025-track

SPLASH

Author of Encode the $\forall\exists$ Relational Hoare Logic into Standard Hoare Logic within the OOPSLA-track

2024

POPL

Author of VST-A: A Foundationally Sound Annotation Verifier within the POPL-track

2023

CoqPL

2019

APLAS

Author of A Verified Garbage Collector for Gallina within the APLAS NIER-track

SPLASH

CoqPL

2018

DeepSpec

Author of Verifiable C, a logic and system for proving C programs correct within the DeepSpec 2018-track