M. Frans Kaashoek
9 papers · 2012–2023 · 1 venue · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
π
Academic Marathon Β· Half
π
Interdisciplinary Bridge Β· Silver
πΊοΈ
Taxonomy Completionist
(10)
π
Conference Pioneer
π
Trend Setter
Venues
Top co-authors
Research topics
Keywords
formal verification
(4)
concurrent system
(2)
streaming data
(1)
multi-version concurrency control
(1)
garbage collection
(1)
machine-checked proof
(1)
file system
(1)
partially-stateful data-flow
(1)
streaming data-flow model
(1)
materialized view
(1)
relational schema
(1)
hardware security module
(1)
transient execution attack
(1)
kernel page table
(1)
speculation barrier
(1)
side-channel attack
(1)
mitigation overhead
(1)
operating system kernel
(1)
side channel
(1)
refinement verification
(1)
Papers
Verifying vMVCC, a high-performance transaction library using multi-version concurrency control
OSDI 2023
Verifying Hardware Security Modules with Information-Preserving Refinement
OSDI 2022
Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning
OSDI 2022
GoJournal: a verified, concurrent, crash-safe journaling system
OSDI 2021
Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract
OSDI 2020
Noria: dynamic, partially-stateful data-flow for high-performance web applications
OSDI 2018
The benefits and costs of writing a POSIX kernel in a high-level language
OSDI 2018
Identifying Information Disclosure in Web Applications with Retroactive Auditing
OSDI 2014
Improving Integer Security for Systems with KINT
OSDI 2012