Naorin Hossain
Naorin Hossain
Home
Projects
Publications
Talks
Experience
Contact
CV
TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests
Naorin Hossain
PDF
Video
Date
Oct 30, 2020
Event
IBM Workshop on the Future of Computing Architectures 2020
Naorin Hossain
Computer Science PhD Candidate
My research interests include hardware security and correctness verification for modern systems.
Cite
×