Qinxiang Cao - PLDI 2018

Mon 18 - Fri 22 June 2018 Philadelphia, Pennsylvania, United States

Registered user since Sun 26 Jun 2016

Name:Qinxiang Cao

Contributions

2018

DeepSpec

Verifiable C, a logic and system for proving C programs correct

Show activities from other conferences

PLDI 2018-profile
View general profile