TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests


Date
Oct 30, 2020
Event
IBM Workshop on the Future of Computing Architectures 2020
Avatar
Naorin Hossain
Computer Science PhD Candidate

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