This is Mistral Contrastin's personal website. I am a computer science Ph.D. student at 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 using Haskell. I am now working on a Datalog variant for querying temporal data. I am also an ex-Rubyist, an up-and-coming Haskeller, and a wannabe Agda programmer.
I love fine arts of various sorts and working towards being a film buff. I do film photography and am learning to play ney. If you can't find me reading papers in a café, I'm probably running mid-distance along the river Cam.
I have a Twitter account and I prefer mentions over emails, but if you have to, try [email protected]
Publications
Conference
-
Contrastin, M., Orchard, D., and Rice, A.
Automatic Reordering for Dataflow Safety
of Datalog. PPDP '18 Proceedings of the 20th International
Symposium on Principles and Practice of Declarative Programming, 2018.
Slides.
DOI: https://doi.org/10.1145/3236950.3236954 - Orchard, D., Contrastin, M., Danish, M., and Rice, A. Verifying spatial properties of array computations. Proceedings of the ACM on Programming Languages: Volume 1 Issue OOPSLA, 2017. 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.