~/talks

Qian Wang

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 17 in the filters

who talks about the same things

nobody close enough yet

titleconferencedate
Miri: Practical Undefined Behavior Detection for RustPOPL 20262026-01-11
Miri is an interpreter of Rust’s abstract machine that tracks per-byte initialization and pointer provenance, enforces Rust type representations, detects data…
Talk on
3L-Cache: Low Overhead and Precise Learning-based Eviction Policy for CachesFAST '252025-02-25
3L-Cache is an object-level learning eviction policy that uses GBM prediction, sampled training windows, bidirectional sampling, and heap+hash matching to cut…
Talk on
Boomerang: Metadata-Private Messaging under Hardware TrustNSDI 20232023-04-17
Boomerang claims cryptographic metadata privacy by running the message mixer inside secure enclaves and using label-based routing plus oblivious proactive…
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.