Soham Chakraborty, Viktor Vafeiadis. Formalizing the concurrency semantics of an LLVM fragment. In Vijay Janapa Reddi, Aaron Smith, Lingjia Tang, editors, Proceedings of the 2017 International Symposium on Code Generation and Optimization, CGO 2017, Austin, TX, USA, February 4-8, 2017. pages 100-110, ACM, 2017. [doi]
Abstract is missing.