This is Mistral Contrastin's personal website. I am a Ph.D. student at the Department of Computer Science and Technology, the University of Cambridge. Here you can find some information about my research, teaching as well as technical and cultural rumblings.
My research is in programming languages and verification. I worked on static analysis of Fortran (chill, using Haskell). I am now working on a Datalog variant for querying data under version control. Also I am an ex-Rubyist, up-and-coming Haskeller, and wannabe Agda programmer.
If I am not hacking in the nearest hip café or chasing the hottest art films I barely understand, I can be found running mid-distance by the River Cam.
I have a Twitter account and I prefer mentions over emails.
Publications
Conference
- Orchard, D., Contrastin, M., Danish, M., and Rice, A. 2017. Verifying spatial properties of array computations. Proc. ACM Program. Lang. 1, OOPSLA, Article 75 (October 2017), 30 pages. DOI: https://doi.org/10.1145/3133899
Workshop
- Contrastin, M., Danish, M., Orchard, D., and Rice, A. 2016. Lightning Talk: Supporting Software Sustainability with Lightweight Specifications. Proceedings of the Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4). DOI: https://doi.org/10.17863/CAM.4599
Editorial
- Contrastin, M., Rice, A., Danish, M., and Orchard, D. 2016. Units-of-measure correctness in Fortran programs. Computing in Science & Engineering, 18(1), pp.102-107.