Jade Alglave, Luc Maranget, Paul E. McKenney, Andrea Parri, Alan S. Stern. Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel. In Xipeng Shen, James Tuck, Ricardo Bianchini, Vivek Sarkar, editors, Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2018, Williamsburg, VA, USA, March 24-28, 2018. pages 405-418, ACM, 2018. [doi]
Abstract is missing.