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

Pinned Loading

1. HermesHermesPublic

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

   C 175 17

2. PTEMagnetPTEMagnetPublic

   Forked from amargaritov/PTEMagnet_AE

   PTEMagnet artifact evaluation pack

   Python

3. ZeusZeusPublic

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

   TLA 20 1

4. graspgraspPublic

   Source code for the evaluated benchmarks and proposed cache management technique, GRASP, in [Faldu et al., HPCA'20].

   Emacs Lisp 8 1

5. bankruptbankruptPublic

   Bankrupt Covert Channel [Ustiugov et al., WOOT at USENIX Sec'20]

   C 2