conf.researchr.org / Adam Ścibior

Registered user since Tue 5 Sep 2017

Name:Adam Ścibior
Affiliation:University of Cambridge and MPI Tuebingen
Personal website:http://mlg.eng.cam.ac.uk/adam/

Contributions

LAFI 2019 Author of Strongly Typed Tracing of Probabilistic Programs (cancelled, alas) within the LAFI (né PPS)-track
Author of Model and Inference Combinators for Deep Probabilistic Programming within the LAFI (né PPS)-track
ICFP 2018 Author of Functional Programming for Modular Bayesian Inference within the Research Papers-track
POPL 2018 Author of Denotational validation of higher-order Bayesian inference within the Research Papers-track
PPS 2018 Author of The semantic structure of quasi-Borel spaces: algebra, logic, and recursion within the PPS 2018-track
PPS 2017 Author of Building inference algorithms from monad transformers within the PPS-track
POPL 2016 Author of Fabular: Regression Formulas as Probabilistic Programming within the Research Papers-track
PPS 2016 Author of Reproducing Kernel Hilbert Space Semantics for Probabilistic Programs within the PPS 2016-track
Author of Parameterized Probability Monad within the PPS 2016-track

Blog Posts