Mistral Contrastin

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Guiding user annotations for units-of-measure verification.
CoRR, 2020

2018
Automatic Reordering for Dataflow Safety of Datalog.
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

2017
Verifying spatial properties of array computations.
Proc. ACM Program. Lang., 2017

2016
Units-of-Measure Correctness in Fortran Programs.
Comput. Sci. Eng., 2016


  Loading...