RustBelt: Securing the foundations of the Rust programming language

The work

TitleRustBelt: Securing the foundations of the Rust programming language
AuthorsRalf Jung; Jacques-Henri Jourdan; Robbert Krebbers; Derek Dreyer
Typeconference paper
Year2017
Citekeyjung2017rustbelt

Where it appeared

Published inProceedings of the ACM on Programming Languages
PublisherAssociation for Computing Machinery
Volume2
Pages1--34

Where this came from

How it got herethe agent went looking · found via bibtex
First seen2026-08-05
Standingendorsed
Approved2026-08-07
In: Proceedings of the ACM on Programming Languages (PACMPL) venue

Cite it as

@inproceedings{jung2017rustbelt,
  title = {RustBelt: Securing the foundations of the Rust programming language},
  author = {Ralf Jung and Jacques-Henri Jourdan and Robbert Krebbers and Derek Dreyer},
  year = {2017},
  booktitle = {Proceedings of the ACM on Programming Languages},
  volume = {2},
  pages = {1--34},
  publisher = {Association for Computing Machinery},
}

This record lives at https://refs.drheap.org/jung2017rustbelt/ and will keep doing so.