Peter Chubb
Senior Systems Consultant
Research Interests
Peter's research interests include operating system abstractions for, intra alia, storage, scheduling, memory management, and locking. He is also interested in capacity planning, and in systems performance measurement and optimisation. His main expertise is in Unix and Linux kernels, and low level system support built on these. He also maintains the Trustworthy Systems website and internal infrastructure.
Contact Details
| Email: | peter.chubb@unsw.edu.au |
|---|---|
| Mastodon: | @wombat@wig.gl |
More contact information is available at the Contact page.
Related hobbies include music, photography and fine wines, these also occasionally lead to research, for example the Articulate extension to lilypond
Projects
Current |
Past |
Peter is a member of the Trustworthy Systems team, and contributed inter alia in the areas of software engineering process, Linux kernel expertise, locking and scheduling, and user-level device drivers.
One interesting project was the Robot Clarinet. For this project we modified the Lilypond music typesetting program to produce better midi.
Collaborations
Peter enjoys collaborating with the open-source community generally.
Career Summary
Peter Chubb spent over 13 years working in commercial operating systems training and research with Softway Pty Ltd. He was systems architect for a number of projects including Hibernator, a checkpoint-restart tool for UNIX(TM); and for two years was Vice President of research while overseeing aspects of Aurema's ARMTech(TM) resource management product.
In 2002, Peter moved to the University of New South Wales (UNSW) to work on the Gelato program.
After the Gelato project finished in 2007, Peter increased his hours at NICTA, and became a conjoint senior lecturer in the school of Computer Science at UNSW. He moved to CSIRO's Data61 when NICTA merged into CSIRO in 2016.
Peter left CSIRO in 2021, and is now part time at UNSW.
Qualifications
Since gaining his PhD at the University of New South Wales in 1989, after having also gained bachelors degrees BSc in Physics (1981) and BE (Hons I) in Electrical Engineering (1983) at the same institution, Peter has had more than 40 years experience in Operating Systems research. Projects which included significant amounts of Peter's input and direction include the Hibernator checkpoint/restart project for Irix 6.2 and Fujitsu's UXP/M, the ShareII resource manager for Irix 6.2 and 6.5; Solaris Resource manager; and Aurema's ARMTech for Linux and Windows.
Affiliations
Peter was a member of AUUG, the Australian Open-Source user's group, and helped to found SLUG, the Sydney Linux users group. He is still a member of Linux Australia.
Program Committees and Editorial Boards
Publications
- Google Scholar profile
- Best Papers
- TS Group Papers (2016, 2015, 2014, 2012, 2010, 2009, 2008, 2007, 2006, 2005)
- Papers not affiliated with TS (2023, 2006, 2005, 2004, 2003, 2002, 1998, 1996, 1995, 1991, 1989)
- Research Theses Supervised
Best Papers
|
 |
Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur and Gernot Heiser Automatic device driver synthesis with Termite ACM Symposium on Operating Systems Principles, pp. 73–86, Big Sky, MT, US, October, 2009 |
Trustworthy Systems Group Papers
2024
|
|
|
Peter Chubb Running your own mailserver Everything Open, Gladstone, QLD, AU, April, 2024 |
|
|
|
Gernot Heiser, Peter Chubb, Alex Brown, Courtney Darville and Lucy Parker sDDF design: design, implementation and evaluation of the seL4 device driver framework 2024 |
2022
|
|
 |
