• Sign in
  • Sign up
conf.researchr.org / Mistral Contrastin
  • ICFP 2019 profile
  • ICFP 2020 profile
  • ICFP 2022 profile
  • PLDI 2019 profile
  • POPL 2021 profile
  • SPLASH 2017 profile
  • SPLASH 2020 profile
Mistral Contrastin

Registered user since Sat 29 Apr 2017

Name:Mistral Contrastin
Country:United Kingdom
Affiliation:Facebook London
Personal website: https://dodisturb.me
Research interests:Logic Programming, Programming Languages, Static Analysis, Verification

Contributions

2022

ICFP

  • United Kingdom in Evaluators within the Artifact Evaluation-track

2021

Symposium on Practical Aspects of Declarative Languages

  • Committee Member in Programme Committee within the PADL 2021-track

2020

HATRA

  • Author of Guiding user annotations for units-of-measure verification within the HATRA-track

ICFP

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2019

ICFP

  • Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

DPA

  • Author of Now You See Me, Now You Don't: Querying with Hybrid Temporal Logic within the DPA-track

2017

SPLASH

  • Author of Verifying Spatial Properties of Array Computations within the OOPSLA-track
Share
xThu 22 May 22:01
using conf.researchr.org (v1.69.0)
Support page
Sign Up