University of Waterloo
200 University Ave W, Waterloo, ON
N2L 3G1
Phone: (519) 888-4567
Staff and Faculty Directory
Contact the Department of Electrical and Computer Engineering
Thursday, October 8, 2020 — 2:00 PM EDT
Candidate: Jenny Xiang
Title: Type Checking and Whole-program Inference for Value and Interval Analysis
Date: October 8, 2020
Time: 2:00 PM
Place: Remote
Supervisor(s): Dietl, Werner
Abstract: