~/talks

Ben L. Titzer

what they talk about

all 4 in the filters

where they keep going back

all 7 in the filters

on a stage with

all 18 in the filters

who talks about the same things

titleconferencedate
Debugging WebAssembly? Put some Whamm on it!OOPSLA 20252025-10-16
Whamm is an instrumentation framework for WebAssembly that compiles a declarative DSL into either an engine-level Whey engine API probe module or a…
Talk on
Unveiling Heisenbugs with Diversified ExecutionOOPSLA 20252025-10-16
Presents a concrete system and results: a WebAssembly-backed dynamic data-race detector called Beanstalk that uses trap delay injection and stochastic partial…
Talk on
Unboxing Virgil ADTs For Fun and ProfitJENSFEST 20242024-10-22
Adds two annotations to Virgil: #unboxed removes heap allocation by lowering non-nullary ADT cases into multiple machine scalars/words, and #packed lets the…
Talk on
Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly BenchmarksOOPSLA 20242024-10-20
Builds bytecode instrumentation that record-reduce-replays Wasm executions, uses a shadow memory optimization plus call-state filtering to shrink traces from…
Talk on
WALI: A thin Linux kernel interface for WebAssemblyWAW 20242024-01-15
WALI implements a one-to-one Linux syscall mapping for WebAssembly, forwarding calls from Wasm to the kernel with minimal adaptation and preserving Wasm memory…
Talk on
Inside the Wizard Research EnginePWLConf 20232023-09-21
Claims a new research Wasm engine named Wizard with an in-place interpreter and probe-based instrumentation that supports inserting and removing probes at…
Talk on
Inside the Wizard Research EngineStrange Loop 20232023-09-21
Wizard is a research Wasm engine that ships an in-place interpreter plus a simple Baseline JIT and an API of probes that can insert and remove probes at…
Talk on
Inside the Wizard Research EngineWasmCon 20232023-09-06
A compact Wasm research engine called Wizard implements an in-place interpreter that overwrites bytes with an illegal opcode to install removable probes at…
Talk on
Virgil as a Systems Programming LanguageVMIL 20222022-12-05
Virgil is a self-hosted systems language that compiles to ELF/Mach-O/JAR/WASM directly, implements its own assembler and runtime, and uses stack maps to enable…
Talk on
A Fast In-Place Interpreter for WebAssemblyOOPSLA 20222022-12-05
Builds a handwritten-assembly in-place interpreter for WebAssembly called Wizards using Virgil and shows it runs as fast as many rewriting interpreters while…
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.