TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests


Date
Jun 3, 2020
Event
International Symposium on Computer Architecture 2020
Avatar
Naorin Hossain
Computer Science PhD Candidate

My research interests include hardware security and correctness verification for modern systems.