Final Defense of Theodoros Kasampalis

Event Type

Other

Sponsor

Department of Computer Science

Virtual

Date

Nov 6, 2020   11:00 am  

Views

70

Originating Calendar

Computer Science 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