Naorin Hossain
Naorin Hossain
Home
Projects
Publications
Talks
Experience
Contact
CV
TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests
Naorin Hossain
,
Caroline Trippel
,
Margaret Martonosi
PDF
Video
Date
Jun 3, 2020
Event
International Symposium on Computer Architecture 2020
Naorin Hossain
Computer Science PhD Candidate
My research interests include hardware security and correctness verification for modern systems.
Cite
×