C11Tester: a race detector for C/C++ atomics-Reference-Cited by-同舟云学术

C11Tester: a race detector for C/C++ atomics

Published:2021-04-17 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
language:
Short-container-title:

Author:

Luo Weiyu¹,Demsky Brian¹

Affiliation:

1. University of California at Irvine, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3445814.3446711

Reference55 articles.

1. 2020. N4849: Working Draft Standard for ProgrammingLanguage C++. http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/n4849.pdf. 2020. N4849: Working Draft Standard for ProgrammingLanguage C++. http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/n4849.pdf.

2. Optimal dynamic partial order reduction

3. Stateless Model Checking for TSO and PSO

4. Optimal stateless model checking for reads-from equivalence under sequential consistency

5. Optimal stateless model checking under the release-acquire semantics

Cited by 14 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. CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3;2024-04-27

3. Greybox Fuzzing for Concurrency Testing;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2024-04-27

4. Hawkeyes: Addressing Weak Memory Order in Program Migration Based on Instruction Windows;Proceedings of the 4th Workshop on Challenges and Opportunities of Efficient and Performant Storage Systems;2024-04-22

5. Optimistic Prediction of Synchronization-Reversal Data Races;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12