This is Mistral Contrastin's personal website. I am a computer science Ph.D. student at the University of Cambridge.
My research is in programming languages and verification. I currently work on extending capabilities of Datalog. Previously, I worked on static analysis of Fortran using Haskell. I am also an ex-Rubyist, an up-and-coming Haskeller, and a wannabe Idris programmer.
I love arts and am working towards being a film buff. I also do film photography and am learning to blow ney. If you can't find me getting something to type check in a café, I'm probably running mid-distance along the river Cam.
Contact me on Twitter or email me at [email protected] if you must.
Talks
-
6 November, 2019,
Queens' College, Cambridge, UK:
Refinement Types: Future of Typing, Now
Slides and Code -
7 August 2019,
Semmle Inc, Oxford, UK:
Violating dataflow and getting away with it
Slides -
23 June 2019,
Declarative Program Analysis workshop
(DPA), Phoenix, Arizona:
Now You See Me, Now You Don't: Querying with Hybrid Temporal Logic
Slides -
20 May 2019, Queens' College, Cambridge, UK:
The Hitchhiker’s Guide to Time in Computers
Slides
Publications
Conference
-
Automatic Reordering for Dataflow Safety of Datalog.
PPDP, 2018.
Contrastin, M., Orchard, D., and Rice, A.
DOI: https://doi.org/10.1145/3236950.3236954
Slides -
Verifying spatial properties of array computations.
OOPSLA, 2017.
Orchard, D., Contrastin, M., Danish, M., and Rice, A.
DOI: https://doi.org/10.1145/3133899
Workshop
-
Supporting Software Sustainability with Lightweight Specifications.
WSSSPE4, 2016.
Contrastin, M., Danish, M., Orchard, D., and Rice, A. DOI: https://doi.org/10.17863/CAM.4599
Editorial
-
Units-of-measure correctness in Fortran programs.
CISE, 2016.
Contrastin, M., Rice, A., Danish, M., and Orchard, D.
Duty
- ICFP, 2019: Artefact Evaluation Committee