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