Concepedia

Qinxiang Cao

QC

4

Publications

220

Citations

4

H-Index

2013

Active since

Affiliations

Shanghai Jiao Tong University(Current)

Qinxiang Cao is an author at Shanghai Jiao Tong University specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceProgram AnalysisSoftware AnalysisVerificationSystem SoftwareFormal VerificationComputer Engineering

Publications per year

2013–2022

4

Publications

4

VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs

Qinxiang Cao, Lennart Beringer, Samuel Gruetter et al. · Journal of Automated Reasoning · 2018 · 93 citations

Program Checking, Engineering, Verification +17

On axiomatizations of public announcement logic

Yanjing Wang, Qinxiang Cao · Synthese · 2013 · 90 citations

Engineering, Dynamic Epistemic Logic, Automated Reasoning +8

Certifying graph-manipulating C programs via localizations within data structures

Shengyi Wang, Qinxiang Cao, Anshuman Mohan et al. · Proceedings of the ACM on Programming Languages · 2019 · 20 citations · Full text

Program Checking, Engineering, Verification +18

Multi-View Graph Representation for Programming Language Processing: An Investigation into Algorithm Detection

Ting Long, Yutong Xie, Xianyu Chen et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2022 · 17 citations · Full text

Engineering, Software Engineering, Source Code Analysis +28

Rows per page

1–4 of 4