Skip to content

@ease-lab Edinburgh Architecture and Systems (EASE) Lab @ University of Edinburgh

Change the repository type filter

All

    Repositories list

    28 repositories

    • 1Update

      Public
      This repository contains the TLA+ specification of the 1-Update cache coherence protocol that appeared in PACT'21.
      TLA
      •
      Apache License 2.0
      •1•6•0•0•Updated Mar 28, 2024Mar 28, 2024

    • Hermes

      Public
      Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high throughput.
      distributed-systemsavailabilityperformancereplicationconsistencyrdma
      C
      •
      Apache License 2.0
      •16•165•0•0•Updated Mar 28, 2024Mar 28, 2024

    • gem5

      Public
      Fork of the official repository for the gem5 computer-system architecture simulator.
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •1.2k•1•0•0•Updated Sep 15, 2023Sep 15, 2023

    • gem5-old

      Public
      Fork from https://gem5.googlesource.com/public/gem5
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •1•3•3•3•Updated Jun 27, 2023Jun 27, 2023

    • serving

      Public
      Kubernetes-based, scale-to-zero, request-driven compute
      Go
      •
      Apache License 2.0
      •1.2k•0•0•6•Updated May 11, 2023May 11, 2023

    • vhive-asplos-tutorial

      Public
      Python
      •0•6•0•7•Updated Mar 31, 2023Mar 31, 2023

    • kind

      Public
      Kubernetes IN Docker - local clusters for testing Kubernetes
      Go
      •
      Apache License 2.0
      •1.6k•1•0•3•Updated Feb 25, 2023Feb 25, 2023

    • firecracker-go-sdk

      Public
      An SDK in Go for the Firecracker microVM API
      Go
      •
      Apache License 2.0
      •125•0•0•2•Updated Feb 25, 2023Feb 25, 2023

    • firecracker

      Public
      Secure and fast microVMs for serverless computing.
      Rust
      •
      Apache License 2.0
      •1.8k•0•0•5•Updated Jan 21, 2023Jan 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
      •
      Apache License 2.0
      •1•18•0•0•Updated Jun 12, 2022Jun 12, 2022

    • containerd

      Public
      An open and reliable container runtime
      Go
      •
      Apache License 2.0
      •3.5k•0•0•1•Updated May 20, 2022May 20, 2022

    • mare

      Public archive
      A minimalistic map-reduce framework in Go.
      Go
      •
      MIT License
      •0•0•0•0•Updated Aug 6, 2021Aug 6, 2021

    • knative-kind

      Public
      Knative on Kind (KonK)
      Shell
      •
      Apache License 2.0
      •33•0•0•0•Updated Jul 21, 2021Jul 21, 2021

    • bankrupt

      Public
      Bankrupt Covert Channel [Ustiugov et al., WOOT at USENIX Sec'20]
      rdmasecurity-vulnerabilityhardware-securitycovert-channels
      C
      •
      MIT License
      •0•1•0•0•Updated Apr 25, 2021Apr 25, 2021

    • PTEMagnet

      Public
      PTEMagnet artifact evaluation pack
      Python
      •
      MIT License
      •2•0•0•0•Updated Dec 25, 2020Dec 25, 2020

    • ChampSim

      Public
      ChampSim repository
      C++
      •
      Other
      •432•0•0•0•Updated Jun 22, 2020Jun 22, 2020

    • linux

      Public
      Linux kernel source tree
      C
      •
      Other
      •54k•0•0•1•Updated May 25, 2020May 25, 2020

    • grasp

      Public
      Source code for the evaluated benchmarks and proposed cache management technique, GRASP, in [Faldu et al., HPCA'20].
      cachecache-simulatorgraspgraph-reorderingpower-lawgraph-analyticshpcadbgcache-efficiencyligra
      Emacs Lisp
      •
      Apache License 2.0
      •1•7•1•0•Updated Jan 23, 2020Jan 23, 2020

    • dbg

      Public
      Source code for the graph reordering technique, DBG, published in [Faldu et al., IISWC'19].
      cachegraph-analyticspower-lawdbggraph-reorderingiiswcligra
      Emacs Lisp
      •
      Apache License 2.0
      •1•4•0•0•Updated Nov 26, 2019Nov 26, 2019

    • leeway

      Public
      Source code for the cache replacement policy published in [Faldu et al., PACT'17] and [Faldu et al., CRC2'17].
      cachellccache-replacementcache-replacement-competitioncache-managementlast-level-cachepactleewaycrc2
      C++
      •
      Apache License 2.0
      •0•3•0•0•Updated Nov 26, 2019Nov 26, 2019

    • Galois

      Public
      Galois: C++ library for multi-core and multi-node parallelization
      C++
      •
      Other
      •133•0•0•0•Updated Oct 30, 2019Oct 30, 2019

    • measurements

      Public
      Everything you wanted to use but were afraid to build
      Shell
      •
      MIT License
      •0•0•0•0•Updated Aug 7, 2019Aug 7, 2019

    • lancet-tool

      Public
      C
      •
      MIT License
      •17•0•0•0•Updated Aug 7, 2019Aug 7, 2019

    • distbenchr

      Public
      Python
      •4•0•0•0•Updated Jul 29, 2019Jul 29, 2019

    • time_rdtsc

      Public
      Efficient timers via a short and sweet C wrapper that combines RDTSC efficiency with traditional timespec API.
      C
      •4•0•0•0•Updated Jul 19, 2019Jul 19, 2019

    • DeathStarBench

      Public
      Open-source benchmark suite for cloud microservices
      C
      •
      GNU General Public License v2.0
      •417•0•0•0•Updated Jun 21, 2019Jun 21, 2019

    • stress-ng

      Public archive
      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.
      C
      •
      GNU General Public License v2.0
      •284•0•0•0•Updated Sep 10, 2018Sep 10, 2018

    • stack-distance

      Public
      Utility to simulate cache behavior with Mattson's Stack Algorithm.
      C++
      •
      Other
      •5•0•0•0•Updated Mar 3, 2014Mar 3, 2014