Outlawing ghosts-Reference-Cited by-同舟云学术

Outlawing ghosts

Published:2014-06-13 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the workshop on Memory Systems Performance and Correctness
language:
Short-container-title:

Author:

Boehm Hans-J.¹,Demsky Brian²

Affiliation:

1. Google, Inc.

2. UC Irvine

Funder

Division of Computer and Network Systems

Google

Division of Computing and Communication Foundations

Publisher

ACM

Link

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

Reference22 articles.

1. Memory models

2. Weak ordering---a new definition

3. Library abstraction for C/C++ concurrency

4. H.-J. Boehm. N3786: Prohibiting "out of thin air" results in C++14. http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3786.htm September 2013. H.-J. Boehm. N3786: Prohibiting "out of thin air" results in C++14. http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3786.htm September 2013.

5. Foundations of the C++ concurrency memory model

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

1. Putting Weak Memory in Order via a Promising Intermediate Representation;Proceedings of the ACM on Programming Languages;2023-06-06

2. An Operational Approach to Library Abstraction under Relaxed Memory Concurrency;Proceedings of the ACM on Programming Languages;2023-01-09

3. Quantifiability: a concurrent correctness condition modeled in vector space;Computing;2022-06-07

4. The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency;Proceedings of the ACM on Programming Languages;2022-01-12

5. A Survey of Programming Language Memory Models;Programming and Computer Software;2021-11