Skip to main content

Browsing by Author Shaw, Kelly

Showing results 1 to 2 of 2
Publication DateArticle TitleAuthor(s)
2019OKAPI: In Support of Application Correctness in Smart Home EnvironmentsMelissaris, Themis; Shaw, Kelly; Martonosi, Margaret
2020PerpLE: Improving the Speed and Effectiveness of Memory Consistency TestingMelissaris, Themis; Markakis, Markos; Shaw, Kelly; Martonosi, Margaret