Gernot Heiser, Lucy Parker, Ivan Velickovic, Peter Chubb and Ben Leslie Can we put the "S" into IoT? IEEE World Forum on Internet of Things, Yokohama, JP, November, 2022 |
2016
|
|
|
Sidney Amani, Alex Hixon, Zilin Chen, Christine Rizkallah, Peter Chubb, Liam O'Connor, Joel Beeren, Yutaka Nagashima, Japheth Lim, Thomas Sewell, Joseph Tuong, Gabriele Keller, Toby Murray, Gerwin Klein and Gernot Heiser Cogent: verifying high-assurance file system implementations International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 175–188, Atlanta, GA, USA, April, 2016 |
2015
|
|
|
Peter Chubb SD cards and filesystems for embedded systems linux.conf.au, Auckland, NZ, January, 2015 |
2014
|
|
|
Sidney Amani, Peter Chubb, Alastair Donaldson, Alexander Legg, Keng Chai Ong, Leonid Ryzhyk and Yanjin Zhu Automatic verification of active device drivers ACM Operating Systems Review, Volume 48, Number 1, May, 2014 |
2012
|
|
|
Sidney Amani, Peter Chubb, Alastair Donaldson, Alexander Legg, Leonid Ryzhyk and Yanjin Zhu Automatic verification of message-based device drivers Systems Software Verification, pp. 1–14, Sydney, Australia, November, 2012 |
|
|
|
Sidney Amani, Peter Chubb, Alastair Donaldson, Alexander Legg, Leonid Ryzhyk and Yanjin Zhu Active device drivers Technical Report, NICTA, September, 2012 |
|
|
|
Peter Chubb Bourne shell tutorial Tutorial at Linux.conf.au, Ballarat, January, 2012 |
|
|
|
Peter Chubb Linux as a boot loader Talk at linux.conf.au, Ballarat, January, 2012 |
2010
|
|
|
Peter Chubb Decent MIDI from LilyPond Linux.conf.au, January, 2010 |
|
|
|
Peter Chubb and John Judge When the arduino meets year 9 Other Conference Presentation, linux.conf.au, Wellington, New Zealand, January, 2010. |
|
|
|
Peter Chubb and Yang Song Interrupts considered harmful Other Conference Presentation, Linux.conf.au, Wellington, NZ, January, 2010. |
2009
|
|
|
Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur and Gernot Heiser Automatic device driver synthesis with Termite ACM Symposium on Operating Systems Principles, pp. 73–86, Big Sky, MT, US, October, 2009 |
|
|
|
Leonid Ryzhyk, Peter Chubb, Ihor Kuz and Gernot Heiser Dingo: Taming device drivers EuroSys Conference, pp. 275–288, Nuremberg, DE, April, 2009 |
2008
|
|
|
Joshua LeVasseur, Volkmar Uhlig, Yaowei Yang, Matthew Chapman, Peter Chubb, Ben Leslie and Gernot Heiser Pre-virtualization: Soft layering for virtual machines Asia-Pacific Computer Systems Architecture Conference, pp. 1–9, Hsinchu, Taiwan, August, 2008 Best Paper Award |
2007
|
|
|
Peter Chubb, Matthew Chapman and Myrto Zehnder [para]virtualisation without pain Linux.conf.au, Sydney, NSW, January, 2007 |
2006
|
|
|
Ian Wienand, Adam Wiggins Paul Davies and Peter Chubb The GPT and superpages Gelato ICE, Singapore, October, 2006 Fuzzy Penguin Award |
2005
|
|
|
Joshua LeVasseur, Volkmar Uhlig, Matthew Chapman, Peter Chubb, Ben Leslie and Gernot Heiser Pre-virtualization: Slashing the cost of virtualization Technical Report PA005520, NICTA, October, 2005 |
|
|
|
Ben Leslie, Peter Chubb, Nicholas FitzRoy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yueting (Rita) Shen, Kevin Elphinstone and Gernot Heiser User-level device drivers: Achieved performance Journal of Computer Science and Technology, Volume 20, Number 5, pp. 654–664, September, 2005 |
|
|
|
Ben Leslie, Peter Chubb, Nicholas FitzRoy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yueting (Rita) Shen, Kevin Elphinstone and Gernot Heiser User-level device drivers: Achieved performance Technical Report PA005043, NICTA, July, 2005 |
|
|
|
Charles Gray, Matthew Chapman, Peter Chubb, David Mosberger-Tang and Gernot Heiser Itanium — a system implementor's tale USENIX, pp. 264–278, Anaheim, CA, USA, April, 2005 Best Student Paper Award |
Papers without TS Affiliation
2023
|
|
|
Peter Chubb Making a poetry book Presentation, March, 2023 https://2023.everythingopen.au |
2006
|
|
|
Myrto Zehnder and Peter Chubb Virtualising PCI Gelato ICE, Singapore, October, 2006 |
|
|
|
Shehjar Tikoo and Peter Chubb Improving NFS performance Gelato ICE conference, San Jose, CA, April, 2006 |
2005
|
|
|
Peter Chubb Bugs: getting them stomped! Gelato ICE, Brazil, October, 2005 |
|
|
|
Peter Chubb Which filesystem? Gelato ICE, Brazil, October, 2005 |
|
|
|
Peter Chubb Taming your old LPs — from analogue to digital Linux.conf.auAudio Miniconference, Canberra, Australia, April, 2005 |
|
|
|
Peter Chubb and Darren Williams Linux scalability — from the micro to the HUGE Linux.conf.au, Canberra, ACT, April, 2005 |
2004
|
|
|
Peter Chubb Get more device drivers out of the kernel! Ottawa Linux Symposium, Ottawa, Canada, July, 2004 |
|
|
|
Peter Chubb Linux kernel infrastructure for user-level device drivers Linux.conf.au, Adelaide, Australia, January, 2004 |
2003
|
|
|
Peter Chubb Where's all the time going? Microstate accounting in Linux 2.5 Conference for Unix, Linux and Open Source Professionals (AUUG), Melbourne, Australia, September, 2003 |
2002
|
|
|
Peter Chubb Terabytes on a diet Conference for Unix, Linux and Open Source Professionals (AUUG), Melbourne, Australia, September, 2002 |
|
|
|
Peter Chubb YOU ARE LOST in a maze of BitKeeper repositories — all almost the same Australian Open Source Symposium, Sydney, Australia, July, 2002 |
1998
|
|
 |
Peter Chubb Experience using CVS for long-running projects, or, lost in a monkey-puzzle tree Auug Winter Conference, pp. 50–58, Sydney, Australia, September, 1998 |
1996
|
|
|
Peter Chubb and Jeremy Fitzhardinge Guava: A just-in-time java bytecode compiler Auug Winter Conference and Asia-Pacific WWW, pp. 114–119, Melbourne, Australia, September, 1996 |
1995
|
|
|
Chris Maltby and Peter Chubb Hibernator — checkpoint/restart for Unix AUUG '95 and Asia Pacific WWW conference '95, pp. 184–190, Sydney, Australia, September, 1995 |
1991
|
|
|
Peter Chubb Streams on a co-processor AUUG Winter Conference, pp. 67–76, Sydney, Australia, 1991 |
1989
 |
Andrew Bettison, Frank Adcock, Peter Chubb, Andrew Gollan and Chris Maltby LIMITS — a system for unix resource administration Supercomputing '89: Proceedings of the 1989 ACM/IEEE conference on Supercomputing, pp. 686–692, New York, NY, USA, 1989 |
Research Theses Supervised
2011
|
|
|
Etienne Le Sueur An analysis of the effectiveness of energy management on modern computer processors MSc Thesis, UNSW, Sydney, Australia, June, 2011 |
2008
|
|
|
Ian Wienand Transparent large-page support for Itanium Linux ME Thesis, UNSW, Sydney, Australia, July, 2008 |