Publications

1. 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)
   
2. SlicStan: A Blockless Stan-like Language
   Maria I. Gorinova, Andrew D. Gordon, Charles Sutton
   StanCon 2018
   
3. 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)
   
4. 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)
   
5. 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)
   
6. 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 with SlicStan
   [PDF slides] [Video]
   StanCon 2018, 11 January 2018
   PPS Workshop at POPL 2018, 9 January 2018
   
2. Data Wrangling for End-Users in Healthcare
   Microsoft Redmond, 13 May 2016
3. A Live, Multiple-Representation Probabilistic Programming Environment for Novices
   [PDF slides (short)] [PDF slides (long)] [Video Preview] [Talk]
   

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

4. 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, Probabilistic Modelling and Reasoning, University of Edinburgh
2. Tutor, Discrete Mathematics and Mathematical Reasoning, University of Edinburgh
3. Supervisor, Hoare Logic and Model Checking, University of Cambridge