Gongqi Huang will present his General Exam "Designing and Implementing Functional, Secure, and Correct Information Flow Control Interfaces" on May 3, 2024 at 1:30pm in Friend 007. The members of his committee are as follows: Amit Levy(adviser), Wyatt Lloyd, and Margaret Martonosi Abstract and Reading list can be found here: [ https://docs.google.com/document/d/1aUcos6drI5fzcYxu0YwkHX2GZ6iEdmJ8c_EEduBk... | https://docs.google.com/document/d/1aUcos6drI5fzcYxu0YwkHX2GZ6iEdmJ8c_EEduBk... ] [ https://docs.google.com/document/d/1990kg2Qtj24X8sjkH1Cq5dA_0hFwIDFj0gCLuzXk... | https://docs.google.com/document/d/1990kg2Qtj24X8sjkH1Cq5dA_0hFwIDFj0gCLuzXk... ]