Certified concurrent abstraction layers
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.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jun 11, 2018
- Source ID
- 10.1145/3296979.3192381
Entities
People
- David Costanzo
- Hao Chen
- Jieung Kim
- Jérémie Koenig
- Ronghui Gu
- Tahina Ramananandro
- Vilhelm Sjöberg
- Xiongnan (newman) Wu
- Zhong Shao
Organizations
- Defense Advanced Research Projects Agency
- Microsoft
- National Science Foundation
- Yale University