Author:
Cooksey Simon,Harris Sarah,Batty Mark,Grigore Radu,Janota Mikoláš
Publisher
Springer International Publishing
Reference42 articles.
1. Alglave, J., Cousot, P.: Syntax and analytic semantics of LISA (2016).
https://arxiv.org/abs/1608.06583
2. Alglave, J., Cousot, P., Maranget, L.: Syntax and analytic semantics of the weak consistency model specification language CAT (2016).
https://arxiv.org/abs/1608.07531
3. Alglave, J., Maranget, L., Tautschnig, M.: Herding cats: modelling, simulation, testing, and data mining for weak memory. ACM Trans. Program. Lang. Syst. 36(2), 7:1–7:74 (2014).
https://doi.org/10.1145/2627752
.
http://doi.acm.org/10.1145/2627752
4. Batty, M., Donaldson, A.F., Wickerson, J.: Overhauling SC atomics in C11 and OpenCL. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, 20–22 January 2016, pp. 634–648 (2016).
https://doi.org/10.1145/2837614.2837637
.
http://doi.acm.org/10.1145/2837614.2837637
5. Lecture Notes in Computer Science;M Batty,2015
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. CAAT: consistency as a theory;Proceedings of the ACM on Programming Languages;2022-10-31
2. The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency;Proceedings of the ACM on Programming Languages;2022-01-12