Jake Vossen via llvm-dev
2021-Jan-26 21:03 UTC
[llvm-dev] 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>