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