Qinxiang Cao -

Registered user since Sat 19 Jan 2019

Name:Qinxiang Cao

Country:China

Affiliation:Shanghai Jiao Tong University

Personal website: http://jhc.sjtu.edu.cn/people/members/faculty/qinxiang-cao.html

Contributions

2022

CPP

Committee Member in Program Committee within the CPP 2022-track

2019

SPLASH

Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the Posters-track