~/talks

Naama Ben-David

what they talk about

all 5 in the filters

where they keep going back

no series more than once — all 5 in the filters

on a stage with

all 7 in the filters

who talks about the same things

nobody close enough yet

titleconferencedate
In Link We Trust: BFT at the Speed of CFT using SwitchesNSDI '262026-05-04
SwitchBFT implements a BFT consensus sequencer on P4 programmable switches, claiming BFT latency and throughput equal to CFT NOPaxos by using packet source…
Talk on
Lightning Talks by Simons Institute FellowsEleventh Annual Industry Day2025-11-13
History-independence claims give canonical memory layouts for dictionaries that match usual performance via random priorities and extend to external memory…
Lightning on
The FIDS Theorems: Tensions between Multinode and Multicore Performance in Transactional SystemsManaging Parallelism 20252025-10-20
Paper proves a concrete incompatibility: no sharded, asynchronous transactional system can simultaneously provide serializability, invisible reads and…
Talk on
Concurrent Data Structures in Persistent MemoryManaging Memory 20252025-09-29
Presents two concrete tools: NVTraverse converts many lock-free pointer-based structures into persistent ones by flushing only the traversal output (typically…
Talk on
Algorithms for practical distributed agreementHydra 20212021-06-15
A practical RDMA-based state machine replication system called MU uses Infiniband one-sided operations to achieve a one-sided round trip commit in the common…
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.