Naling Zhang

Registered user since Tue 17 Feb 2015

Name: Naling Zhang

Bio: Love life!

Country: China

Affiliation: Virginia Tech

Personal website: https://sites.google.com/site/nalingzhang/vt

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

PLDI 2015 Activities

PLDI 2015-profile
View general profile