Prof Andrew Rice

Selected publications

• Contrastin, M., Charman, RH., Danish, M., Orchard, B., Orchard, D., Rice, A. and Xu, J., 2025. fortran-src: Fortran static analysis infrastructure Journal of Open Source Software, v. 10 Doi: http://doi.org/10.21105/joss.07571
• Orchard, D., Contrastin, M., Danish, M. and Rice, AC., 2019. Verifying spatial properties of array computations. PACMPL, v. 1
• Rice, A., Aftandilian, E., Jaspan, C., Johnston, E., Pradel, M. and Arroyo-Paredes, Y., 2017. Detecting Argument Selection Defects PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v. 1 Doi: 10.1145/3133928
• Orchard, D., Contrastin, M., Danish, M. and Rice, A., 2017. Verifying spatial properties of array computations Proceedings of the ACM on Programming Languages, v. 1 Doi: 10.1145/3133899
• Contrastin, M., Rice, A., Danish, M. and Orchard, D., 2016. Units-of-Measure Correctness in Fortran Programs Computing in Science and Engineering, v. 18 Doi: 10.1109/MCSE.2016.17
• Contrastin, M., Danish, M., Orchard, D. and Rice, A., 2016. Lightning talk: Supporting software sustainability with lightweight specifications Ceur Workshop Proceedings, v. 1686
• Cummins, S., Beresford, AR. and Rice, A., 2016. Investigating Engagement with In-Video Quiz Questions in a Programming Course IEEE Transactions on Learning Technologies, v. 9 Doi: 10.1109/TLT.2015.2444374
• Orchard, D., Rice, A. and Oshmyan, O., 2015. Evolving Fortran types with inferred units-of-measure Journal of Computational Science, v. 9 Doi: 10.1016/j.jocs.2015.04.018
• Wagner, DT., Rice, A. and Beresford, AR., 2014. Device analyzer: Largescale mobile data collection Performance Evaluation Review, v. 41 Doi: 10.1145/2627534.2627553
• Linnap, M. and Rice, A., 2014. Managed Participatory Sensing with YouSense JOURNAL OF URBAN TECHNOLOGY, v. 21 Doi: 10.1080/10630732.2014.888216