Published November 14, 2019 | Version v1
Other Open

Stacked Borrows: An Aliasing Model for Rust -- Artifact

Creators

  • 1. MPI-SWS, Germany & Mozilla, USA
  • 2. MPI-SWS, Germany
  • 3. KAIST, South Korea

Description

This is the artifact accompanying the POPL20 paper "Stacked Borrows: An Aliasing Model for Rust". The latest version of the Coq formalization can be found at https://gitlab.mpi-sws.org/FP/stacked-borrows. This artifact corresponds to the `popl20` tag in that repository.

For more information about that paper, see https://plv.mpi-sws.org/rustbelt/stacked-borrows/.

Files

Stacked_Borrows_artifact.2019.11.13.zip

Files (2.1 GB)

Name Size Download all
md5:158a2377217717984875a6497ff54c0a
2.1 GB Preview Download

Additional details

Related works

Is supplement to
Conference paper: 10.1145/3371109 (DOI)

Funding

European Commission
RustBelt – Logical Foundations for the Future of Safe Systems Programming 683289