Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Computational Theory and Mathematics,Hardware and Architecture,Signal Processing
Cited by
88 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages;ACM Transactions on Programming Languages and Systems;2024-03-29
2. Memory access protocols: certified data-race freedom for GPU kernels;Formal Methods in System Design;2023-05-26
3. Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures;Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1;2022-12-19
4. Automated Verification of Concurrent Search Structures;Synthesis Lectures on Computer Science;2021-06-01
5. Pomsets with preconditions: a simple model of relaxed memory;Proceedings of the ACM on Programming Languages;2020-11-13