Peter Chubb
Peter Chubb
Data61, CSIRO
Verified email at data61.csiro.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
2082005
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
1212009
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
1132009
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
862005
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
642016
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
402008
Get more device drivers out of the kernel
P Chubb
Linux Symposium 1, 149-161, 2004
302004
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
292005
Linux kernel infrastructure for user-level device drivers
P Chubb
In Linux Conference, 2004
132004
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
71989
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
62014
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
32012
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
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
The system can't perform the operation now. Try again later.
Articles 1–20