This is Mistral Contrastin's personal website. I work on the typechecker for the Hack language at Meta, 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, I'm probably scaling some cliff somewhere nice or covered in chalk pulling on resin.

Contact me on Twitter or email me at the reverse of moc.liamg@citehnegdam.

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