This publicly available artifact contains a snap-shot of Hermes(KV) repository. The repository consists of the Hermes protocol specification (e.g., for model checking) and all the code required to reproduce the experiments of Hermes from the ASPLOS’20 paper “Hermes: Fast and Reliable Data Replication with Linearizability”
This is a replication package for the article "Software Verification with PDR: An Implementation of ...
Helm Charts for Kubernetes Applications: Evolution, Outdatedness and Security Risks This repository...
This dataset and code replicates Designing Institutions for Well-being, published in the European Jo...
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific res...
This repository contains artifacts of the paper Mitosis: Transparently Self-Replicating Page-Tables ...
A VirtualBox VM image that is fully set up to reproduce experiments mentioned in the ASPLOS 2021 pap...
Source code and instructions to run software is zipped into dvh-asplos-ae.tar.gz. Please see README....
This archive contains the implementation of Minimally Ordered Durable Datastructures from ASPLOS 202...
Part 1: Distributed ProtocolsInternational audienceThe overall performance improvement in Byzantine ...
This repository contains replication materials for the paper, "Modeling Asymmetric Relationships fro...
International audienceData replication places physical copies of a shared logical item onto differen...
Support for computational artifacts such as software, workflows, and containers is needed in the Dat...
There are three artifacts for this paper: a Gem5 model to reproduce Figure 4, a modified Linux kerne...
The artifact for paper "Probabilistic Concurrency Testing for Weak Memory Concurrency" in ASPLOS2023
Eventual consistency (EC) is a relaxed data consistency model that, driven by the CAP theorem, trade...
This is a replication package for the article "Software Verification with PDR: An Implementation of ...
Helm Charts for Kubernetes Applications: Evolution, Outdatedness and Security Risks This repository...
This dataset and code replicates Designing Institutions for Well-being, published in the European Jo...
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific res...
This repository contains artifacts of the paper Mitosis: Transparently Self-Replicating Page-Tables ...
A VirtualBox VM image that is fully set up to reproduce experiments mentioned in the ASPLOS 2021 pap...
Source code and instructions to run software is zipped into dvh-asplos-ae.tar.gz. Please see README....
This archive contains the implementation of Minimally Ordered Durable Datastructures from ASPLOS 202...
Part 1: Distributed ProtocolsInternational audienceThe overall performance improvement in Byzantine ...
This repository contains replication materials for the paper, "Modeling Asymmetric Relationships fro...
International audienceData replication places physical copies of a shared logical item onto differen...
Support for computational artifacts such as software, workflows, and containers is needed in the Dat...
There are three artifacts for this paper: a Gem5 model to reproduce Figure 4, a modified Linux kerne...
The artifact for paper "Probabilistic Concurrency Testing for Weak Memory Concurrency" in ASPLOS2023
Eventual consistency (EC) is a relaxed data consistency model that, driven by the CAP theorem, trade...
This is a replication package for the article "Software Verification with PDR: An Implementation of ...
Helm Charts for Kubernetes Applications: Evolution, Outdatedness and Security Risks This repository...
This dataset and code replicates Designing Institutions for Well-being, published in the European Jo...
DOI
Add to ORKG