akatsarakis

time_rdtsc

Efficient timers via a short and sweet C wrapper that combines RDTSC efficiency with traditional timespec API.

tx_benchmarking

Transactional benchmarks ported over a shim for a KV-based underlying datastore.

Galene

TLA+ specification of linearizable Protocol of ccKVS from Scale-out ccNUMA [Eurosys'18]

trace-generator

a trace generator for skewed workloads (similar to then one used for ccKVS of Scale-out ccNUMA [Eurosys'18])

fun-c-prints

Hermes-Protocol

TLA spec - Hermes: fault-tolerant replication protocol with strong consistency and high performance

Kite

Kite is a replicated, RDMA-enabled Key-Value Store that enforces available Release Consistency using Classic Paxos, ABD, Eventual Store and carstamps. The Kite paper appeared in PPoPP '20.

rdma-micro-bench

skewed-trace-generator

a trace generator for skewed workloads (used for ccKVS)

Odyssey

azurehacks

Hacks to control Azure instances

ccKVS

An RDMA skew-aware key-value store, which implements the Scale-Out ccNUMA design, to exploit skew in order to increase performance of data-serving applications.

cloudlab

Eugenia-Dashboard

fasst

Source code for our OSDI 2016 paper

hatrack

Fast, multi-reader, multi-writer, lockless data structures for parallel programming

zookeeper