Chao Wang

Registered user since Sun 24 May 2015

Name: Chao Wang

Country: United States

Affiliation: Virginia Tech

Personal website: http://www.ece.vt.edu/chaowang

Research interests: concurrency, automated verification, program synthesis

PLDI 2016-profile
View general profile