Units-of-measure correctness in Fortran programs M Contrastin, A Rice, M Danish, DA Orchard Computing in Science & Engineering 18 (1), 102-107, 2015 | 13 | 2015 |
Supporting software sustainability with lightweight specifications M Contrastin, M Danish, AC Rice, DA Orchard CEUR Workshop Proceedings 1686, 2016 | 5 | 2016 |
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 | 3 | 2017 |
Lightning talk: Supporting software sustainability with lightweight specifications M Contrastin, M Danish, D Orchard, A Rice CEUR Workshop Proceedings, 2016 | 3 | 2016 |
Proofs for ‘Verifying Spatial Properties of Array Computations’ D Orchard, M Contrastin, M Danish, A Rice University of Cambridge, Computer Laboratory, 2017 | 2 | 2017 |
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 |