Naling Zhang

Registered user since Tue 17 Feb 2015

Name:Naling Zhang
Bio:

Love life!

Country:China
Affiliation:Virginia Tech
Research interests:Relaxed memory model, Concurrent Software Verification, Consistency in Distributed Systems

Contributions

Show activities from other conferences

PLDI 2015-profile
View general profile