[Colloquium] CS Talk starting now: Fraser Brown, Stanford University

[Sandra Wallace]

UNIVERSITY OF CHICAGO
DEPARTMENT OF COMPUTER SCIENCE
SEMINAR:

 
Fraser Brown
Stanford University

Monday, April 12th at 3:00 pm

Join via zoom (enables questions):
https://uchicago.zoom.us/j/93462884531?pwd=ckNybGFiWE5mL25oeGFQWVNZWS9LQT09 <https://uchicago.zoom.us/j/93462884531?pwd=ckNybGFiWE5mL25oeGFQWVNZWS9LQT09>
Meeting ID: 934 6288 4531
Passcode:  uccs2021
 
Or

Watch via live stream:
 http://live.cs.uchicago.edu/fraserbrown/ <http://live.cs.uchicago.edu/fraserbrown/>

Title:  Eliminating bugs in real systems

Abstract: 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.

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.

Bio:  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.

Host:  Shan Lu


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.cs.uchicago.edu/pipermail/colloquium/attachments/20210412/447b5331/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: PastedGraphic-2.tiff
Type: image/tiff
Size: 32980 bytes
Desc: not available
URL: <http://mailman.cs.uchicago.edu/pipermail/colloquium/attachments/20210412/447b5331/attachment-0001.tiff>