• Sign in
  • Sign up
conf.researchr.org / Qinxiang Cao
  • APLAS 2019 profile
  • PLDI 2018 profile
  • POPL 2019 profile
  • SPLASH 2019 profile
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

APLAS 2019 Author of A Verified Garbage Collector for Gallina within the APLAS NIER-track
CoqPL 2019 Author of Deep Embedded Hoare Logic for Building Machine-Checkable Foundational Program Correctness Proofs within the CoqPL-track
Session Chair of Contributed Talks 3 & Coq Developers (part of CoqPL)
SPLASH 2019 Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA-track
Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA Artifacts-track
DeepSpec 2018 Author of Verifiable C, a logic and system for proving C programs correct within the DeepSpec 2018-track

Share
xTue 5 Jul 23:45
using conf.researchr.org (v1.56.1)
Support page
Sign Up