~/talks

Nathaniel Wesley Filardo

what they talk about

where they keep going back

  • ISMM2 editions2022–2024

on a stage with

all 11 in the filters

who talks about the same things

nobody close enough yet

titleconferencedate
A CHERI C Memory Model for Verified Temporal SafetyCPP 20252025-01-20
Defines a CHERI C object memory model that implements a new PNVI-CHERI provenance scheme, encodes five revocation strategies, and plugs into the Cerberus…
Talk on
Intensional FunctionsOOPSLA 20242024-10-20
Adds a language feature that makes runtime closures visible: functions carry a definition-site ID and an environment and offer three destructors — application…
Talk
BatchIt: Optimizing Message-Passing Allocators for Producer-Consumer WorkloadsISMM 20242024-06-25
Adds a small per-slab associative cache of remote frees that batches objects heading to the same slab, implemented for mimalloc and snmalloc implementations…
Talk on
Industry panel: Memory management priorities for the next few yearsISMM 20222022-06-14
Claims: garbage-collected runtimes face hundreds-of-gigabyte heaps so non-compacting mark‑and‑sweep hits scalability limits while Julia moves toward mostly…
Panel
~/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.