PLDI 2015
Sat 13 - Wed 17 June 2015 Portland, Oregon, United States
PLDI 2015 (series) / Chao Wang
Chao Wang

Registered user since Sun 24 May 2015

Name:Chao Wang
Country:United States
Affiliation:Virginia Tech
Personal website: http://www-bcf.usc.edu/~wang626/
Research interests:Software Verification, Model Checking, Concurrency, Program Synthesis

Contributions

Show activities from other conferences

PLDI 2015-profile
View general profile