| 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 | 260 | 2005 |
| 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 | 158 | 2009 |
| 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 | 144 | 2009 |
| 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 | 135 | 2016 |
| Pre-virtualization: Slashing the cost of virtualization J LeVasseur, V Uhlig, M Chapman, P Chubb, B Leslie, G Heiser Technical Report 2005-30, Fakultät für Informatik, Universität Karlsruhe (TH), 2005 | 90 | 2005 |
| 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 | 45 | 2008 |
| Get more device drivers out of the kernel P Chubb Linux Symposium 1, 149-161, 2004 | 43 | 2004 |
| Itanium—a system implementor’s tale C Gray, M Chapman, P Chubb, D Mosberger-Tang, G Heiser Proceedings of the 2005 USENIX Annual Technical Conference, 264-278, 2005 | 38 | 2005 |
| Linux kernel infrastructure for user-level device drivers P Chubb In Linux Conference, 2004 | 19 | 2004 |
| Can We Put the “S” Into IoT? G Heiser, L Parker, P Chubb, I Velickovic, B Leslie 2022 IEEE 8th World Forum on Internet of Things (WF-IoT), 1-6, 2022 | 8 | 2022 |
| 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 | 8 | 2014 |
| 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 | 8 | 1989 |
| 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 | 4 | 2012 |
| Linux, Locking and Lots of Processors P Chubb | 1 | 2018 |
| 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 |
| sDDF Design G Heiser, P Chubb, A Brown, C Darville, L Parker | | 2022 |
| Cogent S Amani, A Hixon, Z Chen, C Rizkallah, P Chubb, L O'Connor, J Beeren, ... Proceedings of the Twenty-First International Conference on Architectural …, 2016 | | 2016 |
Gernot HeiserProfessor of Computer Science, University of New South WalesVerified email at unsw.edu.au
