Author:
Atig Mohamed Faouzi,Bouajjani Ahmed,Burckhardt Sebastian,Musuvathi Madanlal
Cited by
67 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Static Analysis of Memory Models for SMT Encodings;Proceedings of the ACM on Programming Languages;2023-10-16
2. TSO Games - On the decidability of safety games under the total store order semantics;Electronic Proceedings in Theoretical Computer Science;2023-09-30
3. Turn-based Spatiotemporal Coherence for GPUs;ACM Transactions on Architecture and Code Optimization;2023-07-19
4. Overcoming Memory Weakness with Unified Fairness;Computer Aided Verification;2023
5. View-Based Axiomatic Reasoning for PSO;Theoretical Aspects of Software Engineering;2023