Published December 13, 2017 | Version v1
Other Open

RustBelt: Securing the Foundations of the Rust Programming Language -- Artifact

Creators

  • 1. MPI-SWS, Germany
  • 2. Delft University of Technology, The Netherlands

Description

This is the artifact accompanying the POPL18 paper "RustBelt: Securing the Foundations of the Rust Programming Language". You can find the latest version of this artifact online at https://gitlab.mpi-sws.org/FP/LambdaRust-coq. This archive contains the `popl18` tag of the aforementioned repository in two forms:

  • As a virtual machine, including all dependencies. You can import the LambdaRust-VM.ova into VirtualBox ("File -- Import Appliance"). After booting the machine, you will find further instructions in the README on the Desktop.
  • As a tarball, excluding dependencies. You can extract LambdaRust-coq.tar.gz anywhere, and then follow the instructions in the README. Compiling lambdaRust this way requires opam to be set up on your system.

Files

popl18-artifact.zip

Files (1.5 GB)

Name Size Download all
md5:c4b564643cd7425179185ad39a044898
1.5 GB Preview Download

Additional details

Related works

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

Funding

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