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

PinnedLoading

HermesHermesPublic
Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high throughput.
C 167 16
PTEMagnetPTEMagnetPublic
Forked fromamargaritov/PTEMagnet_AE
PTEMagnet artifact evaluation pack
Python
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 18 1
graspgraspPublic
Source code for the evaluated benchmarks and proposed cache management technique, GRASP, in [Faldu et al., HPCA'20].
Emacs Lisp 7 1
bankruptbankruptPublic
Bankrupt Covert Channel [Ustiugov et al., WOOT at USENIX Sec'20]
C 1

Repositories

Showing 10 of 28 repositories

1Update Public
This repository contains the TLA+ specification of the 1-Update cache coherence protocol that appeared in PACT'21.
ease-lab/1Update’s past year of commit activity
TLA 6Apache-2.0 1 0 0 UpdatedMar 28, 2024
Hermes Public
Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high throughput.
ease-lab/Hermes’s past year of commit activity
C 167Apache-2.0 16 0 0 UpdatedMar 28, 2024
gem5 Public Forked fromgem5/gem5
Fork of the official repository for the gem5 computer-system architecture simulator.
ease-lab/gem5’s past year of commit activity
C++ 1BSD-3-Clause 1,366 0 0 UpdatedSep 15, 2023
gem5-old Public
Fork fromhttps://gem5.googlesource.com/public/gem5
ease-lab/gem5-old’s past year of commit activity
C++ 3BSD-3-Clause 1 3 3 UpdatedJun 27, 2023
serving Public Forked fromknative/serving
Kubernetes-based, scale-to-zero, request-driven compute
ease-lab/serving’s past year of commit activity
Go0Apache-2.0 1,223 0 6 UpdatedMay 11, 2023
vhive-asplos-tutorial Public
ease-lab/vhive-asplos-tutorial’s past year of commit activity
Python 70 0 7 UpdatedMar 31, 2023
kind Public Forked fromkubernetes-sigs/kind
Kubernetes IN Docker - local clusters for testing Kubernetes
ease-lab/kind’s past year of commit activity
Go 1Apache-2.0 1,623 0 3 UpdatedFeb 25, 2023
firecracker-go-sdk Public Forked fromfirecracker-microvm/firecracker-go-sdk
An SDK in Go for the Firecracker microVM API
ease-lab/firecracker-go-sdk’s past year of commit activity
Go0Apache-2.0 133 0 2 UpdatedFeb 25, 2023
firecracker Public Forked fromfirecracker-microvm/firecracker
Secure and fast microVMs for serverless computing.
ease-lab/firecracker’s past year of commit activity
Rust0Apache-2.0 1,983 0 5 UpdatedJan 21, 2023
Zeus Public
This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that appears in Eurosys'21.
ease-lab/Zeus’s past year of commit activity
TLA 18Apache-2.0 1 0 0 UpdatedJun 12, 2022