Qinxiang Cao

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 24

Top Topics

Language Processing

Denotational Semantics

Top Venues

J. Autom. Reason.

Proc. ACM Program. Lang.

Publications

Lihan Xie, Zhicheng Hui, Qinxiang Cao
A Natural Formalized Proof Language. TASE (2024)
Lihan Xie, Zhicheng Hui, Qinxiang Cao
A Natural Formalized Proof Language. CoRR (2024)
Zhongye Wang, Qinxiang Cao, Yichen Tao
Verifying Programs with Logic and Extended Proof Rules: Deep Embedding vs. Shallow Embedding. J. Autom. Reason. 68 (3) (2024)
Wenjun Shi, Qinxiang Cao, Yuxin Deng
Formalizing the Semantics of a Classical-Quantum Imperative Language in Coq. J. Circuits Syst. Comput. 33 (6) (2024)
Litao Zhou, Jianxing Qin, Qinshi Wang, Andrew W. Appel, Qinxiang Cao
VST-A: A Foundationally Sound Annotation Verifier. Proc. ACM Program. Lang. 8 (POPL) (2024)
Zhang Cheng, Jiyang Wu, Di Wang, Qinxiang Cao
Denotation-based Compositional Compiler Verification. CoRR (2024)
Chang Liu, Xiwei Wu, Yuan Feng, Qinxiang Cao, Junchi Yan
Towards General Loop Invariant Generation via Coordinating Symbolic Execution and Large Language Models. CoRR (2023)
Xinyi Wan, Ke Xu, Qinxiang Cao
Coq Formalization of ZFC Set Theory for Teaching Scenarios. Int. J. Softw. Informatics 13 (3) (2023)
Xinyi Wan, Qinxiang Cao
Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework. SETTA (2023)
Zhongye Wang, Qinxiang Cao, Yichen Tao
Verifying Programs with Logic and Extended Proof Rules: Deep Embedding v.s. Shallow Embedding. CoRR (2023)
Qinxiang Cao, Xiwei Wu, Yalun Liang
A Coq Library of Sets for Teaching Denotational Semantics. ThEdu@CADE (2023)
Ting Long, Yutong Xie, Xianyu Chen, Weinan Zhang, Qinxiang Cao, Yong Yu
Multi-View Graph Representation for Programming Language Processing: An Investigation into Algorithm Detection. CoRR (2022)
Ting Long, Yutong Xie, Xianyu Chen, Weinan Zhang, Qinxiang Cao, Yong Yu
Multi-View Graph Representation for Programming Language Processing: An Investigation into Algorithm Detection. AAAI (2022)
Yichen Tao, Qinxiang Cao
LOGIC: A Coq Library for Logics. SETTA (2022)
Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng
Symbolic Reasoning About Quantum Circuits in Coq. J. Comput. Sci. Technol. 36 (6) (2021)
Qinxiang Cao, Xiwei Wu
Countability of Inductive Types Formalized in the Object-Logic Level. LFMTP (2021)
Shuyang Tang, Jilai Zheng, Yao Deng, Qinxiang Cao
Resisting newborn attacks via shared Proof-of-Space. J. Parallel Distributed Comput. 150 (2021)
Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng
Symbolic Reasoning about Quantum Circuits in Coq. CoRR (2020)
Qinxiang Cao, Zhongye Wang
Reentrancy? Yes. Reentrancy Bug? No. SETTA (2020)
Qinshi Wang, Qinxiang Cao
VST-A: A Foundationally Sound Annotation Verifier. CoRR (2019)
Qinxiang Cao, Shengyi Wang, Aquinas Hobor, Andrew W. Appel
Proof Pearl: Magic Wand as Frame. CoRR (2019)
Shengyi Wang, Qinxiang Cao, Anshuman Mohan, Aquinas Hobor
Certifying graph-manipulating C programs via localizations within data structures. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Qinxiang Cao, Lennart Beringer, Samuel Gruetter, Josiah Dodds, Andrew W. Appel
VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs. J. Autom. Reason. 61 (1-4) (2018)
Qinxiang Cao, Santiago Cuellar, Andrew W. Appel
Bringing Order to the Separation Logic Jungle. APLAS (2017)
Yanjing Wang, Qinxiang Cao
On axiomatizations of public announcement logic. Synth. 190 (Supplement-1) (2013)