What If You Could Actually Trust Your Kernel? - Gernot Heiser; Leonid Ryzhyk; Michael von Tessin; Aleksander Budzynowski (HotOS, 2011)

RapiLog: reducing system complexity through verification. - Gernot Heiser; Etienne Le Sueur; Adrian Danis; Aleksander Budzynowski; Tudor-Ioan Salomie; Gustavo Alonso (EuroSys, 2013)

The von Neumann Architecture Is Due for Retirement. - Aleksander Budzynowski; Gernot Heiser (HotOS, 2013)