Pre-virtualization: uniting two worlds. - Joshua LeVasseur; Volkmar Uhlig; Ben Leslie; Matthew Chapman; Gernot Heiser (SOSP, 2005)

User-Level Device Drivers: Achieved Performance. - Ben Leslie; Peter Chubb; Nicholas Fitzroy-Dale; Stefan Götz 004; Charles Gray; Luke Macpherson; Daniel Potts; Yue-Ting Shen; Kevin Elphinstone; Gernot Heiser (J. Comput. Sci. Technol., 2005)

Pre-virtualization: Soft layering for virtual machines. - Joshua LeVasseur; Volkmar Uhlig; Yaowei Yang; Matthew Chapman; Peter Chubb; Ben Leslie; Gernot Heiser (ACSAC, 2008)

The OKL4 microvisor: convergence point of microkernels and hypervisors. - Gernot Heiser; Ben Leslie (ApSys, 2010)

Can We Put the "S" Into IoT? - Gernot Heiser; Lucy Parker; Peter Chubb; Ivan Velickovic; Ben Leslie (WF-IoT, 2022)