Travelled to:1 × USA
Collaborated with:E.Alkassar S.Böhme K.Mehlhorn S.Amani Alex Hixon Z.Chen 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) certifi (1) verifi (1) system (1) comput (1) verif (1) assur (1) high (1) gent (1) file (1)
Person: Christine Rizkallah
DBLP: Rizkallah:Christine
Contributed to:
2011
2016Wrote 2 papers:
- CAV-2011-AlkassarBMR #verification
- Verification of Certifying Computations (EA, SB, KM, CR), pp. 67–82.
- 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.