Author:
Mador-Haim Sela,Alur Rajeev,Martin Milo M. K.
Publisher
Springer Berlin Heidelberg
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Static Analysis of Memory Models for SMT Encodings;Proceedings of the ACM on Programming Languages;2023-10-16
2. GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper);Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
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. HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols;2022 IEEE International Symposium on High-Performance Computer Architecture (HPCA);2022-04
5. Synthesizing Formal Models of Hardware from RTL for Efficient Verification of Memory Model Implementations;MICRO-54: 54th Annual IEEE/ACM International Symposium on Microarchitecture;2021-10-17