| User-level device drivers: Achieved performance B Leslie, P Chubb, N Fitzroy-Dale, S Götz, C Gray, L Macpherson, D Potts, ... Journal of Computer Science and Technology 20 (5), 654-664, 2005 | 208 | 2005 |
| Dingo: Taming device drivers L Ryzhyk, P Chubb, I Kuz, G Heiser Proceedings of the 4th ACM European conference on Computer systems, 275-288, 2009 | 121 | 2009 |
| Automatic device driver synthesis with Termite L Ryzhyk, P Chubb, I Kuz, E Le Sueur, G Heiser Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009 | 113 | 2009 |
| Pre-virtualization: Slashing the cost of virtualization J LeVasseur, V Uhlig, M Chapman, P Chubb, B Leslie, G Heiser Universität Karlsruhe, Fakultät für Informatik, 2005 | 86 | 2005 |
| Cogent: Verifying high-assurance file system implementations S Amani, A Hixon, Z Chen, C Rizkallah, P Chubb, L O'Connor, J Beeren, ... ACM SIGARCH Computer Architecture News 44 (2), 175-188, 2016 | 64 | 2016 |
| Pre-virtualization: soft layering for virtual machines J LeVasseur, V Uhlig, Y Yang, M Chapman, P Chubb, B Leslie, G Heiser 2008 13th Asia-Pacific Computer Systems Architecture Conference, 1-9, 2008 | 40 | 2008 |
| Get more device drivers out of the kernel P Chubb Linux Symposium 1, 149-161, 2004 | 30 | 2004 |
| Itanium—a system implementor’s tale C Gray, M Chapman, P Chubb, D Mosberger-Tang, G Heiser Proceedings of the 2005 Annual USENIX Technical Conference, 264-278, 2005 | 29 | 2005 |
| Linux kernel infrastructure for user-level device drivers P Chubb In Linux Conference, 2004 | 13 | 2004 |
| LIMITS-a system for UNIX resource administration A Bettison, F Adcock, P Chubb, A Gollan, C Maltby Proceedings of the 1989 ACM/IEEE conference on Supercomputing, 686-692, 1989 | 7 | 1989 |
| Automatic verification of active device drivers S Amani, P Chubb, AF Donaldson, A Legg, KC Ong, L Ryzhyk, Y Zhu ACM SIGOPS Operating Systems Review 48 (1), 106-118, 2014 | 6 | 2014 |
| Automatic verification of message-based device drivers S Amani, P Chubb, AF Donaldson, A Legg, L Ryzhyk, Y Zhu arXiv preprint arXiv:1211.6185, 2012 | 3 | 2012 |
| Active Device Drivers S Amani, P Chubb, A Donaldson, A Legg, L Ryzhyk, Y Zhu NICTA Technical Report, NICTA. http://www. cse. unsw. edu. au/~ leonidr …, 2012 | 1 | 2012 |
| [para] virtualisation without pain P Chubb, M Chapman, M Zehnder | 1 | 2007 |
| Linux Scalability—from the micro to the HUGE P Chubb, D Williams Proceedings of the 6th Linux. Conf. Au, Canberra, ACT, 2005 | 1 | 2005 |
| Where's all the time going? Microstate accounting in Linux 2.5 P Chubb | 1 | 2003 |
| Linux, Locking and Lots of Processors P Chubb | | 2018 |
| Interrupts considered harmful P Chubb, Y Song Linux. conf. au, 2010 | | 2010 |
| When the arduino meets year 9 P Chubb, J Judge | | 2010 |
| Decent MIDI from LilyPond P Chubb, J Nieuwenhuizen Linux. conf. au, 2010 | | 2010 |
Gernot HeiserProfessor of Computer Science, UNSW Sydney, and Data61, CSIROVerified email at unsw.edu.au
