This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Margaret Martonosi
A grouping.
Margaret Martonosi, Princeton: senior author of the memory-model verification line - TriCheck, MeltdownPrime/SpectrePrime, TransForm and RealityCheck.
4 references
TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests
Naorin Hossain and others (2020) · 2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture (ISCA 2020)
RealityCheck: Bringing Modularity, Hierarchy, and Abstraction to Automated Microarchitectural Memory Consistency Verification
Yatin A. Manerkar and others (2020)
MeltdownPrime and SpectrePrime: Automatically-Synthesized Attacks Exploiting Invalidation-Based Coherence Protocols
Caroline Trippel and others (2018)
TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA
Caroline Trippel and others (2017) · Proceedings of the 22nd International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2017)