Automated and Semi-Automated bug finding for Fortran

Add to your list(s) Download to your calendar using vCal

• Dominic Orchard - ICCS, Universities of Cambridge and Kent
• Thursday 25 May 2023, 13:00-14:00
• West Hub, East 2.

If you have a question about this talk, please contact Jack Atkinson.

Static analysis tools can be used for sniffing out bad code smells and potential bugs in code.

In this talk, I’ll discuss the CamFort suite of tools for static analysis of Fortran that was developed as a joint project between the University of Cambridge and University of Kent, and deployed at the Met Office and Bloomberg. CamFort also provides lightweight verification features in which a programmer inserts some additional specifications as comments that are then checked against the code by the tool. I’ll give a few demos and talk about general concepts in verification and static analysis.

This should be of interest to people who write Fortran, but more broadly to those interested in tools to help improve code correctness.

Hybrid Zoom details will be emailed to the RSE mailing list; if you are not on the list, please contact the organisers.

This talk is part of the RSE Seminars series.

This talk is included in these lists:

• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge talks
• Chris Davis' list
• Interested Talks
• RSE Seminars
• Trust & Technology Initiative - interesting events
• West Hub, East 2
• bld31
• ndk22's list
• ob366-ai4er
• rp587
• se393's list

Note that ex-directory lists are not shown.