PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hawblitzel, Chris"

Author of the publication

copydeleteadd this publication to your clipboard
Cosh: Clear OS Data Sharing In An Incoherent World.

, , , , and . TRIOS, USENIX Association, (2014)

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 Bühler University of Stuttgart

Katrin Christ University of Stuttgart

M. Christmann

Chris Wanner University of Stuttgart

Kasper Christensen University of Stuttgart

 

Other publications of authors with the same name

Safe to the last instruction: automated verification of a type-safe operating system., and . Commun. ACM, 54 (12): 123-131 (2011)Helios: heterogeneous multiprocessing with satellite kernels., , , , and . SOSP, page 221-234. ACM, (2009)Differential assertion checking., , , and . ESEC/SIGSOFT FSE, page 345-355. ACM, (2013)Implementing Multiple Protection Domains in Java., , , , and . USENIX Annual Technical Conference, USENIX Association, (1998)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)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)Linear types for large-scale systems verification., , , , , , and . Proc. ACM Program. Lang., 6 (OOPSLA): 1-28 (2022)Ironclad Apps: End-to-End Security via Automated Full-System Verification., , , , , , and . OSDI, page 165-181. USENIX Association, (2014)Automated Verification of Practical Garbage Collectors, and . Logical Methods in Computer Science, (2010)