Qinxiang Cao

Orcid: 0000-0002-5678-6538

According to our database1, Qinxiang Cao authored at least 17 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
VST-A: A Foundationally Sound Annotation Verifier.
Proc. ACM Program. Lang., January, 2024

2023
Coq Formalization of ZFC Set Theory for Teaching Scenarios.
Int. J. Softw. Informatics, 2023

Towards General Loop Invariant Generation via Coordinating Symbolic Execution and Large Language Models.
CoRR, 2023

Verifying Programs with Logic and Extended Proof Rules: Deep Embedding v.s. Shallow Embedding.
CoRR, 2023

Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

2022
LOGIC: A Coq Library for Logics.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

Multi-View Graph Representation for Programming Language Processing: An Investigation into Algorithm Detection.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Resisting newborn attacks via shared Proof-of-Space.
J. Parallel Distributed Comput., 2021

Symbolic Reasoning About Quantum Circuits in Coq.
J. Comput. Sci. Technol., 2021

Countability of Inductive Types Formalized in the Object-Logic Level.
Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2021

2020
Reentrancy? Yes. Reentrancy Bug? No.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

2019
Certifying graph-manipulating C programs via localizations within data structures.
Proc. ACM Program. Lang., 2019

Proof Pearl: Magic Wand as Frame.
CoRR, 2019

VST-A: A Foundationally Sound Annotation Verifier.
CoRR, 2019

2018
VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs.
J. Autom. Reason., 2018

2017
Bringing Order to the Separation Logic Jungle.
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2013
On axiomatizations of public announcement logic.
Synth., 2013


  Loading...