TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests
Date
Jan 22, 2021
Event
Languages, Systems, and Data Seminar at UC Santa Cruz 2021
Naorin Hossain
Computer Science PhD Candidate
My research interests include hardware security and correctness verification for modern systems.