Author of the publication

CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels.

, , , , , , and . OSDI, page 653-669. USENIX Association, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

SimplMM: A simplified and abstract multicore hardware model for large scale system software formal verification., , and . J. Syst. Archit., (February 2024)Building certified concurrent OS kernels., , , , , , , and . Commun. ACM, 62 (10): 89-99 (2019)CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels., , , , , , and . OSDI, page 653-669. USENIX Association, (2016)ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions., , , , and . J. Syst. Archit., (February 2024)WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems., , , , , , and . SoCC, page 299-311. ACM, (2019)Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems., , , and . Proc. ACM Program. Lang., 5 (OOPSLA): 1-31 (2021)Adore: atomic distributed objects with certified reconfiguration., , , and . PLDI, page 379-394. ACM, (2022)Safety and Liveness of MCS Lock - Layer by Layer., , , and . APLAS, volume 10695 of Lecture Notes in Computer Science, page 273-297. Springer, (2017)Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance., , , and . APLAS, volume 8301 of Lecture Notes in Computer Science, page 156-171. Springer, (2013)Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance., and . CPP, volume 7086 of Lecture Notes in Computer Science, page 264-279. Springer, (2011)