akatsarakis
Principal Researcher @ Huawei. PhD from University of Edinburgh.
Huawei ResearchEdinburgh
Pinned Repositories
fun-c-prints
Galene
TLA+ specification of linearizable Protocol of ccKVS from Scale-out ccNUMA [Eurosys'18]
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.
Odyssey
time_rdtsc
Efficient timers via a short and sweet C wrapper that combines RDTSC efficiency with traditional timespec API.
trace-generator
a trace generator for skewed workloads (similar to then one used for ccKVS of Scale-out ccNUMA [Eurosys'18])
tx_benchmarking
Transactional benchmarks ported over a shim for a KV-based underlying datastore.
Hermes
Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high throughput.
Zeus
This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that appears in Eurosys'21.
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.
akatsarakis's Repositories
akatsarakis/time_rdtsc
Efficient timers via a short and sweet C wrapper that combines RDTSC efficiency with traditional timespec API.
akatsarakis/trace-generator
a trace generator for skewed workloads (similar to then one used for ccKVS of Scale-out ccNUMA [Eurosys'18])
akatsarakis/tx_benchmarking
Transactional benchmarks ported over a shim for a KV-based underlying datastore.
akatsarakis/Galene
TLA+ specification of linearizable Protocol of ccKVS from Scale-out ccNUMA [Eurosys'18]
akatsarakis/fun-c-prints
akatsarakis/Hermes-Protocol
TLA spec - Hermes: fault-tolerant replication protocol with strong consistency and high performance
akatsarakis/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.
akatsarakis/rdma-micro-bench
akatsarakis/skewed-trace-generator
a trace generator for skewed workloads (used for ccKVS)
akatsarakis/Odyssey
akatsarakis/azurehacks
Hacks to control Azure instances
akatsarakis/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.
akatsarakis/cloudlab
akatsarakis/Eugenia-Dashboard
akatsarakis/fasst
Source code for our OSDI 2016 paper
akatsarakis/hatrack
Fast, multi-reader, multi-writer, lockless data structures for parallel programming
akatsarakis/zookeeper