M. Frans Kaashoek
9 papers
· 2012–2023
· 1 conference
· across top CS/AI conferences
Achievements
πΊοΈ
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)