Effective Data-Race Detection for the Kernel. - John Erickson; Madanlal Musuvathi; Sebastian Burckhardt; Kirk Olynyk (OSDI, 2010)

The Demikernel Datapath OS Architecture for Microsecond-scale Datacenter Systems. - Irene Zhang; Amanda Raybuck; Pratyush Patel; Kirk Olynyk; Jacob Nelson 001; Omar S. Navarro Leija; Ashlie Martinez; Jing Liu; Anna Kornfeld Simpson; Sujay Jayakar; Pedro Henrique Penna; Max Demoulin; et al. (SOSP, 2021)