@inproceedings{7ebc4c67e473439aba77f466447cc276,
title = "Algebraic Semantics for C++11 Memory Model",
abstract = "The C++11 standard introduced a language level weak memory model (i.e., the C++11 memory model) to improve the performance of the execution of C/C++ programs. Algebra is well-suited for direct use by engineers in symbolic calculation of parameters. It is a challenge to investigate the algebraic semantics for the C++11 memory model. Inspired by the promising semantics, in this paper, we explore the algebraic laws for the C++11 memory model, including a set of sequential and parallel expansion laws. We introduce the concept of guarded choice, and every program under the C++11 memory model can be converted into the head normal form of guarded choice. In addition, the proposed algebraic laws are implemented in the rewriting engine Maude.",
keywords = "Algebraic Laws, C++11 Memory Model, Maude, Relaxed Memory Model",
author = "Lili Xiao and Huibiao Zhu and Mengda He and Shengchao Qin",
note = "Publisher Copyright: {\textcopyright} 2022 IEEE.; 46th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2022 ; Conference date: 27-06-2022 Through 01-07-2022",
year = "2022",
doi = "10.1109/COMPSAC54236.2022.00240",
language = "英语",
series = "Proceedings - 2022 IEEE 46th Annual Computers, Software, and Applications Conference, COMPSAC 2022",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "1513--1518",
editor = "\{Va Leong\}, Hong and Sarvestani, \{Sahra Sedigh\} and Yuuichi Teranishi and Alfredo Cuzzocrea and Hiroki Kashiwazaki and Dave Towey and Ji-Jiang Yang and Hossain Shahriar",
booktitle = "Proceedings - 2022 IEEE 46th Annual Computers, Software, and Applications Conference, COMPSAC 2022",
address = "美国",
}