CoGENT: Verifying High-Assurance File System Implementations
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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.

Full names Links ISxN
	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,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.