Explore projects

Y

ds-ws18 / yfs-lab

0

Updated Feb 09, 2023

0 1 0 0

Updated Feb 09, 2023
Y

ds-ss23 / yfs-lab

0

Updated Apr 17, 2023

0 0 0 0

Updated Apr 17, 2023
Y

ds / ss21 / yfs-lab

1

Updated Jul 09, 2021

1 1 0 0

Updated Jul 09, 2021
Y

ds-ws16 / yfs-lab

0

Updated Jul 30, 2023

0 1 0 0

Updated Jul 30, 2023
W

pacer / wrk2

0

Updated Mar 02, 2022

0 0 0 0

Updated Mar 02, 2022
SAV / Weak Memory Bibliography

This project hopes to gather bibliographic sources regarding weak memory.

0

Updated Jul 12, 2024

0 1 1 0

Updated Jul 12, 2024
W

Léo Stefanesco / Weak Memory Bibliography

This project hopes to gather bibliographic sources regarding weak memory.

0

Updated Dec 01, 2023

0 0 0 0

Updated Dec 01, 2023
U

cld / systems / sock-shop / user

0

Updated Jun 18, 2019

0 0 0 0

Updated Jun 18, 2019
T

Iris / tutorial-popl24

0

Updated Jan 16, 2024

0 0 0 0

Updated Jan 16, 2024
T

Paolo G. Giarrusso / tutorial-popl18

Exercises for the Iris tutorial

0

Updated Nov 12, 2019

0 0 0 0

Updated Nov 12, 2019
T

Germán Delbianco / Tutorial POPL20

0

Updated Jan 21, 2020

0 0 0 0

Updated Jan 21, 2020
T

Arthur Azevedo de Amorim / Tutorial POPL20

0

Updated Jul 28, 2020

0 0 0 0

Updated Jul 28, 2020
T

Iris / Tutorial POPL18

Deprecated repository; please use the POPL 2021 version instead

1

Updated Jan 19, 2021

1 2 0 0

Updated Jan 19, 2021
T

Tej Chajed / Tutorial POPL18

Exercises for the Iris tutorial at POPL 2018

0

Updated Sep 15, 2020

0 0 0 0

Updated Sep 15, 2020
T

Rodolphe Lepigre / Treiber stack algorithm

0

Updated Mar 06, 2019

0 0 0 0

Updated Mar 06, 2019
T

Simon Spies / transfinite

Iris with transfinite step-indexing

0

Updated May 08, 2023

0 1 0 0

Updated May 08, 2023
T

Iris / transfinite

Iris with transfinite step-indexing

1

Updated Sep 22, 2022

1 1 0 0

Updated Sep 22, 2022
T

Johannes Hostert / transfinite

Iris with transfinite step-indexing

0

Updated Oct 30, 2023

0 0 0 0

Updated Oct 30, 2023
T

Baltasar Dinis / thesis

0

Updated Dec 02, 2022

0 0 0 0

Updated Dec 02, 2022
T

restart-rollback / teems

TEE-based Metadata Service

0

Updated Jul 10, 2023

0 0 0

Updated Jul 10, 2023