<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">---------- Forwarded message ---------<br>From: <strong class="gmail_sendername" dir="auto">Sally Lee</strong> <span dir="auto"><<a href="mailto:sally@csail.mit.edu">sally@csail.mit.edu</a>></span><br>Date: Tue, Mar 23, 2021 at 6:06 AM<br>Subject: [csail-local] TALK: Tuesday 03-23-2021 EECS Special Seminar: Fraser Brown, "Eliminating bugs in real systems"<br>To: <a href="mailto:sally@csail.mit.edu">sally@csail.mit.edu</a> <<a href="mailto:sally@csail.mit.edu">sally@csail.mit.edu</a>><br></div><br><br>
<div>
<div lang="x-unicode">
<h3>EECS Special Seminar: Fraser Brown, "Eliminating bugs in real
systems"</h3>
<p><b>Speaker:</b> Fraser Brown</p>
<p><b>Speaker Affiliation:</b> Stanford</p>
<p><b>Host:</b> Armando Solar-Lezama</p>
<p><b>Host Affiliation:</b> CSAIL MIT</p>
<p><b>Date:</b> Tuesday, March 23, 2021</p>
<p><b>Time:</b> 11:00 AM to 12:00 PM</p>
<p><b>Location:</b> <br>
</p>
<p><a href="https://mit.zoom.us/j/92257270200?pwd=RmpXWjZENWhQeDJhK2VZVkNqVjdMUT09" target="_blank">https://mit.zoom.us/j/92257270200?pwd=RmpXWjZENWhQeDJhK2VZVkNqVjdMUT09</a>
<br>
Meeting ID: 922 5727 0200 <br>
Password: 756719</p>
<p>******** <br>
</p>
<p>Abstract:
<br>
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.</p>
<p>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.</p>
<p> </p>
<p>Bio:</p>
<p>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.</p>
<p> </p>
<p>For more information please contact: Sally O. Lee, 3-6837, <a href="mailto:sally@csail.mit.edu" target="_blank">sally@csail.mit.edu</a></p>
</div>
</div>
_______________________________________________<br>
csail-local mailing list -- Code of Conduct: <a href="http://coc.csail.mit.edu" rel="noreferrer" target="_blank">http://coc.csail.mit.edu</a><br>
<a href="mailto:csail-local@lists.csail.mit.edu" target="_blank">csail-local@lists.csail.mit.edu</a><br>
<a href="https://lists.csail.mit.edu/mailman/listinfo/csail-local" rel="noreferrer" target="_blank">https://lists.csail.mit.edu/mailman/listinfo/csail-local</a><br>
</div></div>