<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=""><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class=""><span class="" style="orphans: 2; widows: 2; font-size: large;">UNIVERSITY OF CHICAGO</span></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class=""><span class=""><font size="4" class="">DEPARTMENT OF COMPUTER SCIENCE</font></span></div><div class="" style="orphans: 2; widows: 2;"><font size="4" class="">SEMINAR:</font></div><div class="" style="orphans: 2; widows: 2;"><font size="4" class=""><br class=""></font></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div><p class="MsoNormal"><o:p class=""> </o:p><img apple-inline="yes" id="CEF1DD59-F2FF-4DC7-8EAF-84B752ADED82" src="cid:3C392069-136D-41C7-94C9-0AE1948BCD93" class=""></p><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="orphans: 2; widows: 2;"><font size="4" class=""><b class="">Fraser Brown</b></font></div><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="orphans: 2; widows: 2;"><div class="" style="margin: 0in 0in 0.0001pt;"><font size="4" class=""><i class="">Stanford University</i></font></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class="" style="font-size: 14px;"><i class=""><p class="MsoNormal" align="center"><o:p class=""></o:p></p></i></span><div class=""><br class=""></div></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><span class=""><font class=""><font size="4" class=""><b class="">Monday, April 12th at 3:00 pm</b></font></font></span></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><br class=""></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><span class="" style="font-size: 15px;">Join via zoom (enables questions):</span></span></div><div class="" style="margin: 0in 0in 0.0001pt;"></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><span class="" style="font-size: 15px;"><a href="https://uchicago.zoom.us/j/93462884531?pwd=ckNybGFiWE5mL25oeGFQWVNZWS9LQT09" class="">https://uchicago.zoom.us/j/93462884531?pwd=ckNybGFiWE5mL25oeGFQWVNZWS9LQT09</a></span></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><span class="" style="font-size: 15px;">Meeting ID: 934 6288 4531<br class="">Passcode: uccs2021</span></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><span class="" style="font-size: 15px;"> </span></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><span class="" style="font-size: 15px;">Or</span></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><span class="" style="font-size: 15px;"><br class="">Watch via live stream:<br class=""></span></span></div><div class="" style="margin: 0in 0in 0.0001pt;"></div></div><div class=""><div class=""></div><div class=""><font class=""><font class=""><span class="" style="font-size: 15px;"> <a href="http://live.cs.uchicago.edu/fraserbrown/" class="">http://live.cs.uchicago.edu/fraserbrown/</a></span></font></font></div><div class=""><font class=""><font class=""><span class="" style="font-size: 15px;"><br class=""></span></font></font></div><div class=""><span class="" style="font-size: 15px;"><span class=""><span class=""><span class=""><font class=""><font class=""><span class=""><b class="" style="color: rgb(33, 33, 33);">Title: </b></span></font></font></span></span></span><span class="">Eliminating bugs in real systems</span></span></div><div class=""><font color="#212121" class=""><span class="" style="font-size: 15px;"><b class=""><br class=""></b></span></font></div><div class=""><span style="font-size: 15px;" class=""><span class=""><span class=""><span class=""><span class=""><span class="" style="color: rgb(33, 33, 33);"><span class=""><b class="">Abstract: </b></span></span></span></span></span></span><font color="#212121" class=""><span style="caret-color: rgb(33, 33, 33);" class="">Software is everywhere, and almost everywhere, software is broken. Some bugs just crash your printer; others hand an identity thief your bank account number; still others let nation-states spy on dissidents and persecute minorities.</span></font></span></div><font color="#212121" class=""><span style="caret-color: rgb(33, 33, 33); font-size: 15px;" class=""><div class=""><font color="#212121" class=""><span style="caret-color: rgb(33, 33, 33); font-size: 15px;" class=""><br class=""></span></font></div>This talk outlines my work preventing bugs using a blend of programming languages techniques and systems design. First, I'll talk about securing massive, security-critical codebases without clean slate rewrites. This means rooting out hard-to-find bugs---as in Sys, which scales symbolic execution to find exploitable bugs in systems like the twenty-million line Chrome browser. It also means proving correctness of especially vulnerable pieces of code---as in VeRA, which automatically verifies part of the Firefox JavaScript engine. Finally, I'll discuss work on stronger foundations for new systems---as in CirC, a recent project unifying compiler infrastructure for program verification, cryptographic proofs, optimization problems, and more.</span></font></div><div class=""><font color="#212121" class=""><span class="" style="font-size: 15px;"><br class=""></span></font></div><div class=""><div class=""><font class=""><span class="" style="font-size: 15px;"><div class="" style="font-variant-ligatures: normal; background-color: rgb(255, 255, 255);"><div class=""><font class=""><b class="" style="color: rgb(33, 33, 33);">Bio: </b></font>Fraser Brown is a PhD student at Stanford advised by Dawson Engler, occasional visiting student at UCSD with Deian Stefan, and NSF graduate research fellowship recipient. She works at the intersection of programming languages, systems, and security, and her research has been used by several companies. She holds an undergraduate degree in English from Stanford.</div><div class=""><br class=""></div></div></span></font></div><div class=""><div class="" style="font-variant-ligatures: normal; background-color: rgb(255, 255, 255);"><font color="#222222" class=""><i class=""><b class=""><font class="" style="font-size: 15px;">Host: Shan Lu</font></b></i></font></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div><div 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 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 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 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><div class="" style="margin: 0in 0in 0.0001pt; line-height: 16.866666793823242px;"><div style="margin: 0in 0in 0.0001pt;" class=""><div class=""><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="margin: 0in 0in 0.0001pt; line-height: 16.866666793823242px;"><div class="" style="margin: 0in 0in 0.0001pt; line-height: 16.866666793823242px;"><div class="" style="margin: 0in 0in 0.0001pt; line-height: 16.866666793823242px;"><div class="" style="margin: 0in 0in 0.0001pt; line-height: 16.866666793823242px;"><b class=""><span class="" style="line-height: 15.333332061767578px; color: maroon; font-size: 15px;"><br class=""></span></b></div><div class="" style="margin: 0in 0in 0.0001pt; line-height: 16.866666793823242px;"><span style="font-size: 15px;" class=""><br class=""></span></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div><span style="font-size: 15px;" class=""><br class="Apple-interchange-newline"><br class="Apple-interchange-newline">
</span></div>
<br class=""></div></div></body></html>