Travelled to:1 × USA
Collaborated with:G.Heiser L.Ryzhyk I.Kuz E.L.Sueur S.Amani Alex Hixon Z.Chen C.Rizkallah L.O'Connor Joel Beeren Y.Nagashima J.Lim T.Sewell Joseph Tuong G.Keller T.C.Murray G.Klein
Talks about:implement (1) synthesi (1) automat (1) verifi (1) termit (1) system (1) driver (1) devic (1) assur (1) high (1)
Person: Peter Chubb
DBLP: Chubb:Peter
Contributed to:
2009
2016Wrote 2 papers:
- SOSP-2009-RyzhykCKSH #automation #synthesis
- Automatic device driver synthesis with termite (LR, PC, IK, ELS, GH), pp. 73–86.
- ASPLOS-2016-AmaniHCRCOBNLST #file system #implementation #named #verification
- CoGENT: Verifying High-Assurance File System Implementations (SA, AH, ZC, CR, PC, LO, JB, YN, JL, TS, JT, GK, TCM, GK, GH), pp. 175–188.