Skip to content

Naorin Hossain

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

2020–2020

Best venue rank

A*

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
2020ISCATransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests.Naorin Hossain, Caroline Trippel, Margaret Martonosi