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
Monday, April 3, 2023 — 3:00 PM EDT
Name: Zhiping Cai
Date: Monday April 3rd 2023
Time: 3:00pm - 4:00pm (EST)
Location: EIT 3145
Supervisor: Prof. Werner Dietl
Attending faculty members: Prof. Arie Gurfinkel, and Prof. Mahesh Tripunitara
Title: UniFlow: A CFG-based Framework for Pluggable Type Checking andType Inference
Abstract: