Fork me on GitHub

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

Follow @camfort_tool


News and releases

Usage instructions

Team

Publications

Project ideas
Download
The source code for CamFort is hosted on GitHub.

Latest binary release for Windows, Mac OS, and Linux: v1.2.0 (Oct 2022).
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:
Project
CamFort is a joint project between the University of Cambridge and University of Kent supported by an EPSRC grant.