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. Zoom address: [ https://princeton.zoom.us/j/96195237138 | https://princeton.zoom.us/j/96195237138 ] The members of her committee are as follows: Margaret Martonosi (Adviser), Aarti Gupta, and Amit Levy Link to Abstract and Reading list: [ https://docs.google.com/document/d/15INZKwkigiriz8vCc2ntx2833kFAkAiQT9viVGcq... | https://docs.google.com/document/d/15INZKwkigiriz8vCc2ntx2833kFAkAiQT9viVGcq... ] [ https://docs.google.com/document/d/1smKDgB4jcnIaS6lpGBaWcFgMW_Mxv6rm8-_4PVMB... | https://docs.google.com/document/d/1smKDgB4jcnIaS6lpGBaWcFgMW_Mxv6rm8-_4PVMB... ] Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so. Nicki Mahler Graduate Coordinator Computer Science Department Princeton University