Login / Signup
Nir Hemed
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 1
Top Topics
Functional Verification
Cooperative
Multiresolution
Data Flow
Top Venues
PODC
DISC
</>
Publications
</>
Nir Hemed
,
Noam Rinetzky
,
Viktor Vafeiadis
Modular Verification of Concurrency-Aware Linearizability.
DISC
(2015)
Nir Hemed
,
Noam Rinetzky
Brief announcement: concurrency-aware linearizability.
PODC
(2014)