Verification of Fortran Codes

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

• Wadud Miah
• Tuesday 21 March 2017, 16:40-17:05
• FW26.

If you have a question about this talk, please contact Matthew Danish.

Fortran is a popular language for computational science codes which typically run on large supercomputers. With the advent of large Petascale machines, there is a strong emphasis on parallel scalability and energy efficiency. However, knowledge of verification of Fortran codes is lacking and there is anecdotal evidence to suggest that there is an over-reliance compilers to verify codes. This presentation will introduce a simple verification workflow and present the NAG compiler and verification tools for Fortran codes.

This talk is part of the Testing & Verification For Computational Science series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Department of Computer Science and Technology talks and seminars
• FW26
• Interested Talks
• School of Technology
• Testing & Verification For Computational Science
• Trust & Technology Initiative - interesting events
• bld31

Note that ex-directory lists are not shown.