Matthew Danish
User ID:mrd45
Position:Research Associate
E-mail:mrd45@cam.ac.uk
Homepage:https://www.cl.cam.ac.uk /~mrd45 /
Publications

1. M. Danish, M. Allamanis, M. Brockschmidt, A. Rice, D. Orchard, "Learning units-of-measure from scientific code," SE4Science, 2019

2. D. Orchard, M. Contrastin, M. Danish, A. Rice, "Verifying spatial properties of array computations," Proceedings of the ACM on Programming Languages, vol. 1, pp. 1--30, Association for Computing Machinery (ACM), Oct 2017

3. DA Orchard, M. Contrastin, M. Danish, AC Rice, "Verifying spatial properties of array computations.," PACMPL, vol. 1, no. OOPSLA, pp. 75:1--75:1, 2017

4. M. Contrastin, M. Danish, D. Orchard, A. Rice, "Lightning talk: Supporting software sustainability with lightweight specifications," CEUR Workshop Proceedings, vol. 1686, 2016