Extending Intel-X86 Consistency and Persistency: Formalising the Semantics of 
Intel-X86 Memory Types and Non-Temporal Stores

Raad, Azalea; Maranget, Luc; Vafeiadis, Viktor

doi:10.1145/3498683

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Journal Article

Extending Intel-X86 Consistency and Persistency: Formalising the Semantics of Intel-X86 Memory Types and Non-Temporal Stores

MPS-Authors

/persons/resource/persons144538

Vafeiadis, Viktor
Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

https://doi.org/10.1145/3462312
(Supplementary material)

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

3498683.pdf
(Publisher version), 531KB

Supplementary Material (public)

There is no public supplementary material available

Citation

Raad, A., Maranget, L., & Vafeiadis, V. (2022). Extending Intel-X86 Consistency and Persistency: Formalising the Semantics of Intel-X86 Memory Types and Non-Temporal Stores. Proceedings of the ACM on Programming Languages, 6, POPL: 22, pp. 1-31. doi:10.1145/3498683.

Cite as: https://hdl.handle.net/21.11116/0000-0009-C6DA-2

Abstract

There is no abstract available