Siebel School Master Calendar

View Full Calendar

Final Defense of Theodoros Kasampalis

Event Type
Other
Sponsor
Department of Computer Science
Virtual
Join online
Date
Nov 6, 2020   11:00 am  
Views
80
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

link for robots only