By Dr Peter Chubb

Journal articles

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, 44, pp. 175 - 188, http://dx.doi.org/10.1145/2980024.2872404

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, 50, pp. 175 - 188, http://dx.doi.org/10.1145/2954680.2872404

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, 20, pp. 654 - 664

Conference Papers

Heiser G; Parker L; Chubb P; Velickovic I; Leslie B, 2022, 'Can We Put the 'S' Into IoT?', in 2022 IEEE 8th World Forum on Internet of Things, WF-IoT 2022, http://dx.doi.org/10.1109/WF-IoT54382.2022.10152198

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, Association for Computing Machinery (ACM), 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

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

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

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

Gray CE; Chapman M; Mosberger-Tang D; Heiser GA; Chubb P, 2005, 'Itanium - a system implementor`s tale', in 2005 USENIX annual technical conference, Anaheim, California, presented at USENIX annual technical conference 2005, Anaheim, California, 10 April 2005 - 15 April 2005

Preprints

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

Back to profile page