Naorin Hossain will present her General Exam "TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests" on Thursday, September 24, 2020 at 4:30pm via Zoom.
The members of her committee are as follows: Margaret Martonosi (Adviser), Aarti Gupta, and Amit Levy
Link to Abstract and Reading list:
Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so.