Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick. Verifying C11 programs operationally. In Jeffrey K. Hollingsworth, Idit Keidar, editors, Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019. pages 355-365, ACM, 2019. [doi]
Abstract is missing.