1
June
2023
Verifiability Talk 54: “Taking Back Control: Formally Modelling a Compiler Intermediate Representation for GPU Computing”
Title: “Taking Back Control: Formally Modelling a Compiler Intermediate Representation for GPU Computing”
Speaker: Alastair Donald (Imperial College London)
Link (Teams): bit.ly/formallymodelling
Date: 1/6/2023
Time: 16:00 – 17:00 (BST)