C3- Scalable & Verified Shared Memory via Consistency-directed Cache Coherence

Nagarajan, Vijay (Principal Investigator)
Jackson, Paul (Co-investigator)
Topham, Nigel (Co-investigator)

Project Details

Status	Finished
Effective start/end date	9/11/15 → 30/04/19

Funding

EPSRC: £836,121.00

11 Conference contribution

Hermes: a Fast, Fault-Tolerant and Linearizable Replication Protocol
Katsarakis, A., Gavrielatos, V., Katebzadeh, M. R. S., Joshi, A., Dragojevic, A., Grot, B. & Nagarajan, V., 9 Mar 2020, Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Lausanne, Switzerland: Association for Computing Machinery (ACM), p. 201-217 17 p. (ASPLOS '20).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Poise: Balancing Thread-Level Parallelism and Memory System Performance in GPUs using Machine Learning
Dublish, S., Nagarajan, V. & Topham, N., 28 Mar 2019, 2019 IEEE International Symposium on High Performance Computer Architecture (HPCA). Washington, DC, USA: Institute of Electrical and Electronics Engineers (IEEE), p. 492-505 14 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
DHTM: Durable Hardware Transactional Memory
Joshi, A., Nagarajan, V., Cintra, M. & Viglas, S., 23 Jul 2018, 2018 ACM/IEEE 45th Annual International Symposium on Computer Architecture (ISCA). Los Angeles, California, USA: Institute of Electrical and Electronics Engineers (IEEE), p. 452-465 14 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File