Verification of a lazy cache coherence protocol against a weak memory model

Christopher Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul Jackson, Vijay Nagarajan

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Filter

Finished
C: Scalable Shared Memory: C3 Scalable Shared Memory via Consistency-directed Cache Coherence
Sarkar, S. (PI)
EPSRC
9/11/15 → 30/04/19
Project: Standard