~/talks

Roly Perera

what they talk about

all 4 in the filters

where they keep going back

  • PROPL2 editions2024–2025

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
Authoring Tools for Transparent Climate ReportingPROPL 20252025-10-13
Built a prototype called Fluid transparent programming language that tracks data flow to make charts and supporting text queryable and provenance-visible…
Talk on
Fluid: towards transparent, self-explanatory research outputsPROPL 20242024-01-20
Fluid implements a bidirectional dynamic dependency analysis in an untyped functional language runtime that emits a dynamic dependence graph alongside results…
Talk on
Effect Handlers for Programmable InferenceHaskell 20232023-09-08
Claims a Haskell library that uses algebraic effects and effect handlers to represent models as trees of sample/observe operations and to express inference…
Talk on
Modular Probabilistic Models via Algebraic EffectsICFP 20222022-09-11
Claims a Haskell-embedded DSL that makes probabilistic models first-class and reusable by using algebraic effects so one model serves for simulation…
Talk on
Linked Visualisations via Galois DependenciesPOPL 20222022-01-16
Presents a concrete, language-based dynamic analysis that links parts of visual outputs back to the input by computing Galois-style forward/backward slices…
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.