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

ease-lab

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    212
  • Global Org. Rank 39,161 (Top 13 %)
  • Registered over 5 years ago
  • Most used languages
    Emacs Lisp
         22.2 %
    TLA     22.2 %
    C++
         22.2 %
    C
         22.2 %
    Python
         11.1 %
  • Location πŸ‡¬πŸ‡§ United Kingdom
  • Country Total Rank 5,600
  • Country Ranking
    TLA     1
    Emacs Lisp
         96
    C
         271
    C++
         2,894
    Python
         9,166

Top repositories

1

Hermes

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

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.
TLA
18
star
3

grasp

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

vhive-asplos-tutorial

Python
6
star
5

1Update

This repository contains the TLA+ specification of the 1-Update cache coherence protocol that appeared in PACT'21.
TLA
6
star
6

dbg

Source code for the graph reordering technique, DBG, published in [Faldu et al., IISWC'19].
Emacs Lisp
4
star
7

gem5-old

Fork from https://gem5.googlesource.com/public/gem5
C++
3
star
8

leeway

Source code for the cache replacement policy published in [Faldu et al., PACT'17] and [Faldu et al., CRC2'17].
C++
3
star
9

bankrupt

Bankrupt Covert Channel [Ustiugov et al., WOOT at USENIX Sec'20]
C
1
star