Pancake: Verified Systems Programming Made Sweeter. - Johannes Åman Pohjola; Hira Taqdees Syeda; Miki Tanaka; Krishnan Winter; Tsun Wang Sau; Benjamin Nott; Tiana J. Tsang Ung; Craig McLaughlin; Remy Seassau; Magnus O. Myreen; Michael Norrish; Gernot Heiser (PLOS@SOSP, 2023)

Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance. - Gernot Heiser; Ivan Velickovic; Peter Chubb; Alwin Joshy; Anuraag Ganesh; Bill Nguyen; Cheng Li; Courtney Darville; Guangtao Zhu; James Archer; Jingyao Zhou; Krishnan Winter; et al. (CoRR, 2025)