Frightening Small Children and Disconcerting Grown-ups-Reference-Cited by-同舟云学术

Frightening Small Children and Disconcerting Grown-ups

Published:2018-03-19 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems
language:
Short-container-title:

Author:

Alglave Jade¹,Maranget Luc²,McKenney Paul E.³,Parri Andrea⁴,Stern Alan⁵

Affiliation:

1. University College London&Microsoft Research, London and Cambridge, United Kingdom

2. Inria, Paris, France

3. IBM Corporation&Oregon State University, Hillsboro, OR, USA

4. Scuola Superiore Sant'Anna, Pisa, Italy

5. Harvard University, Cambridge, MA, USA

Publisher

ACM

Link

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

Reference23 articles.

1. GPU Concurrency

2. Jade Alglave Patrick Cousot and Luc Maranget. 2016. Syntax and semantics of the weak consistency model specification language textsfcat. CoRR Vol. abs/1608.07531 (2016). http://arxiv.org/abs/1608.07531 Jade Alglave Patrick Cousot and Luc Maranget. 2016. Syntax and semantics of the weak consistency model specification language textsfcat. CoRR Vol. abs/1608.07531 (2016). http://arxiv.org/abs/1608.07531

3. Jade Alglave Daniel Kroening and Michael Tautschnig. 2013. Partial Orders for Efficient Bounded Model Checking of Concurrent Software Computer Aided Verification (CAV) (LNCS) Vol. Vol. 8044. Springer 141--157. Jade Alglave Daniel Kroening and Michael Tautschnig. 2013. Partial Orders for Efficient Bounded Model Checking of Concurrent Software Computer Aided Verification (CAV) (LNCS) Vol. Vol. 8044. Springer 141--157.

4. Jade Alglave and Luc Maranget. 2011--2017. The textsfdiy7 tool suite. http://diy.inria.fr/. (2011--2017). Jade Alglave and Luc Maranget. 2011--2017. The textsfdiy7 tool suite. http://diy.inria.fr/. (2011--2017).

5. Jade Alglave and Luc Maranget. 2015. Towards a formalisation of the HSA memory model in the textsfcat language. http://www.hsafoundation.com/?ddownload=5381. (2015). Jade Alglave and Luc Maranget. 2015. Towards a formalisation of the HSA memory model in the textsfcat language. http://www.hsafoundation.com/?ddownload=5381. (2015).

Cited by 22 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic;Proceedings of the ACM on Programming Languages;2024-01-05

2. Static Analysis of Memory Models for SMT Encodings;Proceedings of the ACM on Programming Languages;2023-10-16

3. Understanding and Mitigating Twin Function Misuses in Operating System Kernel;IEEE Transactions on Computers;2023-08-01

4. SegFuzz: Segmentizing Thread Interleaving to Discover Kernel Concurrency Bugs through Fuzzing;2023 IEEE Symposium on Security and Privacy (SP);2023-05

5. An Operational Approach to Library Abstraction under Relaxed Memory Concurrency;Proceedings of the ACM on Programming Languages;2023-01-09