Upcoming Talk: Introduction to LLVM + verifying LLVM optimizations using Z3

I found this on Twitter and figured I would share it here in case anyone else was interested (hope thats okay):

@MSFTResearch’s Nuno Lopes will give a gentle introduction to LLVM. Nuno will also talk (briefly) about his work verifying LLVM optimizations using Z3. #PL talk is 3pm PT Fridays! https://www.twitch.tv/jeanqasaur

https://twitter.com/jeanqasaur/status/1354165877541720064