Edinburgh Architecture and Systems (EASE) Lab @ University of Edinburgh

icon indicating a website link easelab.inf.ed.ac.uk

icon location Edinburgh, Scotland

Results 2 repositories owned by Edinburgh Architecture and Systems (EASE) Lab @ University of Edinburgh

Hermes

159
Stars
16
Forks
Watchers

Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high throughput.

verified publisher icon ease-lab

Zeus

19
Stars
1
Forks
Watchers

This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that appears in Eurosys'21.

verified publisher icon ease-lab