~/talks

Reese Levine

what they talk about

all 4 in the filters

where they keep going back

no series more than once — all 4 in the filters

on a stage with

all 9 in the filters

who talks about the same things

nobody close enough yet

titleconferencedate
Consistency and Coherence of the NVIDIA Grace-Hopper SuperchipISMM 20262026-06-16
Empirical study validates the Grace‑Hopper enforces the Compound Memory Consistency Model using 1,960 litmus variants spanning ARM and PTX, showing independent…
Talk on
From Workarounds to Root Causes: Experience Using Agentic Workflows to Debug Complex(…)PAgE 20262026-06-15
Porting llama.cpp to the browser via WebGPU exposes a bug chain across WGSL, browser runtimes, compiler rewrites, and Metal; a context-managed, re-steerable…
Talk on
SafeRace: Assessing and Addressing WebGPU Memory Safety in the Presence of Data RacesOOPSLA 20252025-10-16
Identifies a WGSL specification gap where data races let downstream GPU compilers legally remove bounds clamps, enabling out‑of‑bounds accesses; implements a…
Talk on
Evolving Weak Memory Models for Evolving ArchitecturesThe Future of Weak Memory 20242024-01-15
Empirical litmus testing shows load buffering visible on most GPUs with observed rates from ~0.001% (Intel) to >1% (AMD); a methodology mutates candidate…
Talk
~/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.