Pinned Repositories
1Update
This repository contains the TLA+ specification of the 1-Update cache coherence protocol that appeared in PACT'21.
bankrupt
Bankrupt Covert Channel [Ustiugov et al., WOOT at USENIX Sec'20]
dbg
Source code for the graph reordering technique, DBG, published in [Faldu et al., IISWC'19].
gem5-old
Fork from https://gem5.googlesource.com/public/gem5
grasp
Source code for the evaluated benchmarks and proposed cache management technique, GRASP, in [Faldu et al., HPCA'20].
Hermes
Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high throughput.
leeway
Source code for the cache replacement policy published in [Faldu et al., PACT'17] and [Faldu et al., CRC2'17].
PTEMagnet
PTEMagnet artifact evaluation pack
vhive-asplos-tutorial
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.
Edinburgh Architecture and Systems (EASE) Lab @ University of Edinburgh's Repositories
ease-lab/Hermes
Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high throughput.
ease-lab/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.
ease-lab/grasp
Source code for the evaluated benchmarks and proposed cache management technique, GRASP, in [Faldu et al., HPCA'20].
ease-lab/vhive-asplos-tutorial
ease-lab/1Update
This repository contains the TLA+ specification of the 1-Update cache coherence protocol that appeared in PACT'21.
ease-lab/dbg
Source code for the graph reordering technique, DBG, published in [Faldu et al., IISWC'19].
ease-lab/gem5-old
Fork from https://gem5.googlesource.com/public/gem5
ease-lab/leeway
Source code for the cache replacement policy published in [Faldu et al., PACT'17] and [Faldu et al., CRC2'17].
ease-lab/bankrupt
Bankrupt Covert Channel [Ustiugov et al., WOOT at USENIX Sec'20]
ease-lab/gem5
Fork of the official repository for the gem5 computer-system architecture simulator.
ease-lab/kind
Kubernetes IN Docker - local clusters for testing Kubernetes
ease-lab/PTEMagnet
PTEMagnet artifact evaluation pack
ease-lab/serving
Kubernetes-based, scale-to-zero, request-driven compute
ease-lab/ChampSim
ChampSim repository
ease-lab/containerd
An open and reliable container runtime
ease-lab/DeathStarBench
Open-source benchmark suite for cloud microservices
ease-lab/distbenchr
ease-lab/firecracker
Secure and fast microVMs for serverless computing.
ease-lab/firecracker-go-sdk
An SDK in Go for the Firecracker microVM API
ease-lab/Galois
Galois: C++ library for multi-core and multi-node parallelization
ease-lab/knative-kind
Knative on Kind (KonK)
ease-lab/lancet-tool
ease-lab/linux
Linux kernel source tree
ease-lab/mare
A minimalistic map-reduce framework in Go.
ease-lab/measurements
Everything you wanted to use but were afraid to build
ease-lab/stack-distance
Utility to simulate cache behavior with Mattson's Stack Algorithm.
ease-lab/stress-ng
This is a mirror of the upstream project at http://kernel.ubuntu.com/git/cking/stress-ng.git/ - stress-ng will stress test a computer system in various selectable ways. It was designed to exercise various physical subsystems of a computer as well as the various operating system kernel interfaces.
ease-lab/time_rdtsc
Efficient timers via a short and sweet C wrapper that combines RDTSC efficiency with traditional timespec API.