Specify, verify, and refactor Fortran code
Publications
| pdf, bib | Guiding user annotations for units-of-measure verification, Dominic Orchard, Mistral Contrastin, Matthew Danish, Andrew Rice, Workshop on Human Aspects of Types and Reasoning Assistants (HATRA 2020) |
|---|---|
| pdf, bib | Learning units-of-measure from scientific code, Matthew Danish, Miltiadis Allamanis, Marc Brockschmidt, Andrew Rice, Dominic Orchard, Software Engineering for Science, 2019 |
| pdf, bib | Scrap Your Reprinter: A Datatype Generic Algorithm for Layout-Preserving Refactoring, Harry Clarke, Dominic Orchard, IFL pre-proceedings 2017 |
| pdf, bib | Verifying Spatial Properties of Array Computations, Dominic Orchard, Mistral Contrastin, Matthew Danish, Andrew Rice, OOPSLA 2017 |
| pdf, bib | Supporting software sustainability with lightweight specifications, Mistral Contrastin, Matthew Danish, Dominic Orchard, Andrew Rice, WSSSPE4 (2016) |
| pdf, bib | Units-of-Measure Correctness in Fortran Programs, Mistral Contrastin, Andrew C. Rice, Matthew Danish, Dominic Orchard, Computing in Science and Engineering 18(1): 102-107 (2016) |
| pdf, bib | Evolving Fortran types with inferred units-of-measure, Dominic Orchard, Andrew C. Rice, Oleg Oshmyan, J. Comput. Science 9: 156-162 (2015) |
| pdf, bib | A Computational Science Agenda for Programming Language Research, Dominic Orchard, Andrew C. Rice, ICCS 2014: 713-727 |
| pdf, bib | Upgrading Fortran source code using automatic refactoring, Dominic Orchard, Andrew C. Rice, WRT@SPLASH 2013: 29-32 |
