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

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