Chao Wang

Registered user since Sun 24 May 2015

Name: Chao Wang

Country: United States

Affiliation: Virginia Tech

Personal website:

Research interests: Software Verification, Model Checking, Concurrency, Program Synthesis


PLDI 2015Author of Dynamic Partial Order Reduction for Relaxed Memory Models within the Research Papers-track
Show activities from other conferences

PLDI 2015-profile
View general profile