Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Naling Zhang
conf.researchr.org general profile
PLDI 2015 profile
Registered user since Tue 17 Feb 2015
Name:
Naling Zhang
Affiliation:
Virginia Tech
Contributions
2015
PLDI
Author of Dynamic Partial Order Reduction for Relaxed Memory Models within the Research Papers-track
Share
x
Tue 3 Dec 17:58