Bounding data races in space and time-Reference-Cited by-同舟云学术

Bounding data races in space and time

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:

Dolan Stephen¹,Sivaramakrishnan KC¹,Madhavapeddy Anil¹

Affiliation:

1. University of Cambridge, UK

Publisher

ACM

Link

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

Reference23 articles.

1. 2014. The Go Memory Model. (2014). https://golang.org/ref/mem 2014. The Go Memory Model. (2014). https://golang.org/ref/mem

2. 2016. ECMAScript Sharedmem: Formal memory model proposal tracking. (2016). https://github.com/tc39/ecmascript_sharedmem/issues/ 133 2016. ECMAScript Sharedmem: Formal memory model proposal tracking. (2016). https://github.com/tc39/ecmascript_sharedmem/issues/ 133

3. 2017. Concurrency in Swift. (2017). https://github.com/apple/swift/ blob/master/docs/proposals/Concurrency.rst 2017. Concurrency in Swift. (2017). https://github.com/apple/swift/ blob/master/docs/proposals/Concurrency.rst

4. 2017. WebAssembly Threads. (2017). https://github.com/ WebAssembly/design/issues/1073 2017. WebAssembly Threads. (2017). https://github.com/ WebAssembly/design/issues/1073

5. 2018. Rust Atomics. (2018). https://doc.rust-lang.org/beta/nomicon/ atomics.html 2018. Rust Atomics. (2018). https://doc.rust-lang.org/beta/nomicon/ atomics.html

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

1. Accurate Static Data Race Detection for C;Lecture Notes in Computer Science;2024-09-11

2. A Proof Recipe for Linearizability in Relaxed Memory Separation Logic;Proceedings of the ACM on Programming Languages;2024-06-20

3. DisLog: A Separation Logic for Disentanglement;Proceedings of the ACM on Programming Languages;2024-01-05

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

5. Kater: Automating Weak Memory Model Metatheory and Consistency Checking;Proceedings of the ACM on Programming Languages;2023-01-09