Talk @LLVM Social Bangalore ‘Verifying the safety of optimizing compilers’ 1 October 2020 1 October 2020 Click here to watch the recordings Contact us