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: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2023/18265/
Harris, Sarah ;
Cooksey, Simon ;
Vollmer, Michael ;
Batty, Mark
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact)
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 |
