Reasoning about Fences and Relaxed Atomics

Mengda He, Viktor Vafeiadis, Shengchao Qin, Joao Ferreira

Research output: Contribution to conferencePaper

135 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

He, M., Vafeiadis, V., Qin, S., & Ferreira, J. (2016). Reasoning about Fences and Relaxed Atomics. Paper presented at 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, Crete, Greece. https://doi.org/10.1109/PDP.2016.103