This repository contains the artifact for the SIGCOMM '23 paper "Hydra: Practical Runtime Network Verification".
For the most up-to-date version of the artifact, please visit https://github.com/cornell-netlab/hydra-artifact.
The codebase is organized into several sub-directories as follows:
indus/: OCaml source code for the Indus compiler (Section 4)studies/: Data and scripts for the case studies (Section 5)examples/: Indus source code for the example programs (Section 6.1)benchmark/Source code, data, and scripts for the performance benchmarks (Section 6.2)
Each sub-directory has its own README.md file with further instructions.
We recommend exploring the codebase in the following order:
- Build the Indus compiler (in
indus/) - Run the "valley free" routing case study (in
studies/valley_free/) - Compile the example programs (in
examples/) - Explore the Aether case study (in
studies/aether) - Explore the performance benchmarks (in
benchmarks)
Note that this artifact is still being updated. We are making the source code available now, but some functionality is being updated from our private development. In addition, we plan to provide more detailed instructions for the case studies and benchmarks, some of which rely on proprietary hardware and data.
Please contact us if you have any questions, either anonymously on HotCRP or by email as appropriate:
- Sundararajan Renganathan (rsundar@stanford.edu)
- Benny Rubin (bcr57@cornell.edu)
- Hyojoon Kim (hyojoonkim@virginia.edu)
- Nate Foster (jnfoster@cs.cornell.edu)