Publications

1. 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)
   
2. 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)
   
3. 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)
   
4. 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. Interactive Development Environment for Probabilistic Programming
   Maria I. Gorinova
   Undergraduate dissertation, University of Cambridge, 2015

1. Data Wrangling for End-Users in Healthcare
   Microsoft Redmond, 13 May 2016
2. 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
3. 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. Supervisor, Hoare Logic and Model Checking, University of Cambridge