Arsenic: A User-Accessible Gigabit Ethernet Interface. - Ian A. Pratt; Keir Fraser (INFOCOM, 2001)

A Practical Multi-word Compare-and-Swap Operation. - Timothy L. Harris; Keir Fraser; Ian A. Pratt (DISC, 2002)

Xen and the art of virtualization. - Paul Barham 001; Boris Dragovic; Keir Fraser; Steven Hand 001; Tim Harris 001; Alex Ho; Rolf Neugebauer; Ian Pratt 001; Andrew Warfield (SOSP, 2003)

Global-scale Service Deployment in the XenoServer Platform. - Evangelos Kotsovinos; Tim D. Moreton; Ian Pratt 001; Russ Ross; Keir Fraser; Steven Hand 001; Tim Harris 001 (WORLDS, 2004)

Practical lock-freedom. - Keir Fraser (2004)

Are Virtual Machine Monitors Microkernels Done Right? - Steven Hand 001; Andrew Warfield; Keir Fraser; Evangelos Kotsovinos; Daniel J. Magenheimer (HotOS, 2005)

Parallax: Managing Storage for a Million Machines. - Andrew Warfield; Russ Ross; Keir Fraser; Christian Limpach; Steven Hand 001 (HotOS, 2005)

Live Migration of Virtual Machines. - Christopher Clark; Keir Fraser; Steven Hand 001; Jacob Gorm Hansen; Eric Jul; Christian Limpach; Ian Pratt 001; Andrew Warfield (NSDI, 2005)

Revocable locks for non-blocking programming. - Tim Harris 001; Keir Fraser (PPoPP, 2005)

Facilitating the Development of Soft Devices. - Andrew Warfield; Steven Hand 001; Keir Fraser; Tim Deegan (USENIX ATC, General Track, 2005)

The Inevitability of Xen. - Jon Crowcroft; Keir Fraser; Steven Hand 001; Ian Pratt 001; Andrew Warfield (login Usenix Mag., 2005)

Concurrent programming without locks. - Keir Fraser; Tim Harris 001 (ACM Trans. Comput. Syst., 2007)

Hardware Virtualization with Xen. - Steven Hand 001; Andrew Warfield; Keir Fraser (login Usenix Mag., 2007)

A transactional approach to lock scalability. - Amitabha Roy 002; Keir Fraser; Steven Hand 001 (SPAA, 2008)

Software Transactional Memory. - Keir Fraser (Encyclopedia of Database Systems, 2009)

Strata: scalable high-performance storage on virtualized non-volatile memory. - Brendan Cully; Jake Wires; Dutch T. Meyer; Kevin Jamieson 002; Keir Fraser; Tim Deegan; Daniel Stodden; Geoffrey Lefebvre; Daniel Ferstay; Andrew Warfield (FAST, 2014)

Language support for lightweight transactions. - Tim Harris 001; Keir Fraser (ACM SIGPLAN Notices, 2014)

Software Transactional Memory. - Keir Fraser (Encyclopedia of Database Systems (2nd ed.), 2018)