Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Cited by
48 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Memory Consistency Models for Program Transformations: An Intellectual Abstract;Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory Management;2023-06-06
2. Concurrent NetKAT;Programming Languages and Systems;2022
3. A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver;IEICE Transactions on Information and Systems;2018-12-01
4. Effective Verification for Low-Level Software with Competing Interrupts;ACM Transactions on Embedded Computing Systems;2018-03-31
5. Transactions in relaxed memory architectures;Proceedings of the ACM on Programming Languages;2018-01