|
|
1. M. Contrastin, D. Orchard, A. Rice, "Automatic Reordering for Dataflow Safety of Datalog," Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming - PPDP '18, ACM Press, 2018
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
- The DTG
- About
- Research
- People
- Staff and Fellows
- Students and Assistants
- Alumni
- Publications
- Seminars
- DTG Miscellanea
- GitLab
- Weather Station