Author:
Burckhardt Sebastian,Alur Rajeev,Martin Milo M. K.
Cited by
118 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Robustness against the C/C++11 Memory Model;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. Static Analysis of Memory Models for SMT Encodings;Proceedings of the ACM on Programming Languages;2023-10-16
3. Turn-based Spatiotemporal Coherence for GPUs;ACM Transactions on Architecture and Code Optimization;2023-07-19
4. Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate;Lecture Notes in Computer Science;2022
5. C11Tester: a race detector for C/C++ atomics;Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems;2021-04-17