~/talks

Wolfgang De Meuter

what they talk about

all 6 in the filters

where they keep going back

no series more than once — all 3 in the filters

on a stage with

all 8 in the filters

who talks about the same things

nobody close enough yet

titleconferencedate
Secure RDTs: Enforcing Access Control Policies for Offline Available JSON DataOOPSLA 20232023-10-23
A system called Secure RDTs enforces role‑based read/write rules on offline JSON by projecting a server‑specified policy and per‑role data excerpts to clients…
Talk on
Chair's Welcome and Most Notable Paper AwardDLS 20222022-12-07
Selection highlights a single simple claim: AST-based interpreters plus rewriting at runtime capture actual dynamic-language execution and enable aggressive…
Talk on
FLOREnce: A Hybrid Logic-Functional Reactive Programming LanguageREBLS 20222022-12-07
Claims a new language called FLOREnce that fuses event-based FRP reactors with rule-based logic by compiling reactors to a dataflow graph, rules to a Rete…
Talk on
Reactive Programming on the Bare Metal:A Formal Model for a Low-Level Reactive Virtual MachinREBLS 20222022-12-07
Claims a small-step operational semantics and a virtual machine called Remus VM that compiles each reactor to an instruction sequence so dependency order is…
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.