Mistral Contrastin

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 4

Top Topics

Scientific Computing

Multidimensional Arrays

Query Answering

Top Venues

Proc. ACM Program. Lang.

Comput. Sci. Eng.

Publications

Dominic Orchard, Mistral Contrastin, Matthew Danish, Andrew Rice
Guiding user annotations for units-of-measure verification. CoRR (2020)
Mistral Contrastin, Dominic A. Orchard, Andrew C. Rice
Automatic Reordering for Dataflow Safety of Datalog. PPDP (2018)
Dominic A. Orchard, Mistral Contrastin, Matthew Danish, Andrew C. Rice
Verifying spatial properties of array computations. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Mistral Contrastin, Andrew C. Rice, Matthew Danish, Dominic A. Orchard
Units-of-Measure Correctness in Fortran Programs. Comput. Sci. Eng. 18 (1) (2016)