Chris Hawblitzel
5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Linear types for large-scale systems verification
Jialin Li and others (2022) · Association for Computing Machinery (ACM)
Storage systems are distributed systems (so verify them that way!)
Travis Hance and others (2020) · 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020, Virtual Event, November 4-6 · USENIX Association
Komodo: Using verification to disentangle secure-enclave hardware from software
Andrew Ferraiuolo and others (2017) · ACM
IronFleet: proving practical distributed systems correct
Chris Hawblitzel and others (2015) · Proceedings of the 25th Symposium on Operating Systems Principles
Safe to the last instruction: automated verification of a type-safe operating system
Jean Yang and others (2010) · Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10 · ACM