Skip to content
@ease-lab

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

Pinned Loading

  1. Hermes Hermes Public

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

    C 164 16

  2. PTEMagnet PTEMagnet Public

    Forked from amargaritov/PTEMagnet_AE

    PTEMagnet artifact evaluation pack

    Python

  3. Zeus 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.

    TLA 18 1

  4. grasp grasp Public

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

    Emacs Lisp 7 1

  5. bankrupt bankrupt Public

    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 6 Apache-2.0 1 0 0 Updated Mar 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 164 Apache-2.0 16 0 0 Updated Mar 28, 2024
  • gem5 Public Forked from gem5/gem5

    Fork of the official repository for the gem5 computer-system architecture simulator.

    ease-lab/gem5’s past year of commit activity
    C 1 BSD-3-Clause 1,240 0 0 Updated Sep 15, 2023
  • gem5-old Public

    Fork from https://gem5.googlesource.com/public/gem5

    ease-lab/gem5-old’s past year of commit activity
    C 3 BSD-3-Clause 1 3 3 Updated Jun 27, 2023
  • serving Public Forked from knative/serving

    Kubernetes-based, scale-to-zero, request-driven compute

    ease-lab/serving’s past year of commit activity
    Go 0 Apache-2.0 1,196 0 6 Updated May 11, 2023
  • vhive-asplos-tutorial Public
    ease-lab/vhive-asplos-tutorial’s past year of commit activity
    Python 6 0 0 7 Updated Mar 31, 2023
  • kind Public Forked from kubernetes-sigs/kind

    Kubernetes IN Docker - local clusters for testing Kubernetes

    ease-lab/kind’s past year of commit activity
    Go 1 Apache-2.0 1,584 0 3 Updated Feb 25, 2023
  • firecracker-go-sdk Public Forked from firecracker-microvm/firecracker-go-sdk

    An SDK in Go for the Firecracker microVM API

    ease-lab/firecracker-go-sdk’s past year of commit activity
    Go 0 Apache-2.0 129 0 2 Updated Feb 25, 2023
  • firecracker Public Forked from firecracker-microvm/firecracker

    Secure and fast microVMs for serverless computing.

    ease-lab/firecracker’s past year of commit activity
    Rust 0 Apache-2.0 1,897 0 5 Updated Jan 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 18 Apache-2.0 1 0 0 Updated Jun 12, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…