| 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 |
Andrew RiceProfessor of Computer Science, University of CambridgeΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cam.ac.uk
