Cao, Qinxiang
- Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
2023/11/17 by Liu, Chang, Wu, Xiwei, Feng, Yuan +2 · 4 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Proof Pearl: Magic Wand as Frame
2019/09/19 by Qinxiang Cao, Cao, Qinxiang, Shengyi Wang +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing
- Automated Synthesis of Formally Verified Multi-Abstraction Function Summaries
2025/06/11 by Yang, Fanpeng, Ma, Xu, Wang, Shuling +5 · 3 citations
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- Multi-View Graph Representation for Programming Language Processing: An Investigation into Algorithm Detection
2022/02/25 by Ting Long, Yutong Xie, Long, Ting +9 · 1 citation
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Online Learning and Analytics #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques