Great talk about formalizing and verifying Linux-kernel memory orderinghttps://www.youtube.com/watch?v=ULFytshTvIY