Certified concurrent abstraction layers-Reference-Cited by-同舟云学术

Certified concurrent abstraction layers

Published:2018-06-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Gu Ronghui¹,Shao Zhong¹,Kim Jieung¹,Wu Xiongnan (Newman)¹,Koenig Jérémie¹,Sjöberg Vilhelm¹,Chen Hao¹,Costanzo David¹,Ramananandro Tahina²

Affiliation:

1. Yale University, USA

2. Microsoft Research, USA

Funder

Defense Advanced Research Projects Agency

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3192366.3192381

Reference60 articles.

1. Thomas Anderson and Michael Dahlin. 2011. Operating Systems Principles and Practice. Recursive Books. Thomas Anderson and Michael Dahlin. 2011. Operating Systems Principles and Practice . Recursive Books.

2. Carliss Y. Baldwin and Kim B. Clark. 2000. Design Rules: Volume 1 The Power of Modularity. MIT Press. Carliss Y. Baldwin and Kim B. Clark. 2000. Design Rules: Volume 1 The Power of Modularity . MIT Press.

3. A Semantics for Concurrent Separation Logic

Cited by 45 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SimplMM: A simplified and abstract multicore hardware model for large scale system software formal verification;Journal of Systems Architecture;2024-02

2. A Compositional Theory of Linearizability;Journal of the ACM;2024-01-27

3. Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules;Proceedings of the ACM on Programming Languages;2024-01-05

4. Embedding Hindsight Reasoning in Separation Logic;Proceedings of the ACM on Programming Languages;2023-06-06

5. Iris-Wasm: Robust and Modular Verification of WebAssembly Programs;Proceedings of the ACM on Programming Languages;2023-06-06