Fork me on GitHub

Publications

pdf Scrap Your Reprinter: A Datatype Generic Algorithm for Layout-Preserving Refactoring, Harry Clarke, Dominic Orchard, IFL 2017
pdf 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

Follow @camfort_tool


Download
The source code for CamFort is hosted on GitHub.

Latest binary release for Windows, Mac OS, and Linux: v0.904 (July 2017).
Project
CamFort is a joint project between the University of Cambridge and University of Kent supported by an EPSRC grant.
Team

Publications

Project ideas
Mailing list
For help and announcements you can sign-up to our mailing list.
Events
An introduction to CamFort and training material is provided as part of the Fortran Modernization Workshops run by the Numerical Algorithms Group (nag) in the UK and Europe.

We organise an annual workshop on Testing and Verification in Computational Science. Previous versions: