Research

Publications

1. Conditional independence by typing
   Maria I. Gorinova, Andrew D. Gordon, Charles Sutton, Matthijs Vakar
   To appear in ACM Transactions on Programming Languages and Systems (TOPLAS 2022)
   
2. GRAND: Graph Neural Diffusion
   Benjamin Paul Chamberlain, James Rowbottom, Maria I. Gorinova, Stefan Webb, Emanuele Rossi, Michael M. Bronstein
   Proceedings of the International Conference on Machine Learning (ICML 2021)
   
3. Automatic Reparameterisation of Probabilistic Programs
   Maria I. Gorinova, Dave Moore, Matthew D. Hoffman
   Proceedings of the International Conference on Machine Learning (ICML 2020)
   
4. Probabilistic Programming with Densities in SlicStan: Efficient, Flexible and Deterministic
   Maria I. Gorinova, Andrew D. Gordon, Charles Sutton
   Proceedings of the Symposium on Principles of Programming Languages (POPL 2019)
   
5. Usability of Probabilistic Programming Languages
   A. Blackwell, T. Kohn, M. Erwig, A.G. Baydin, L. Church, J. Geddes, A.D. Gordon, M.I. Gorinova, B. Gram-Hansen, N. Lawrence, V. Mansinghka, B. Paige, T. Petricek, D. Robinson, A. Sarkar, O. Strickson
   Proceedings of the 30th Annual Conference of the Psychology of Programming Interest Group (PPIG 2019)
6. Automatic Reparameterisation in Probabilistic Programming
   Maria I. Gorinova, Dave Moore, Matthew D. Hoffman
   Symposium on Advances in Approximate Bayesian Inference (AABI 2018)
   
7. Effect Handling for Composable Program Transformations in Edward2
   Dave Moore, Maria I. Gorinova
   International Conference on Probabilistic Programming (PROBPROG 2018)
8. SlicStan: Improving Probabilistic Programming using Information Flow Analysis
   Maria I. Gorinova, Andrew D. Gordon, Charles Sutton
   Probabilistic Programming Languages, Semantics, and Systems Workshop at the Symposium on Principles of Programming Languages (PPS 2018)
   
9. SlicStan: A Blockless Stan-like Language
   Maria I. Gorinova, Andrew D. Gordon, Charles Sutton
   StanCon 2018
   
10. Transforming Spreadsheets with Data Noodles
    Maria I. Gorinova, Advait Sarkar, Alan F. Blackwell, Karl Prince
    2016 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2016)
    
11. The End-User Programming Challenge of Data Wrangling
    Maria I. Gorinova, Karl Prince, Sallyanne Meakins, Alain Vuylsteke, Matthew Jones, Alan F. Blackwell
    Proceedings of the 27th Annual Conference of the Psychology of Programming Interest Group (PPIG 2016)
    
12. A Live, Multiple-Representation Probabilistic Programming Environment for Novices
    Maria I. Gorinova, Advait Sarkar, Alan F. Blackwell, Don Syme
    Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems (CHI 2016)
    
13. Predicting Gaming Related Properties from Twitter Accounts
    Maria I. Gorinova, Yoad Lewenberg, Yoram Bachrach, Alfredo Kalaitzis, Michael Fagan, Dean Carignan, Nitin Gautam
    Proceedings of the 30 ^th AAAI Conference on Artificial Intelligence (AAAI 2016)
    

Dissertations

1. Program Analysis of Probabilistic Programs
   Maria I. Gorinova
   PhD dissertation, University of Edinburgh, 2021
2. Probabilistic Programming with SlicStan
   Maria I. Gorinova
   Master of Science by Research dissertation, University of Edinburgh, 2017
3. Interactive Development Environment for Probabilistic Programming
   Maria I. Gorinova
   Bachelor of Arts dissertation, University of Cambridge, 2015

Professional service

1. Organiser: Differentiable Programming Workshop (NeurIPS 2021)
2. Area Chair: AISTATS 2023
3. Reviewer: PROBPROG, ICLR, AABI, LAFI, NeurIPS, ICML, PPIG