Trustworthy Systems

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.

Photo of Peter Chubb

Publication List


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

linux.conf.au

Publications

Best Papers

Abstract PDF 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

2022

Abstract
Slides
PDF
Presentation Video
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

Abstract PDF 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

Abstract Slides
Video
Peter Chubb
SD cards and filesystems for embedded systems
linux.conf.au, Auckland, NZ, January, 2015

2014

Abstract PDF 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

Abstract PDF 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
Abstract PDF Sidney Amani, Peter Chubb, Alastair Donaldson, Alexander Legg, Leonid Ryzhyk and Yanjin Zhu
Active device drivers
Technical Report, NICTA, September, 2012
Abstract Video Peter Chubb
Bourne shell tutorial
Tutorial at Linux.conf.au, Ballarat, January, 2012
Abstract Video Peter Chubb
Linux as a boot loader
Talk at linux.conf.au, Ballarat, January, 2012

2010

Abstract PDF
Presentation Video
Peter Chubb
Decent MIDI from LilyPond
Linux.conf.au, January, 2010
Abstract PDF Peter Chubb and John Judge
When the arduino meets year 9
Other Conference Presentation, linux.conf.au, Wellington, New Zealand, January, 2010.
Abstract PDF Peter Chubb and Yang Song
Interrupts considered harmful
Other Conference Presentation, Linux.conf.au, Wellington, NZ, January, 2010.

2009

Abstract PDF 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
Abstract PDF Leonid Ryzhyk, Peter Chubb, Ihor Kuz and Gernot Heiser
Dingo: Taming device drivers
EuroSys Conference, pp. 275–288, Nuremberg, DE, April, 2009

2008

Abstract PDF 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

Abstract PDF Peter Chubb, Matthew Chapman and Myrto Zehnder
[para]virtualisation without pain
8th Linux.conf.au, Sydney, NSW, January, 2007

2006

Abstract PDF Ian Wienand, Adam Wiggins Paul Davies and Peter Chubb
The GPT and superpages
Gelato ICE, Singapore, October, 2006
Fuzzy Penguin Award

2005

Abstract PDF 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
Abstract PDF 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
Abstract PDF 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
Abstract PDF Charles Gray, Matthew Chapman, Peter Chubb, David Mosberger-Tang and Gernot Heiser
Itanium — a system implementor's tale
Proceedings of the 2005 USENIX Annual Technical Conference, pp. 264–278, Anaheim, CA, USA, April, 2005
Best Student Paper Award

Papers without TS Affiliation

2023

Abstract Video Peter Chubb
Making a poetry book
Presentation, March, 2023
https://2023.everythingopen.au

2006

Abstract PDF Myrto Zehnder and Peter Chubb
Virtualising PCI
Gelato ICE, Singapore, October, 2006
Abstract PDF Shehjar Tikoo and Peter Chubb
Improving NFS performance
Gelato ICE conference, San Jose, CA, April, 2006

2005

Abstract PDF Peter Chubb
Bugs: getting them stomped!
Gelato ICE, Brazil, October, 2005
Abstract PDF Peter Chubb
Which filesystem?
Gelato ICE, Brazil, October, 2005
Abstract PDF Peter Chubb
Taming your old LPs — from analogue to digital
6th Linux.conf.auAudio Miniconference, Canberra, Australia, April, 2005
Abstract PDF Peter Chubb and Darren Williams
Linux scalability — from the micro to the HUGE
6th Linux.conf.au, Canberra, ACT, April, 2005

2004

Abstract PDF Peter Chubb
Get more device drivers out of the kernel!
Ottawa Linux Symposium, Ottawa, Canada, July, 2004
Abstract PDF Peter Chubb
Linux kernel infrastructure for user-level device drivers
5th Linux.conf.au, Adelaide, Australia, January, 2004

2003

Abstract PDF 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

Abstract PDF Peter Chubb
Terabytes on a diet
Conference for Unix, Linux and Open Source Professionals (AUUG), Melbourne, Australia, September, 2002
Abstract PDF Peter Chubb
YOU ARE LOST in a maze of BitKeeper repositories — all almost the same
Australian Open Source Symposium, Sydney, Australia, July, 2002

1998

Abstract to be published 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

plain text to be published 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

Abstract PDF 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

Abstract to be published Peter Chubb
Streams on a co-processor
AUUG Winter Conference, pp. 67–76, Sydney, Australia, 1991

1989

  link 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

Abstract PDF Etienne Le Sueur
An analysis of the effectiveness of energy management on modern computer processors
MSc Thesis, UNSW, Sydney, Australia, June, 2011

2008

Abstract PDF Ian Wienand
Transparent large-page support for Itanium Linux
ME Thesis, UNSW, Sydney, Australia, July, 2008