Login / Signup
Naling Zhang
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 1
Top Topics
Decision Trees
Memory Usage
Bayesian Networks
Statistical Models
Top Venues
PLDI
</>
Publications
</>
Naling Zhang
,
Markus Kusano
,
Chao Wang
Dynamic partial order reduction for relaxed memory models.
PLDI
(2015)