Browsing by Author Pellauer, M
Showing results 1 to 2 of 2
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 4-Apr-2017 | TriCheck: Memory model verification at the trisection of software, hardware, and ISA | Trippel, C; Manerkar, YA; Lustig, D; Pellauer, M; Martonosi, Margaret R. |
| 2015 | Verifying Correct Microarchitectural Enforcement of Memory Consistency Models | Lustig, D; Pellauer, M; Martonosi, Margaret |