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-x3qfvZSr0 Gl4/edit?usp=sharing Link to Reading List: https://docs.google.com/document/d/1IMJvWMohqUu3pcJZGJYZ-kXpG-TLbkY7UdX0OUIZ G1Y/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.