USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 1 results:
Filters: Author is Vilhelm Sjöberg [Clear All Filters]
CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). :653--669.
.
2016.