Seguir
Mistral Contrastin
Mistral Contrastin
Engineer, Facebook London
Email confirmado em fb.com - Página inicial
Título
Citado por
Citado por
Ano
Units-of-measure correctness in Fortran programs
M Contrastin, A Rice, M Danish, DA Orchard
Computing in Science & Engineering 18 (1), 102-107, 2015
132015
Supporting software sustainability with lightweight specifications
M Contrastin, M Danish, AC Rice, DA Orchard
CEUR Workshop Proceedings 1686, 2016
52016
Verifying spatial properties of array computations
D Orchard, M Contrastin, M Danish, A Rice
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-30, 2017
32017
Lightning talk: Supporting software sustainability with lightweight specifications
M Contrastin, M Danish, D Orchard, A Rice
CEUR Workshop Proceedings, 2016
32016
Proofs for ‘Verifying Spatial Properties of Array Computations’
D Orchard, M Contrastin, M Danish, A Rice
University of Cambridge, Computer Laboratory, 2017
22017
Guiding user annotations for units-of-measure verification
D Orchard, M Contrastin, M Danish, A Rice
arXiv preprint arXiv:2011.06094, 2020
2020
Automatic reordering for dataflow safety of Datalog
M Contrastin, D Orchard, A Rice
Proceedings of the 20th International Symposium on Principles and Practice …, 2018
2018
Research data supporting Verifying Spatial Properties of Array Computations
D Orchard, M Contrastin, M Danish, AC Rice
2017
Software and data supporting “Lightning Talk: Supporting Software Sustainability with Lightweight Specifications”
M Contrastin, M Danish, D Orchard, A Rice
University of Cambridge, 2016
2016
Research data supporting" Units-of-Measure Correctness in Fortran Programs"
M Contrastin, D Orchard, A Rice, M Danish
University of Cambridge, 2015
2015
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–10