À¶Ý®ÊÓƵ

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:

Candidate: Ridham Dave
Date: August 3, 2023
Time: 12:00pm
Location:Ìý remote attendance
Supervisor(s): Sebastian Fischmeister

Candidate: Alex Liu

Date: August 8, 2023

Time: 3:00 pm

Location: EIT 3145

Supervisor(s): Werner Dietl

Candidate: Xiaomeng Lei

Date: August 10,2023

Time: 1:00pm

Location: remote attendance

Supervisor(s): Mahesh Tripunitara

Candidate: Jonathan Chung

Date: August 15, 2023

Time: 3:00 pm

Location: remote attendance

Supervisor(s): Arie Gurfinkel

Candidate: Islam Mohamed Mahmoud Nasr
Date: August 16, 2023
Time: 10:00am
Location: E5 4047
Supervisor(s): Fakhri Karray

Format: In-person

Location: EIT 3145

Data & Time: 10 AM on Friday, Aug 18, 2023

Supervisor(s) :ÌýWojciech Golab

Title:ÌýSnapshotting Mechanisms for Persistent Memory-Mapped Files

Candidate: Michael Wright

Date: August 18, 2023

Time: 2:00pm

Location: EIT 3145

Supervisor(s): Peter Levine and Ahmet Camlica

Candidate: Sulav Shrestha
Date: August 21, 2023
Time: 11:30 am
Location: remote attendance
Supervisor(s): Sebastian Fischmeister

Candidate: Tiancheng Xu

Date: Sept. 6, 2023

Time: 4:30 pm

Location:Ìý remote attendance

Supervisor(s): Irene Goldthorpe