[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