Jade Alglave, Luc Maranget, Paul Mckenney, Andrea Parri, Alan Stern. Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel.
ASPLOS2018 - 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Mar 2018, Williamsburg, VA, United States.
⟨10.1145/3173162.3177156⟩.
⟨hal-01873636⟩