Peter Chubb

According to our database, Peter Chubb authored at least 10 papers between 1989 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Can We Put the "S" Into IoT?

Gernot Heiser, Lucy Parker, Peter Chubb, Ivan Velickovic, Ben Leslie

Proceedings of the 8th IEEE World Forum on Internet of Things, 2022

2016

CoGENT: Verifying High-Assurance File System Implementations.

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 C. Murray, Gerwin Klein, Gernot Heiser

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2014

Automatic verification of active device drivers.

Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Keng Chai Ong, Leonid Ryzhyk, Yanjin Zhu

ACM SIGOPS Oper. Syst. Rev., 2014

2012

Automatic Verification of Message-Based Device Drivers

Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Leonid Ryzhyk, Yanjin Zhu

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

2009

Automatic device driver synthesis with termite.

Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Dingo: taming device drivers.

Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser

Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009

2008

Pre-virtualization: Soft layering for virtual machines.

Joshua LeVasseur, Volkmar Uhlig, Yaowei Yang, Matthew Chapman, Peter Chubb, Ben Leslie, Gernot Heiser

Proceedings of the 13th Asia-Pacific Computer Systems Architecture Conference, 2008

2005

User-Level Device Drivers: Achieved Performance.

Ben Leslie, Peter Chubb, Nicholas Fitzroy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yue-Ting Shen, Kevin Elphinstone, Gernot Heiser

J. Comput. Sci. Technol., 2005

Itanium - A System Implementor's Tale(Awarded General Track Best Student Paper Award!).

Charles Gray, Matthew Chapman, Peter Chubb, David Mosberger, Gernot Heiser

Proceedings of the 2005 USENIX Annual Technical Conference, 2005

1989

LIMITS-a system for UNIX resource administration.

Andrew Bettison, Frank Adcock, Peter Chubb, Andrew Gollan, Chris Maltby

Proceedings of the Proceedings Supercomputing '89, Reno, NV, USA, November 12-17, 1989, 1989