Qinxiang Cao - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

Registered user since Sun 26 Jun 2016

Name:Qinxiang Cao

Country:China

Affiliation:Shanghai Jiao Tong University

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

Contributions

2024

POPL

VST-A: A Foundationally Sound Annotation Verifier

Show activities from other conferences

POPL 2024-profile
View general profile