Certified concurrent abstraction layers
The work
| Authors | Ronghui Gu; Zhong Shao; Jieung Kim; Xiongnan Wu; Jérémie Koenig; Vilhelm Sjöberg; Hao Chen; David Costanzo; Tahina Ramananandro |
|---|---|
| Editors | |
| Type | misc |
| Year | 2018 |
| Citekey | gu2018certified |
Where it appeared
| Published in | Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation |
|---|---|
| Pages | 646--661 |
Identifiers
| DOI | 10.1145/3192366.3192381 |
|---|---|
| OpenAlex | W2798365728 |
Access
| Landing page | https://doi.org/10.1145/3192366.3192381 |
|---|---|
| Free full text | https://dl.acm.org/doi/pdf/10.1145/3192366.3192381 |
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
Concurrent abstraction layers are ubiquitous in modern computer systems because of the pervasiveness of multithreaded programming and multicore hardware. Abstraction layers are used to hide the implementation details (e.g., fine-grained synchronization) and reduce the complex dependencies among components at different levels of abstraction. Despite their obvious importance, concurrent abstraction layers have not been treated formally. This severely limits the applicability of layer-based techniques and makes it difficult to scale verification across multiple concurrent layers.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-26 12:29 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{gu2018certified,
title = {Certified concurrent abstraction layers},
author = {Ronghui Gu and Zhong Shao and Jieung Kim and Xiongnan Wu and Jérémie Koenig and Vilhelm Sjöberg and Hao Chen and David Costanzo and Tahina Ramananandro},
year = {2018},
journal = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation},
pages = {646--661},
doi = {10.1145/3192366.3192381},
}
This record lives at https://refs.drheap.org/gu2018certified/ and will keep doing so.