![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Dominic Orchard - ICCS, Universities of Cambridge and Kent
Thursday 25 May 2023, 13:00-14:00
Automated and Semi-Automated bug finding for Fortran
- đ¤ Speaker: Dominic Orchard - ICCS, Universities of Cambridge and Kent
- đ Date & Time: Thursday 25 May 2023, 13:00 - 14:00
- đ Venue: West Hub, East 2
Abstract
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.
Series This talk is part of the RSE Seminars series.
Included in Lists
- bld31
- Cambridge Centre for Data-Driven Discovery (C2D3)
- Cambridge talks
- Chris Davis' list
- Interested Talks
- ndk22's list
- ob366-ai4er
- rp587
- RSE Seminars
- se393's list
- Trust & Technology Initiative - interesting events
- West Hub, East 2
- yk449
Note: Ex-directory lists are not shown.