Published February 26, 2026
| Version v2
Software
Open
A Formal Framework for Predicting Distributed System Performance under Faults
Authors/Creators
-
1.
East China Normal University
-
2.
Texas A&M University
Description
This artifact supports the experimental evaluation presented in the paper "A Formal Framework for Predicting Distributed System Performance under Faults", covering all six case studies in Figure 3: Two-Phase Commit with CTP, Raft, PowerDNS, Cassandra Quorum, RAMP, and Fast-HotStuff.
The submission includes the source code of the artifact, a Docker image file, and documentation with instructions for setting up the environment and running experiments.
We apply for the available and functional badges.
The artifact is licensed under GPLv2, which permits evaluation.
Files
PerF-FM2026-Artifact.zip
Files
(481.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:be41d70ccb3bebead916f87fe2a071d6
|
481.8 MB | Preview Download |