Author:
Poetzl Daniel,Kroening Daniel
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Adve, S.V., Hill, M.D.: Weak ordering - a new definition. In: International Symposium on Computer Architecture (ISCA), pp. 2–14. ACM (1990)
2. Boehm, H.-J.: Reordering constraints for Pthread-style locks. In: Principles and Practice of Parallel Programming (PPoPP), pp. 173–182. ACM (2007)
3. Brookes, S.: Full abstraction for a shared variable parallel language. In: Logic in Computer Science (LICS), pp. 98–109. IEEE (1993)
4. Eide, E., Regehr, J.: Volatiles are miscompiled, and what to do about it. In: Embedded Software (EMSOFT), pp. 255–264. ACM (2008)
5. Lecture Notes in Computer Science;R Jagadeesan,2012
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compositional Semantics for Shared-Variable Concurrency;Proceedings of the ACM on Programming Languages;2024-06-20
2. A Denotational Approach to Release/Acquire Concurrency;Lecture Notes in Computer Science;2024
3. Process Barrier for Predictable and Repeatable Concurrent Execution;Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores - PMAM'19;2019
4. Compositional Verification of Compiler Optimisations on Relaxed Memory;Programming Languages and Systems;2018
5. Dynamic race detection for C++11;ACM SIGPLAN Notices;2017-05-11