Mistral Contrastin

According to our database, Mistral Contrastin authored at least 4 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Guiding user annotations for units-of-measure verification.

Dominic Orchard, Mistral Contrastin, Matthew Danish, Andrew Rice

CoRR, 2020

2018

Automatic Reordering for Dataflow Safety of Datalog.

Mistral Contrastin, Dominic A. Orchard, Andrew C. Rice

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

2017

Verifying spatial properties of array computations.

Dominic A. Orchard, Mistral Contrastin, Matthew Danish, Andrew C. Rice

Proc. ACM Program. Lang., 2017

2016

Units-of-Measure Correctness in Fortran Programs.

Mistral Contrastin, Andrew C. Rice, Matthew Danish, Dominic A. Orchard

Comput. Sci. Eng., 2016