Collaborated with:S.Amani Z.Chen C.Rizkallah P.Chubb L.O'Connor Joel Beeren Y.Nagashima J.Lim T.Sewell Joseph Tuong G.Keller T.C.Murray G.Klein G.Heiser
Talks about:implement (1) verifi (1) system (1) assur (1) high (1) gent (1) file (1)
Person: Alex Hixon
DBLP: Hixon:Alex
Contributed to:
2016Wrote 1 papers:
- 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.