Final Defense of Liyi Li

Event Type

Meeting

Sponsor

Department of Computer Science

Location

https://illinois.zoom.us/j/9708430321 (If you wish to attend please email chair or student for Zoom password prior to start of defense.)

Date

May 1, 2020   11:00 am  

Views

60

Originating Calendar

Computer Science Graduate Calendar

Thesis Title: A Framework to Prove Compilation of Large Languages

Committee: Elsa Gunter; Chair/Director of Research

Grigore Rosu

David Padua

Vikram Adve

Steve Zdancewic; University of Pennsylvania