[llvm-dev] Upcoming Talk: Introduction to LLVM + verifying LLVM optimizations using Z3

Jake Vossen via llvm-dev llvm-dev at lists.llvm.org
Tue Jan 26 13:03:36 PST 2021


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>


More information about the llvm-dev mailing list