University of Cambridge > Talks.cam > Testing & Verification For Computational Science > Verification of Fortran Codes

Verification of Fortran Codes

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

  • UserWadud Miah
  • ClockTuesday 21 March 2017, 16:40-17:05
  • HouseFW26.

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2017 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity