Chronos vs. Chaos: Timing Weak Memory Executions in the Linux Kernel. - Sam Dawson; Mark Batty (IWSPA@CODASPY, 2022)