Skip to main content

Browsing by Author Martonosi, Margaret

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 31 to 32 of 32 < previous 
Publication DateArticle TitleAuthor(s)
2020TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus TestsHossain, Naorin; Trippel, Caroline; Martonosi, Margaret
2015Verifying Correct Microarchitectural Enforcement of Memory Consistency ModelsLustig, D; Pellauer, M; Martonosi, Margaret