BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:IC Colloquium: Eliminating bugs in real systems
DTSTART:20210304T150000
DTEND:20210304T160000
DTSTAMP:20260407T110841Z
UID:3ad0c013c566a1512e34d2f47754acd265e705eb87b79d2c9bbde49f
CATEGORIES:Conferences - Seminars
DESCRIPTION:By: Fraser Brown - Stanford University\nIC Faculty candidate\n
 \nAbstract\nSoftware is everywhere\, and almost everywhere\, software is b
 roken. Some bugs just crash your printer\; others hand an identity thief y
 our bank account number\; still others let nation-states spy on dissidents
  and persecute minorities.\nThis talk outlines my work preventing bugs usi
 ng a blend of programming languages techniques and systems design. First\,
  I'll talk about securing massive\, security-critical codebases without cl
 ean 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 wo
 rk on stronger foundations for new systems---as in CirC\, a recent project
  unifying compiler infrastructure for program verification\, cryptographic
  proofs\, optimization problems\, and more.\n\nBio\nFraser Brown is a PhD 
 student at Stanford advised by Dawson Engler\, occasional visiting student
  at UCSD with Deian Stefan\, and NSF graduate research fellowship recipien
 t. 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.\n\nMore information
LOCATION:https://epfl.zoom.us/j/88174649058?pwd=T3daZ2VHd1ozaE5ZaUxPVW1kQn
 NHZz09
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR