Travelled to:1 × USA
Collaborated with:G.Klein G.Heiser K.Elphinstone J.Andronick D.Cock P.Derrin D.Elkaduwe K.Engelhardt R.Kolanski M.Norrish H.Tuch S.Winwood S.Amani Alex Hixon Z.Chen C.Rizkallah P.Chubb L.O'Connor Joel Beeren Y.Nagashima J.Lim Joseph Tuong G.Keller T.C.Murray
Talks about:implement (1) verifi (1) system (1) kernel (1) formal (1) verif (1) assur (1) high (1) gent (1) file (1)
Person: Thomas Sewell
DBLP: Sewell:Thomas
Contributed to:
2009
2016Wrote 2 papers:
- SOSP-2009-KleinEHACDEEKNSTW #kernel #named #verification
- seL4: formal verification of an OS kernel (GK, KE, GH, JA, DC, PD, DE, KE, RK, MN, TS, HT, SW), pp. 207–220.
- 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.