Reasoning about Fences and Relaxed Atomics

Mengda He; Viktor Vafeiadis; Shengchao Qin; Joao Ferreira

doi:10.1109/PDP.2016.103

Reasoning about Fences and Relaxed Atomics

Mengda He, Viktor Vafeiadis, Shengchao Qin, Joao Ferreira

SCEDT School Executive Team

Research output: Contribution to conference › Paper › peer-review

288 Downloads (Pure)

Original language	English
DOIs	https://doi.org/10.1109/PDP.2016.103
Publication status	Published - 17 Feb 2016
Event	24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing - Heraklion, Crete, Greece Duration: 17 Feb 2016 → 19 Feb 2016

Conference

Conference	24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing
Abbreviated title	PDP 2016
Country/Territory	Greece
City	Crete
Period	17/02/16 → 19/02/16

Access to Document

10.1109/PDP.2016.103Licence: Other

Accepted manuscriptAccepted author manuscript, 471 KBLicence: CC BY-NC-ND

Cite this

@conference{c8380d0525604f3a8d6cf580ba5a70cf,

title = "Reasoning about Fences and Relaxed Atomics",

author = "Mengda He and Viktor Vafeiadis and Shengchao Qin and Joao Ferreira",

year = "2016",

month = feb,

day = "17",

doi = "10.1109/PDP.2016.103",

language = "English",

note = "24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016 ; Conference date: 17-02-2016 Through 19-02-2016",

}

TY - CONF

T1 - Reasoning about Fences and Relaxed Atomics

AU - He, Mengda

AU - Vafeiadis, Viktor

AU - Qin, Shengchao

AU - Ferreira, Joao

PY - 2016/2/17

Y1 - 2016/2/17

U2 - 10.1109/PDP.2016.103

DO - 10.1109/PDP.2016.103

M3 - Paper

T2 - 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing

Y2 - 17 February 2016 through 19 February 2016

ER -