Paper title To Tag, or Not to Tag: Translating C’s Unions to Rust’s Tagged Unions

Link to the accepted paper https://doi.org/10.48550/arXiv.2408.11418

Purpose This artifact allows for the reproduction of the experimental results presented in Section 5 of the paper.

Badge * Available: Anyone can download it at Zenodo. * Reusable: It is documented (as it provides enough documentation to use it), consistent (as it produces the consistent results with the paper), complete (as it answers the research questions in the paper), and exercisable (as it provides a Docker image where all the required packages are pre-installed).

Technology Reviewers should be able to use Docker and have an x86-64 machine.

Provenance https://doi.org/10.5281/zenodo.13373683

Instructions Follow the instructions in the README file of the artifact.