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

2024

POPL

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

2023

CoqPL

Author of Interactive Theorem Proving in Logic Education：A Coq Formalization of ZFC Set Theory for Discrete Mathematics Teaching within the CoqPL 2023-track
Committee Member in Program Committee within the CoqPL 2023-track

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