<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">I found this on Twitter and figured I would share it here in case anyone else was interested (hope thats okay):<div class=""><br class=""></div><div class="">> @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! <a href="https://www.twitch.tv/jeanqasaur" class="">https://www.twitch.tv/jeanqasaur</a></div><div class=""><br class=""></div><div class=""><a href="https://twitter.com/jeanqasaur/status/1354165877541720064" class="">https://twitter.com/jeanqasaur/status/1354165877541720064</a></div><div class=""><br class=""><div class="">
<meta charset="UTF-8" class=""><div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;"><br class="Apple-interchange-newline">--</div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;">Jake Vossen (he/him/his)<br class="">Colorado School of Mines, Class of 2022<br class="">B.S. + M.S. Computer Science<br class=""><a href="https://jake.vossen.dev" class="">https://jake.vossen.dev</a></div></div>
</div>
<br class=""></div></body></html>