C3 Scalable Shared Memory via Consistency-directed Cache Coherence

Sarkar, Susmit (PI)

School of Computer Science

Project: Standard

Acronym	C: Scalable Shared Memory
Status	Finished
Effective start/end date	9/11/15 → 30/04/19

Funding

EPSRC: £207,276.02

Automatically deriving cost models for structured parallel processes using hylomorphisms
Castro, D., Hammond, K., Sarkar, S. & Alguwaifli, Y., 1 Feb 2018, In: Future Generation Computer Systems. 79, Part 2, p. 653-668
Research output: Contribution to journal › Article › peer-review

Open Access
File
Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8
Pulte, C., Flur, S., Deacon, W., French, J., Sarkar, S. & Sewell, P., 1 Jan 2018, Proceedings of the ACM on Programming Languages (POPL '18). New York: ACM, p. 1-29 29 p. 19. (Proceedings of the ACM on Programming Languages; vol. 2, no. POPL).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Verification of a lazy cache coherence protocol against a weak memory model
Banks, C., Elver, M., Hoffmann, R., Sarkar, S., Jackson, P. & Nagarajan, V., 2 Oct 2017, Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD 2017). Stewart, D. & Weissenbacher, G. (eds.). FMCAD Inc, p. 60-67
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File