Skip to main content

Browsing by Author Hossain, Naorin

Showing results 1 to 1 of 1
Publication DateArticle TitleAuthor(s)
2020TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus TestsHossain, Naorin; Trippel, Caroline; Martonosi, Margaret