( en | de | ru )

 

Disambiguation of "Hawblitzel, Chris"

Author of the publication

copydeleteadd this publication to your clipboard
Deconstructing Process Isolation

, , , , and . MSPC '06: Proceedings of the 2006 workshop on Memory system performance and correctness, page 1--10. New York, NY, USA, ACM, (2006)
DOI: 10.1145/1178597.1178599

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 Neisse

Chris Mühlhausen

 

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)Differential assertion checking., , , and . ESEC/SIGSOFT FSE, page 345-355. ACM, (2013)EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider., , , , , , , , , and 6 other author(s). SP, page 983-1002. IEEE, (2020)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)Verus: Verifying Rust Programs using Linear Ghost Types (extended version)., , , , , , , , and . CoRR, (2023)Linear types for large-scale systems verification., , , , , , and . Proc. ACM Program. Lang., 6 (OOPSLA1): 1-28 (2022)