Here are sample papers for you to read and present. If you want to present a paper not in the list, you are welcome to do so, but please email me first to discuss with me the suitability of the paper.

Hardware Consistency and Coherence

Spandex: A Flexible Interface for Efficient Heterogeneous Coherence

Architecture and Design of AlphaServer GS320

Efficient GPU synchronization without scopes: saying no to complex consistency models

DeNovo: Rethinking the Memory Hierarchy for Disciplined Parallelism

Efficient sequential consistency via conflict ordering

Tardis: Time Traveling Coherence Algorithm for Distributed Shared Memory

Non-Speculative Load-Load Reordering in TSO

Cohort: Software-Oriented Acceleration for Heterogeneous SoCs

Exploring Memory Consistency for Massively-Threaded Throughput-Oriented Processors

Specifying Memory Models

Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory

x86-TSO: A Rigorous and Usable Programmer’s Model for x86 Multiprocessors

GPU Concurrency: Weak Behaviours and Programming Assumptions

A Formal Analysis of the NVIDIA PTX Memory Consistency Model

The semantics of shared memory in Intel CPU/FPGA systems

Compound Memory Models

A Promising Semantics for Relaxed-Memory Concurrency.

Validating Memory Consistency and Coherence

PipeCheck: Specifying and Verifying Microarchitectural Enforcement of Memory Consistency Models.

CCICheck: Using µhb Graphs to Verify the Coherence-Consistency Interface

PerpLE: Improving the Speed and Effectiveness of Memory Consistency Testing

GPUHarbor: Testing GPU Memory Consistency at Large

MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications.

Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking

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

TLA+ Verification of Cache-Coherence Protocols

Synthesizing Coherence Protocols

Teapot: Language Support for Writing Memory Coherence Protocols

TRANSIT: Specifying Protocols with Concolic Snippets

ProtoGen: Automatically Generating Directory Cache Coherence Protocols from Atomic Specifications

HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols

Memory Persistency

Memory Persistency.

Delegated persist ordering

Better I/O Through Byte-Addressable, Persistent Memory

Efficient Persist Barriers for Multicores

ATOM: Atomic Durability in Non-volatile Memory through Hardware Logging

GPM: Leveraging Persistent Memory from a GPU

Scoped Buffered Persistency Model for GPUs

Persistent Processor Architecture

Distributed Data Persistency

Key-Value-Stores Consistency

FaRM: Fast Remote Memory

Hermes: a Fast, Fault-Tolerant and Linearizable Replication Protocol

Kite: Efficient and Available Release Consistency for the Datacenter

Microsecond Consensus for Microsecond Applications

Odyssey: The Impact of Modern Hardware on Strongly-Consistent Replication Protocols

CliqueMap: Productionizing an RMA-Based Distributed Caching System

Epoxy: ACID Transactions Across Diverse Data Stores

PolarDB-SCC: A Cloud-Native Database Ensuring Low Latency for Strongly Consistent Reads

Durable Functions: Semantics for Stateful Serverless

SwiSh: Distributed Shared State Abstractions for Programmable Switches

Amazon DynamoDB: A Scalable, Predictably Performant, and Fully Managed NoSQL Database Service

μManycore: A Cloud-Native CPU for Tail at Scale

Pond: CXL-Based Memory Pooling Systems for Cloud Platforms

Papers