Naling Zhang

Registered user since Tue 17 Feb 2015

Name: Naling Zhang

Bio: Love life!

Country: China

Affiliation: Virginia Tech

Personal website:

Research interests: Relaxed memory model, Concurrent Software Verification, Consistency in Distributed Systems


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