Sidney Amani, Alex Hixon, Zilin Chen, Christine Rizkallah, Peter Chubb, Liam O'Connor, Joel Beeren, Yutaka Nagashima, Japheth Lim, Thomas Sewell, Joseph Tuong, Gabriele Keller, Toby C. Murray, Gerwin Klein, Gernot Heiser
CoGENT: Verifying High-Assurance File System Implementations
ASPLOS, 2016.
@inproceedings{ASPLOS-2016-AmaniHCRCOBNLST,
author = "Sidney Amani and Alex Hixon and Zilin Chen and Christine Rizkallah and Peter Chubb and Liam O'Connor and Joel Beeren and Yutaka Nagashima and Japheth Lim and Thomas Sewell and Joseph Tuong and Gabriele Keller and Toby C. Murray and Gerwin Klein and Gernot Heiser",
booktitle = "{Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems}",
doi = "10.1145/2872362.2872404",
isbn = "978-1-4503-4091-5",
pages = "175--188",
publisher = "{ACM}",
title = "{CoGENT: Verifying High-Assurance File System Implementations}",
year = 2016,
}