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.
Daniel Lustig
A grouping.
Daniel Lustig: co-author on the Princeton memory-model verification line - TriCheck, MeltdownPrime/SpectrePrime and RealityCheck.
3 references
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)