@inproceedings{84971354cc624eb195c0aba17cc4d5ab,
title = "A Denotational Approach to Release/Acquire Concurrency",
abstract = "We present a compositional denotational semantics for a functional language with first-class parallel composition and shared-memory operations whose operational semantics follows the Release/Acquire weak memory model (RA). The semantics is formulated in Moggi{\textquoteright}s monadic approach, and is based on Brookes-style traces. To do so we adapt Brookes{\textquoteright}s traces to Kang et al.{\textquoteright}s view-based machine for RA, and supplement Brookes{\textquoteright}s mumble and stutter closure operations with additional operations, specific to RA. The latter provides a more nuanced understanding of traces that uncouples them from operational interrupted executions. We show that our denotational semantics is adequate and use it to validate various program transformations of interest. This is the first work to put weak memory models on the same footing as many other programming effects in Moggi{\textquoteright}s standard monadic approach.",
keywords = "Compiler optimizations, Concurrency, Denotational semantics, Monads, Program equivalence, Program refinement, Release/Acquire, Shared memory, Shared state, Weak memory models",
author = "Yotam Dvir and Ohad Kammar and Ori Lahav",
note = "Publisher Copyright: {\textcopyright} The Author(s) 2024.; 33rd European Symposium on Programming, ESOP 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024 ; Conference date: 06-04-2024 Through 11-04-2024",
year = "2024",
doi = "10.1007/978-3-031-57267-8_5",
language = "אנגלית",
isbn = "9783031572661",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "121--149",
editor = "Stephanie Weirich",
booktitle = "Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings",
address = "גרמניה",
}