Peter Chubb

Publication Activity (10 Years)

Years Active: 1989-2022
Publications (10 Years): 2

Top Topics

Continuous Media

Geospatial Information

Scalable Distributed

Top Venues

ACM SIGOPS Oper. Syst. Rev.

Publications

Gernot Heiser, Lucy Parker, Peter Chubb, Ivan Velickovic, Ben Leslie
Can We Put the "S" Into IoT? WF-IoT (2022)
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
CoGENT: Verifying High-Assurance File System Implementations. ASPLOS (2016)
Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Keng Chai Ong, Leonid Ryzhyk, Yanjin Zhu
Automatic verification of active device drivers. ACM SIGOPS Oper. Syst. Rev. 48 (1) (2014)
Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Leonid Ryzhyk, Yanjin Zhu
Automatic Verification of Message-Based Device Drivers SSV (2012)
Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser
Automatic device driver synthesis with termite. SOSP (2009)
Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser
Dingo: taming device drivers. EuroSys (2009)
Joshua LeVasseur, Volkmar Uhlig, Yaowei Yang, Matthew Chapman, Peter Chubb, Ben Leslie, Gernot Heiser
Pre-virtualization: Soft layering for virtual machines. ACSAC (2008)
Charles Gray, Matthew Chapman, Peter Chubb, David Mosberger, Gernot Heiser
Itanium - A System Implementor's Tale(Awarded General Track Best Student Paper Award!). USENIX Annual Technical Conference, General Track (2005)
Ben Leslie, Peter Chubb, Nicholas Fitzroy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yue-Ting Shen, Kevin Elphinstone, Gernot Heiser
User-Level Device Drivers: Achieved Performance. J. Comput. Sci. Technol. 20 (5) (2005)
Andrew Bettison, Frank Adcock, Peter Chubb, Andrew Gollan, Chris Maltby
LIMITS-a system for UNIX resource administration. SC (1989)