Reasoning about Fences and Relaxed Atomics

Mengda He, Viktor Vafeiadis, Shengchao Qin, Joao Ferreira

Research output: Contribution to conferencePaperpeer-review

151 Downloads (Pure)
Original languageEnglish
DOIs
Publication statusPublished - 17 Feb 2016
Event24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing - Heraklion, Crete, Greece
Duration: 17 Feb 201619 Feb 2016

Conference

Conference24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing
Abbreviated titlePDP 2016
CountryGreece
CityCrete
Period17/02/1619/02/16

Cite this