llvm dev - Jan 2021 - 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://www.twitch.tv/jeanqasaur>
https://twitter.com/jeanqasaur/status/1354165877541720064
<https://twitter.com/jeanqasaur/status/1354165877541720064>


--
Jake Vossen (he/him/his)
Colorado School of Mines, Class of 2022
B.S. + M.S. Computer Science
https://jake.vossen.dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20210126/81d9d3dd/attachment.html>