Skip to content
@ease-lab

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

Pinned Loading

  1. Hermes Public

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

    C 167 16

  2. PTEMagnet Public

    Forked from amargaritov/PTEMagnet_AE

    PTEMagnet artifact evaluation pack

    Python

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

    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.

    C 167 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.

    C++ 1 BSD-3-Clause 1,368 0 0 Updated Sep 15, 2023
  • gem5-old Public

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

    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

    Go 0 Apache-2.0 1,220 0 6 Updated May 11, 2023
  • vhive-asplos-tutorial Public
    Python 7 0 0 7 Updated Mar 31, 2023
  • kind Public Forked from kubernetes-sigs/kind

    Kubernetes IN Docker - local clusters for testing Kubernetes

    Go 1 Apache-2.0 1,624 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

    Go 0 Apache-2.0 133 0 2 Updated Feb 25, 2023
  • firecracker Public Forked from firecracker-microvm/firecracker

    Secure and fast microVMs for serverless computing.

    Rust 0 Apache-2.0 1,983 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.

    TLA 18 Apache-2.0 1 0 0 Updated Jun 12, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…