University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > OptiTrust: Producing Trustworthy High-Performance Code via Source-to-Source Transformation

  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

OptiTrust: Producing Trustworthy High-Performance Code via Source-to-Source Transformation

Download to your calendar using vCal

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

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Small Lecture Theatre, Department of Geography, Downing Site MAB 104, Mary Allan Building, Homerton College, Hills Road, Cambridge CB2 8PQ Marine/Wolfson Building lecture hall - Bullard Labs

Other talks

A Few Days in Patagonia - the Deep South CONFERENCE: Chemical and material sciences enabled by AI and automation TBC Christopher Cowie on the epistemology of assessing biosignature claims Studying viruses to understand what makes pandemic viruses special and how innate immunity works Title to be confirmed
 

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