~/talks

Pedro Fonseca

what they talk about

all 4 in the filters

where they keep going back

no series more than once — all 3 in the filters

on a stage with

all 12 in the filters

who talks about the same things

nobody close enough yet

titleconferencedate
UpFuzz: Detecting Data Format Incompatibility Bugs during Distributed Storage System...NSDI '262026-05-04
UPFUZZ builds an automated upgrade fuzzer plus a likely-invariant analysis engine that instruments sync I/O and does backward analysis to capture transitively…
Talk on
KRR: Efficient and Scalable Kernel Record ReplayOSDI '252025-07-07
KRR implements a split-recorder with one recorder in the hypervisor and one inside the guest kernel, recording only inputs that enter the kernel and writing a…
Talk on
An Extensible Orchestration and Protection Framework for Confidential Cloud ComputingOSDI 20232023-07-10
eOPF is a hypervisor-level instrumentation framework that traps enclave events by making enclave pages non-executable, intercepting interrupts and using a…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.