License: 
Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.9.2.25
URN: urn:nbn:de:0030-drops-182650
URL: https://drops.dagstuhl.de/opus/volltexte/2023/18265/
Harris, Sarah ;
Cooksey, Simon ;
Vollmer, Michael ;
Batty, Mark
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact)
|
pdf-format:
|
|
|
artifact-format:
|
|
Evaluation Policy
The artifact has been evaluated as described in the ECOOP 2023 Call for Artifacts and the ACM Artifact Review and Badging Policy.
BibTeX - Entry
@Article{harris_et_al:DARTS.9.2.25,
author = {Harris, Sarah and Cooksey, Simon and Vollmer, Michael and Batty, Mark},
title = {{Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact)}},
pages = {25:1--25:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2023},
volume = {9},
number = {2},
editor = {Harris, Sarah and Cooksey, Simon and Vollmer, Michael and Batty, Mark},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2023/18265},
URN = {urn:nbn:de:0030-drops-182650},
doi = {10.4230/DARTS.9.2.25},
annote = {Keywords: Compilers, Rust, Memory Safety, CHERI}
}
|
Keywords: |
|
Compilers, Rust, Memory Safety, CHERI |
|
Collection: |
|
DARTS, Volume 9, Issue 2, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023) |
|
Issue Date: |
|
2023 |
|
Date of publication: |
|
11.07.2023 |
