( en | de | ru )

 

Disambiguierung von "Hawblitzel, Chris"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
IronFleet: proving safety and liveness of practical distributed systems.

, , , , , , , und . Commun. ACM, 60 (7): 83-92 (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Chris Protzel

Chris Fröhlich

Chris Paschold

Chris Neisse

Chris Thümmler

 

Weitere Publikationen von Autoren mit dem selben Namen

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider., , , , , , , , , und 6 andere Autor(en). SP, Seite 983-1002. IEEE, (2020)Vale: Verifying High-Performance Cryptographic Assembly Code., , , , , , , , und . USENIX Security Symposium, Seite 917-934. USENIX Association, (2017)Differential assertion checking., , , und . ESEC/SIGSOFT FSE, Seite 345-355. ACM, (2013)Automated and Modular Refinement Reasoning for Concurrent Programs., , , und . CAV (2), Volume 9207 von Lecture Notes in Computer Science, Seite 449-465. Springer, (2015)Linear types for large-scale systems verification., , , , , , und . Proc. ACM Program. Lang., 6 (OOPSLA1): 1-28 (2022)Resource management for extensible Internet servers., , , , und . ACM SIGOPS European Workshop, Seite 33-39. ACM, (1998)Adding Operating System Structure to Language-Based Protection.. Cornell University, USA, (2000)Verus: Verifying Rust Programs using Linear Ghost Types (extended version)., , , , , , , , und . CoRR, (2023)Implementing Multiple Protection Domains in Java., , , , und . USENIX Annual Technical Conference, USENIX Association, (1998)Meta-F ^: Proof Automation with SMT, Tactics, and Metaprograms., , , , , , , , , und 3 andere Autor(en). ESOP, Volume 11423 von Lecture Notes in Computer Science, Seite 30-59. Springer, (2019)