OSDI 2024 BoF Anvil
This notebook reproduces the results of OSDI 2024 Anvil: Verifying Liveness of Cluster Management Controllers: https://www.usenix.org/conference/osdi24/presentation/sun-xudong It reproduces the verification results in Figure 1 in Section 7 in the paper
Setup takes roughly 20 minutes to complete. Reproducing the results takes roughly 15 minutes.
Launch on Chameleon
Feedback
Launching this artifact will open it within Chameleon’s shared Jupyter experiment environment, which is accessible to all Chameleon users with an active allocation.
Download ArchiveDownload an archive containing the files of this artifact.
Download with git
Clone the git repository for this artifact, and checkout the version's commit
git clone https://github.com/xlab-uiuc/anvil-chameleon.git
# cd into the created directory
git checkout 813894f46c0be2feea0ccba45acea72b8bf87ccdSubmit feedback through GitHub issues