TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA
| Title | TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Trippel, Caroline, Manerkar, Yatin A, Lustig, Daniel, Pellauer, Michael, Martonosi, Margaret |
| Conference Name | Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems |
| Publisher | ACM |
| Keywords | 1739674, 1739701 |
| Citation Key | trippel2017tricheck |