Naorin Hossain
Naorin Hossain
Home
Projects
Publications
Talks
Experience
Contact
CV
Publications
Type
Conference paper
Date
2020
Naorin Hossain
,
Caroline Trippel
,
Margaret Martonosi
(2020).
TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests
. ISCA.
PDF
Code
Slides
Video
Cite
×