Grainger College of Engineering, All Events

Final Defense of Theodoros Kasampalis

Event Type

Other

Sponsor

Department of Computer Science

Virtual

Join online

Date

Nov 6, 2020 11:00 am

Views

Originating Calendar

Siebel School Graduate Calendar

Thesis Title: Translation Validation for Compilation Verification

Committee: Vikram Adve, Chair/Director of Research

Grigore Rosu

Elsa Gunter

John Regehr; University of Utah, School of Computing