Follow
Peter Chubb
Peter Chubb
UNSW, Sydney
Verified email at unsw.edu.au - Homepage
Title
Cited by
Cited by
Year
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
2592005
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
1572009
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
1432009
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
1282016
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
902005
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
452008
Get more device drivers out of the kernel
P Chubb
Linux Symposium 1, 149-161, 2004
402004
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
372005
Linux kernel infrastructure for user-level device drivers
P Chubb
In Linux Conference, 2004
192004
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
82014
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
81989
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
62022
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
42012
Linux, Locking and Lots of Processors
P Chubb
12018
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
12012
[para] virtualisation without pain
P Chubb, M Chapman, M Zehnder
12007
Linux Scalability—from the micro to the HUGE
P Chubb, D Williams
Proceedings of the 6th Linux. Conf. Au, Canberra, ACT, 2005
12005
Where's all the time going? Microstate accounting in Linux 2.5
P Chubb
12003
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
Interrupts considered harmful
P Chubb, Y Song
Linux. conf. au, 2010
2010
The system can't perform the operation now. Try again later.
Articles 1–20