~/talks

Hani Jamjoom

what they talk about

all 6 in the filters

where they keep going back

no series more than once — all 4 in the filters

on a stage with

all 13 in the filters

who talks about the same things

nobody close enough yet

titleconferencedate
Rex: Closing the language-verifier gap with safe and usable kernel extensionsUSENIX ATC '252025-07-07
Rex claims to close the language‑verifier gap by running kernel extensions in safe Rust linked to a Rex kernel crate and a lightweight runtime that enforces…
Talk on
Fast (Trapless) Kernel Probes EverywhereUSENIX ATC 20242024-07-10
Replaces trap-based Kprobes with direct control-flow rewrites and selective padding to avoid double-trap overhead: a compiler LLVM machine IR pass inserts…
Talk on
AIN: A Blueprint for an All-IP Data Center NetworkHotCloud '132013-06-25
Proposes replacing virtual switches with a virtual IPv6 router in each hypervisor, mapping VM addresses into a 128-bit network space via tenant/network tags…
Talk on
Split/Merge: System Support for Elastic Execution in Virtual MiddleboxesNSDI 20132013-04-02
Split/Merge exposes a per-flow partitioning abstraction and implements it as FreeFlow: a VMM runtime plus an SDN controller module and a small library API that…
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.