M. Frans Kaashoek
9 papers · 2012–2023 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (10) π§ Keyword Pioneer π Academic Marathon (11) π Cross-Pollinator (3) π Interdisciplinary Bridge
π
Domain Dominant
(7)
π±
Topic Pioneer
π
Trend Setter
π
Conference Pioneer
Conferences
OSDI (9)
Top co-authors
Research topics
Keywords
formal verification
(4)
concurrent system
(2)
streaming datum
(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