5 papers · 1 filter
Data Provenance as Automatic Differentiation
Robert Atkey, Roly Perera
Automatic differentiation (AD) computes the derivative of a program alongside the program itself, as a linear map between tangent spaces, propagated forwards or backwards along an…
Literate Execution
Joe Bond, Jacob Pake, Cristina David +4
\emph{Literate programming}, introduced by Knurth, interleaves code and prose so that a program can be read as both executable and explanatory text. We propose \emph{literate execu…
Effect Handlers for Programmable Inference
Minh Nguyen, Roly Perera, Meng Wang +1
Inference algorithms for probabilistic programming are complex imperative programs with many moving parts. Efficient inference often requires customising an algorithm to a particul…
Modular Probabilistic Models via Algebraic Effects
Minh Nguyen, Roly Perera, Meng Wang +1
Probabilistic programming languages (PPLs) allow programmers to construct statistical models and then simulate data or perform inference over them. Many PPLs restrict models to a p…
Cognacy Queries over Dependence Graphs for Transparent Visualisations
Joseph Bond, Cristina David, Minh Nguyen +2
Charts, figures, and text derived from data play an important role in decision making, from data-driven policy development to day-to-day choices informed by online articles. Making…