Natalie Popescu will present her General Exam "Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust" on Tuesday, May 11,2021 at 10AM via Zoom.

Zoom Link: https://princeton.zoom.us/j/98143193169

The members of Natalie’s committee are as follows: Amit Levy (adviser), David August, and Wyatt Lloyd

Link to Abstract: https://docs.google.com/document/d/1NHaum5M8VjIEEDwh0cp9uW4bRqtNuW-x3qfvZSr0Gl4/edit?usp=sharing

Link to Reading List: https://docs.google.com/document/d/1IMJvWMohqUu3pcJZGJYZ-kXpG-TLbkY7UdX0OUIZG1Y/edit?usp=sharing

Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so.