Publications

1. Automatic Reparameterisation of Probabilistic Programs
   Maria I. Gorinova, Dave Moore, Matthew D. Hoffman
   In submission
   
2. 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)
   
3. 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)
4. Automatic Reparameterisation in Probabilistic Programming
   Maria I. Gorinova, Dave Moore, Matthew D. Hoffman
   Symposium on Advances in Approximate Bayesian Inference (AABI 2018)
   
5. Effect Handling for Composable Program Transformations in Edward2
   Dave Moore, Maria I. Gorinova
   International Conference on Probabilistic Programming (PROBPROG 2018)
6. 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)
   
7. SlicStan: A Blockless Stan-like Language
   Maria I. Gorinova, Andrew D. Gordon, Charles Sutton
   StanCon 2018
   
8. 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)
   
9. 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)
   
10. 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)
    
11. 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)
    

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

1. Probabilistic Programming: The What, Why and How
   [PDF slides]
   F# eXchange, Keynote, April 2019
   Advances in Programming Languages, Guest Lecture, University of Edinburgh, November 2018
   
2. Probabilistic Programming with SlicStan
   [PDF slides] [Video]
   PROBPROG 2018, Invited Talk, October 2018
   StanCon 2018, January 2018
   PPS Workshop at POPL 2018, January 2018
   
3. Data Wrangling for End-Users in Healthcare
   Microsoft Redmond, May 2016
4. A Live, Multiple-Representation Probabilistic Programming Environment for Novices
   [PDF slides (short)] [PDF slides (long)] [Video]
   

   Advances in Programming Languages, Guest Lecture, University of Edinburgh, November 2016
   Programming Languages and Software Engineering Group, University of Washington, May 2016
   2016 CHI Conference on Human Factors in Computing Systems, May 2016
   3^rd Oxbridge Women in Computer Science Conference, 10 March 2016

5. Proving Conditional Termination
   [PDF slides]
   

   Program Specification and Verification Group, Imperial College London, 24 February 2016
   Vienna Center for Logic and Algorithms, TU Wien, 8 February 2016
   RiSE Seminar, IST Austria, 12 November 2015
   Software Reliability Lab, ETH Zurich, 9 October 2015

1. Tutor, Functional Programming in Haskell, University of Edinburgh
2. Coursework update, Probabilistic Modelling and Reasoning, University of Edinburgh
3. Tutor, Probabilistic Modelling and Reasoning, University of Edinburgh
4. Tutor, Discrete Mathematics and Mathematical Reasoning, University of Edinburgh
5. Supervisor, Hoare Logic and Model Checking, University of Cambridge