| Units-of-measure correctness in Fortran programs M Contrastin, A Rice, M Danish, DA Orchard Computing in Science & Engineering 18 (1), 102-107, 2015 | 14 | 2015 |
| 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 | 6 | 2017 |
| Supporting software sustainability with lightweight specifications M Contrastin, M Danish, AC Rice, DA Orchard CEUR Workshop Proceedings 1686, 2016 | 5 | 2016 |
| Lightning talk: Supporting software sustainability with lightweight specifications M Contrastin, M Danish, D Orchard, A Rice CEUR Workshop Proceedings, 2016 | 4 | 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 | 1 | 2020 |
| fortran-src: Fortran static analysis infrastructure M Contrastin, RH Charman, M Danish, B Orchard, D Orchard, A Rice, J Xu Journal of Open Source Software 10 (106), 7571, 2025 | | 2025 |
| 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 CambridgeE-mailová adresa ověřena na: cam.ac.uk