Final Public Oral

Committee members:  Examiners: Aarti Gupta (adviser), Zachary Kincaid, Mae Milano: Readers: David Walker and Maria Apostolaki

Title: Formal Methods for Networks: Verification, Compilation, and Performance Analysis

Matthew Weaver will present his FPO "Bicubical Directed Type Theory" on October 31, 2024 at 11am in CS 301.

The members of his committee are as follows:
Andrew Appel (Advisor)
Daniel Licata (Advisor/Wesleyan University)
Zachary Kincaid (Reader)
David Walker (Examiner)

Ziyang Zu will present his FPO "A Fast and Extensible Memory Profiling Framework"

Details to follow

Kun Woo Cho will present her FPO "Programmable Smart Radio Environments: From Theory to Hardware Implementation" on  October 1, 2024 at 3pm in Friend Center 004 

Examiner: Prof. Kyle Jamieson (Advisor, CS), Prof. Yasaman Ghasempour (ECE), Prof. Andrew Appel (CS)

Samuel Ginzburg will present his FPO "VectorVisor: A Binary Translation Scheme for Throughput-Oriented GPU Acceleration" on Thursday, August 29, 2024 in CS 302 at 1pm.

The members of his FPO committee follows below:

Yue Tan will present her FPO "FAASTEN: An Architecture and implementation for securing cloud applications" on September 5, 2024 at 11am in CS 302.

Zoom Link:  https://princeton.zoom.us/my/yuetan 

Yufei Zheng will present her FPO "Compact Algorithms for Measuring Network Performance" on August 22, 2024 at 12pm in CS 301.

The members of Yufei's committee are as follows: 

Kaifeng Lyu will present

Dingli Yu will present