This is Mistral Contrastin's personal website. I work on the typechecker for the Hack language at Facebook, London. I used to be a Ph.D. student at the University of Cambridge.
My research is on programming languages and verification with a particular interest in declarative languages such as Datalog. Previously, I worked on static analysis of Fortran using Haskell.
I love arts, especially literature and cinema. I am learning to blow the ney. If you can't find me getting something to typecheck in a café, I'm probably running mid-distance or rollerblading around the Regent's Park in London.
Contact me on Twitter or email me at [email protected].
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, 2021: Artefact Evaluation Committee
- PADL, 2020: Program Committee
- ICFP, 2020: Artefact Evaluation Committee
- ICFP, 2019: Artefact Evaluation Committee