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

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Verification of Fortran Codes

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

For venue details, please register at www.meetup.com/Data-Insights-Cambridge/ Institute of Metabolic Science (IMS), Level 4 ATC, Seminar rooms 1,2 & 3 SG1/2 Alison Richard Building, 7 West Road, Cambridge

Other talks

Title to be confirmed Title to be confirmed Royal Papworth Hospital and Acute Medicine Professor Philip Rosenstiel, W3 Professor of Clinical Molecular Biology, Director, Institute of Clinical Molecular Biology (IKMB), Kiel University Optimal metric and approximation of free boundary minimal surfaces Shining a light on the origin of supermassive black holes with cosmological simulations
 

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