~/talks

Manuel Serrano

what they talk about

all 5 in the filters

where they keep going back

no series more than once — all 4 in the filters

on a stage with

who talks about the same things

titleconferencedate
Float Self-TaggingOOPSLA 20252025-10-16
Introduces an invertible bitwise transform called self-tagging that maps a subset of IEEE754 doubles into tagged machine words so value and type share one…
Talk on
A Snapshot of the Performance of Wasm Backends for Managed LanguagesMPLR 20252025-10-14
Compares six managed-language Wasm backends to their native counterparts and to each other, reporting concrete slowdowns: the best backends average 1.4× slower…
Talk on
An Executable Semantics for Faster Development of Optimizing Python CompilersSLE 20232023-10-23
An executable semantics encodes Python’s lookup, boxing/unboxing and calls as Python-with-primitives (uses class_get_ATR and an int_to_host/int_from_host pair)…
Talk on
Of JavaScript Ahead-Of-Time Compilation PerformanceStrange Loop 20222022-09-22
AOT compiler Hopc compiles JavaScript to Scheme then C, uses optimistic/speculative rules with guards instead of heavy static analyses, and produces…
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.