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.

12 4 3 1 Jul. 9, 2024, 6:51 PM


Launch on Chameleon

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 Archive

Download 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 813894f46c0be2feea0ccba45acea72b8bf87ccd

Submit feedback through GitHub issues

Version Stats

12 4 3