( en | de | ru )

 

Disambiguation of "Hawblitzel, Chris"

Author of the publication

copydeleteadd this publication to your clipboard
IronFleet: proving safety and liveness of practical distributed systems.

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

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.

Chris Protzel

Chris Fröhlich

Chris Thümmler

Chris Paschold

Chris Neisse

 

Other publications of authors with the same name

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