Dr Peter Chubb
Consultant

Dr Peter Chubb

Engineering
Computer Science and Engineering

Peter completed his PhD under A. Prof John Lions in 1989, then worked for Softway Pty Ltd on low level Operating Systems kernel work.  Peter ended up as Vice-President, Research, for that company, before moving to UNSW in 2002.

At UNSW, Peter led the Gelato group within the School of Computer Science and Engineering, a group whose goal was to put Itanium Linux on the map.  Key accomplishments were to remove the 2Tb size limit for block devices in Linux, and to develop interfaces to allow  Linux user-mode device drivers to perform as well as in-kernel devices, even for high-performance disc and network devices.

When NICTA was formed in 2003, Peter moved to work there part time, as well as continuing part time with Gelato.  The most interesting project here was the Robot Clarinet.  Peter's part was to work on music interpretation software, as part of the Lilypond project.

Nicta closed down in 2016, and Peter moved first to CSIRO, then to 20-hpw part time with the Trustworthy Systems group in  the School of Computer Science and Engineering.

Location
Level 3, K17 building.
  • Journal articles | 2016
    Amani S; Sewell T; Tuong J; Keller G; Murray T; Klein G; Heiser G; Hixon A; Chen Z; Rizkallah C; Chubb P; O'Connor L; Beeren J; Nagashima Y; Lim J, 2016, 'CoGENT', ACM SIGOPS Operating Systems Review, vol. 50, pp. 175 - 188, http://dx.doi.org/10.1145/2954680.2872404
    Journal articles | 2016
    Amani S; Hixon A; Chen Z; Rizkallah C; Chubb P; O'Connor L; Beeren J; Nagashima Y; Lim J; Sewell T; Tuong J; Keller G; Murray T; Klein G; Heiser G, 2016, 'Cogent', ACM SIGARCH Computer Architecture News, vol. 44, pp. 175 - 188, http://dx.doi.org/10.1145/2980024.2872404
    Journal articles | 2005
    Leslie BJ; Chubb P; Fitzroy-Dale NJ; Gotz S; Gray CE; Macpherson LD; Potts DP; Elphinstone KJ; Heiser GA; Shen Y, 2005, 'User-level device drivers: Achieved performance', Journal of Computer Science and Technology, vol. 20, pp. 654 - 664, http://dx.doi.org/10.1007/s11390-005-0654-4
  • Conference Papers | 2016
    Amani S; Hixon A; Chen Z; Rizkallah C; Chubb P; O'Connor L; Beeren J; Nagashima Y; Lim J; Sewell T; Tuong J; Keller G; Murray T; Klein G; Heiser G, 2016, 'COGENT: Verifying high-assurance file system implementations', in International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, Atlanta, GA, USA, pp. 175 - 188, presented at 21st International Conference on Architectural Support for Programming Languages and Operating Systems, Atlanta, GA, USA, 02 April 2016 - 06 April 2016, http://dx.doi.org/10.1145/2872362.2872404
    Conference Papers | 2016
    Amani S; Hixon A; Chen Z; Rizkallah C; Chubb P; O'Connor L; Beeren J; Nagashima Y; Lim J; Sewell T; Tuong J; Keller G; Murray T; Klein G; Heiser G, 2016, 'COGENT: Verifying High-Assurance File System Implementations', in OPERATING SYSTEMS REVIEW, ASSOC COMPUTING MACHINERY, Atlanta, GA, pp. 175 - 188, presented at 21st International Conference on Architectural Support for Programming Languages and Operating Systems, Atlanta, GA, 02 April 2016 - 06 April 2016, http://dx.doi.org/10.1145/2872362.2872404
    Conference Papers | 2014
    Amani S; Chubb P; Donaldson AF; Legg A; Ong KC; Ryzhyk L; Zhu Y, 2014, 'Automatic verification of active device drivers', in Operating Systems Review (ACM), pp. 106 - 118, http://dx.doi.org/10.1145/2626401.2626424
    Conference Papers | 2012
    Amani S; Chubb P; Donaldson AF; Legg A; Ryzhyk L; Zhu Y, 2012, 'Automatic Verification of Message-Based Device Drivers', in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, OPEN PUBL ASSOC, pp. 4 - 17, http://dx.doi.org/10.4204/EPTCS.102.3
    Preprints | 2012
    Amani S; Chubb P; Donaldson AF; Legg A; Ryzhyk L; Zhu Y, 2012, Automatic Verification of Message-Based Device Drivers, http://dx.doi.org/10.48550/arxiv.1211.6185
    Conference Papers | 2005
    Gray CE; Chapman M; Mosberger-Tang D; Heiser GA; Chubb P, 2005, 'Itanium - a system implementor`s tale', in 2005 USENIX annual technical conference, USENIX ASSOC, Anaheim, California, pp. 265 - 278, presented at USENIX annual technical conference 2005, Anaheim, California, 10 April 2005 - 15 April 2005, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000229734000019&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a