Get started
Work

Certified concurrent abstraction layers

Year: 2018
Type: conference-paper
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.
DOI: 10.1145/3192366.3192381
Authors: Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, Tahina Ramananandro
Language: English
Subfield: Software
Open Access status: bronze
Awards: G1534946070, G1889560887, SaTC: CORE: Small: Formal End-to-End Verification of Information-Flow Security for Complex Systems, G3711486542, G4577670171, G4713059963, Collaborative Research: Expeditions in Computing: The Science of Deep Specification, G789317362
OpenAlex ID: W2798365728
FWCI: 8.041
Cites: 64
Cited by: 80
Related to: 10