Collaborated with:S.Amani Alex Hixon Z.Chen C.Rizkallah P.Chubb L.O'Connor Joel Beeren Y.Nagashima J.Lim T.Sewell 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: Joseph Tuong
DBLP: Tuong:Joseph
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.