USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 29 results:
Filters: Author is M. Frans Kaashoek [Clear All Filters]
Verifying vMVCC, a high-performance transaction library using multi-version concurrency control. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :871--886.
.
2023. Verifying Hardware Security Modules with Information-Preserving Refinement. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :503--519.
.
2022. Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :447--463.
.
2022. GoJournal: a verified, concurrent, crash-safe journaling system. 15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21). :423--439.
.
2021. Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :1139--1154.
.
2020. The benefits and costs of writing a POSIX kernel in a high-level language. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :89--105.
.
2018. Noria: dynamic, partially-stateful data-flow for high-performance web applications. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :213--231.
.
2018. Using Crash Hoare Logic for Certifying the FSCQ File System. 2016 USENIX Annual Technical Conference (USENIX ATC 16).
.
2016. Amber: Decoupling User Data from Web Applications. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
.
2015. Specifying Crash Safety for Storage Systems. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
.
2015. Identifying Information Disclosure in Web Applications with Retroactive Auditing. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :555--569.
.
2014. Improving Integer Security for Systems with KINT. 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12). :163--177.
.
2012. An Analysis of Linux Scalability to Many Cores. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
.
2010. Intrusion Recovery Using Selective Re-execution. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
.
2010. Whānau: A Sybil-proof Distributed Hash Table. 7th USENIX Symposium on Networked Systems Design and Implementation (NSDI 10).
.
2010. Flexible, Wide-Area Storage for Distributed Systems with WheelFS. 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 09).
.
2009. Reinventing Scheduling for Multicore Systems. 12th Workshop on Hot Topics in Operating Systems (HotOS XII).
.
2009. R2: An Application-Level Kernel for Record and Replay. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).
.
2008. UsenetDHT: A Low-Overhead Design for Usenet. 5th USENIX Symposium on Networked Systems Design and Implementation (NSDI 08).
.
2008. Events Can Make Sense. 2007 USENIX Annual Technical Conference (USENIX ATC 07).
.
2007. Efficient Replica Maintenance for Distributed Storage Systems . 3rd Symposium on Networked Systems Design & Implementation (NSDI 06).
.
2006. Bandwidth-efficient Management of DHT Routing Tables . 2nd Symposium on Networked Systems Design & Implementation (NSDI 05).
.
2005. Designing a DHT for Low Latency and High Throughput. First Symposium on Networked Systems Design and Implementation (NSDI 04).
.
2004. REX: Secure, Extensible Remote Execution. 2004 USENIX Annual Technical Conference (USENIX ATC 04).
.
2004. SSL Splitting: Securely Serving Data from Untrusted Caches. 12th USENIX Security Symposium (USENIX Security 03).
.
2003.