Fork me on GitHub


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

Follow @camfort_tool

The source code for CamFort is hosted on GitHub.

Latest binary release for Windows, Mac OS, and Linux: v0.905 (May 2018).
CamFort is a joint project between the University of Cambridge and University of Kent supported by an EPSRC grant.


Project ideas
Mailing list
For help and announcements you can sign-up to our mailing list.
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: