Author:
Chen Yunji,Yi Lv ,Hu Weiwu,Chen Tianshi,Haihua Shen ,Pengyu Wang ,Hong Pan
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. How Hard Is Weak-Memory Testing?;Proceedings of the ACM on Programming Languages;2024-01-05
2. Optimal Reads-From Consistency Checking for C11-Style Memory Models;Proceedings of the ACM on Programming Languages;2023-06-06
3. EveCheck: An Event-Driven, Scalable Algorithm for Coherent Shared Memory Verification;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-02
4. The reads-from equivalence for the TSO and PSO memory models;Proceedings of the ACM on Programming Languages;2021-10-20
5. Chaining and Biasing: Test Generation Techniques for Shared-Memory Verification;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2020-03