LIMITS-a system for UNIX resource administration. - Andrew Bettison; Frank Adcock; Peter Chubb; Andrew Gollan; Chris Maltby (SC, 1989)

Itanium - A System Implementor's Tale(Awarded General Track Best Student Paper Award!). - Charles Gray; Matthew Chapman; Peter Chubb; David Mosberger; Gernot Heiser (USENIX ATC, General Track, 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)

Dingo: taming device drivers. - Leonid Ryzhyk; Peter Chubb; Ihor Kuz; Gernot Heiser (EuroSys, 2009)

Automatic device driver synthesis with termite. - Leonid Ryzhyk; Peter Chubb; Ihor Kuz; Etienne Le Sueur; Gernot Heiser (SOSP, 2009)

Automatic Verification of Message-Based Device Drivers - Sidney Amani; Peter Chubb; Alastair F. Donaldson; Alexander Legg; Leonid Ryzhyk; Yanjin Zhu (SSV, 2012)

Automatic verification of active device drivers. - Sidney Amani; Peter Chubb; Alastair F. Donaldson; Alexander Legg; Keng Chai Ong; Leonid Ryzhyk; Yanjin Zhu (ACM SIGOPS Oper. Syst. Rev., 2014)

CoGENT: Verifying High-Assurance File System Implementations. - Sidney Amani; Alex Hixon; Zilin Chen; Christine Rizkallah; Peter Chubb; Liam O'Connor; Joel Beeren; Yutaka Nagashima; Japheth Lim; Thomas Sewell; Joseph Tuong; Gabriele Keller; et al. (ASPLOS, 2016)

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

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)