Published September 3, 2021
| Version v1
Software
Open
Artifact for "Translating C to Safer Rust"
Description
This archive contains the accompanying artifact for the PACMPL/OOPSLA 2021 paper "Translating C to Safer Rust" by Emre et al. (Proc. ACM Program. Lang., Vol. 5, No. OOPSLA, Article 121). DOI of the associated paper is https://doi.org/10.1145/3485498
The code in the artifact (except the benchmark programs) are dual-licensed under MIT and APACHE licenses. See the benchmark programs' license files (inside the Docker image, under ~/lab/laertes/test-inputs) for their licensing terms.
Files
README.md
Files
(1.7 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:a39e81ded6e0e0c445ad4a8aedbd9a3d
|
398 Bytes | Download |
|
md5:a39e81ded6e0e0c445ad4a8aedbd9a3d
|
398 Bytes | Download |
|
md5:22a53954e4e0ec258dfce4391e905dac
|
9.7 kB | Download |
|
md5:b377b220f43d747efdec40d69fcaa69d
|
1.0 kB | Download |
|
md5:91c310d091894e4a5030771170605dc3
|
31.7 kB | Preview Download |
|
md5:060fedf0aa47159c09dd60d86815bbf9
|
157.3 kB | Preview Download |
|
md5:def08fe55d4918f7754575fe0131b439
|
1.7 GB | Download |
Additional details
Related works
- Is supplement to
- Journal article: 10.1145/3485498 (DOI)