Peter Chubb
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1989–2016
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ASPLOS | 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 |
| 2009 | EuroSys | Dingo: taming device drivers. | Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser |
| 2009 | SOSP | Automatic device driver synthesis with termite. | Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser |
| 2005 | USENIX | Itanium - A System Implementor's Tale(Awarded General Track Best Student Paper Award!). | Charles Gray, Matthew Chapman, Peter Chubb, David Mosberger, Gernot Heiser |
| 1989 | SC | LIMITS-a system for UNIX resource administration. | Andrew Bettison, Frank Adcock, Peter Chubb, Andrew Gollan, Chris Maltby |