Home

Qinxiang Cao


About
Assistant Professor (tenure-track)
John Hopcroft Center for Computer Science
Shanghai Jiao Tong University
Research Interests

Algorithm correctness verification, program verification, program semantics, separation logic, concurrent program verification.

Selected Publications
 
  • VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs, Qinxiang Cao, Lennart Beringer, Samuel Gruetter, Josiah Dodds and Andrew W. Appel. Journal of Automatic Reasoning (JAR) 2018. 
  • Proof pearl: Magic wand as frame, by Qinxiang Cao, Shengyi Wang, Aquinas Hobor, and Andrew W. Appel, February 2018. 
  • Bringing Order to the Separation Logic Jungle, Qinxiang Cao, Santiago Cuellar, Andrew W. Appel. In Asian Symposium on Programming Language and Systems (APLAS) 2017. 
  • On Axiomatizations of Public Announcement Logic, Yanjing Wang and Qinxiang Cao. In Synthes 190 (2013): 190, 103–134. 
  • Verifiable C. Fifth Volumn of Software Foundation. Andrew W. Appel and Qinxiang Cao. (In preparation)
© John Hopcroft Center for Computer Science, Shanghai Jiao Tong University
分享到

地址:上海市东川路800号上海交通大学软件大楼专家楼
邮箱:jhc@sjtu.edu.cn 电话:021-54740299
邮编:200240