Travelled to:1 × USA
Collaborated with:G.Keller T.C.Murray L.O'Connor Z.Chen G.Klein G.Heiser L.Ryzhyk Alex Hixon C.Rizkallah P.Chubb Joel Beeren Y.Nagashima J.Lim T.Sewell Joseph Tuong
Talks about:system (2) file (2) implement (1) verifi (1) deserv (1) verif (1) assur (1) high (1) gent (1) too (1)
Person: Sidney Amani
DBLP: Amani:Sidney
Contributed to:
2013
2016Wrote 2 papers:
- PLOS-2013-KellerMAOCRKH #exclamation #file system #verification
- File systems deserve verification too! (GK, TCM, SA, LO, ZC, LR, GK, GH), p. 7.
- 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.