USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 7 results:
Filters: Author is Chris Hawblitzel [Clear All Filters]
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :911--929.
.
2023. Storage Systems are Distributed Systems (So Verify Them That Way!). 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :99--115.
.
2020. Vale: Verifying High-Performance Cryptographic Assembly Code. 26th USENIX Security Symposium (USENIX Security 17). :917--934.
.
2017. Cosh: Clear OS Data Sharing In An Incoherent World. 2014 Conference on Timely Results in Operating Systems (TRIOS 14).
.
2014. Ironclad Apps: End-to-End Security via Automated Full-System Verification. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :165--181.
.
2014. Luna: A Flexible Java Protection System. 5th Symposium on Operating Systems Design and Implementation (OSDI 02).
.
2002. Implementing Multiple Protection Domains in Java. 1998 USENIX Annual Technical Conference (USENIX ATC 98).
.
1998.