@phdthesis{Scibior19,
title = {Formally justified and modular Bayesian inference for probabilistic programs},
author = {\'{S}cibior*, A.},
school = {University of Cambridge, UK},
year = {2019}
}
@conference{SciKamGha18,
title = {Functional Programming for Modular Bayesian Inference},
author = {\'{S}cibior, A. and Kammar, O. and Ghahramani, Z.},
journal = {Proceedings of the ACM on Programming Languages},
booktitle = {Proceedings of the ACM on Functional Programming (ICFP)},
volume = {2},
number = {Article No. 83},
pages = {1--29},
publisher = {ACM},
year = {2018}
}
@conference{Scibioretal17,
title = {Denotational Validation of Higher-order Bayesian Inference},
author = {\'{S}cibior, A. and Kammar, O. and V\'{a}k\'{a}r, M. and Staton, S. and Yang, H. and Cai, Y. and Ostermann, K. and Moss, S. K. and Heunen, C. and Ghahramani, Z.},
journal = {Proceedings of the ACM on Programming Languages},
booktitle = {Proceedings of the ACM on Principles of Programming Languages (POPL)},
volume = {2},
number = {Article No. 60},
pages = {1--29},
publisher = {ACM},
year = {2018}
}
@conference{SciSimTolSch16,
title = {Consistent Kernel Mean Estimation for Functions of Random Variables},
author = {Simon-Gabriel*, C. J. and \'{S}cibior*, A. and Tolstikhin, I. and Sch{\"o}lkopf, B.},
booktitle = {Advances in Neural Information Processing Systems 29},
pages = {1732--1740},
editors = {D. D. Lee, M. Sugiyama, U. V. Luxburg, I. Guyon, and R. Garnett},
publisher = {Curran Associates, Inc.},
month = dec,
year = {2016},
note = {*joint first authors},
url = {http://papers.nips.cc/paper/6545-consistent-kernel-mean-estimation-for-functions-of-random-variables.pdf},
month_numeric = {12}
}
@conference{BorGorOuyRusSciSzy16,
title = {Fabular: Regression Formulas As Probabilistic Programming},
author = {Borgstr\"{o}m, Johannes and Gordon, Andrew D. and Ouyang, Long and Russo, Claudio and \'{S}cibior, Adam and Szymczak, Marcin},
booktitle = {Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)},
pages = {271--283},
series = {POPL '16},
publisher = {ACM},
month = jan,
year = {2016},
month_numeric = {1}
}
@conference{SciGhaGor15,
title = {Practical Probabilistic Programming with Monads},
author = {\'{S}cibior, Adam and Ghahramani, Zoubin and Gordon, Andrew D.},
booktitle = {Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell},
pages = {165--176},
series = {Haskell '15},
publisher = {ACM},
year = {2015}
}