CIS Seminar: ” Exterminating bugs in real systems”
Zoom - Email CIS for link cherylh@cis.upenn.eduSoftware 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 […]