Events

Filter by:

Limit to events where the first date of the event:
Date range
Limit to events where the first date of the event:
Limit to events where the title matches:
Limit to events where the type is one or more of:
Limit to events tagged with one or more of:
Limit to events where the audience is one or more of:

Name: Zhiping Cai

Date: Monday April 3rd 2023

Time:  3:00pm - 4:00pm (EST)

Location: EIT 3145

SupervisorProf. 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: