Skip to main content

Browsing by Author Pellauer, M

Showing results 1 to 2 of 2
Publication DateArticle TitleAuthor(s)
4-Apr-2017TriCheck: Memory model verification at the trisection of software, hardware, and ISATrippel, C; Manerkar, YA; Lustig, D; Pellauer, M; Martonosi, Margaret R.
2015Verifying Correct Microarchitectural Enforcement of Memory Consistency ModelsLustig, D; Pellauer, M; Martonosi, Margaret