BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Google rust

Tag #rust

9 papers:

POPLPOPL-2020-JungDKD #alias
Stacked borrows: an aliasing model for Rust (RJ0, HHD, JK, DD), p. 32.
OOPSLAOOPSLA-2019-Astrauskas0PS #composition #specification #verification
Leveraging rust types for modular specification and verification (VA, PM0, FP, AJS), p. 30.
DiGRADiGRA-2018-Caetano #gender
Avatars, Gender and Sexuality for Brazilian Players on Rust (MC).
PLATEAUPLATEAU-2018-ZengC #identification #online
Identifying Barriers to Adoption for Rust through Online Discourse (AZ, WC), p. 6.
POPLPOPL-2018-0002JKD #named #programming language
RustBelt: securing the foundations of the rust programming language (RJ0, JHJ, RK, DD), p. 34.
POPLPOPL-2017-Turon #named
Rust: from POPL to practice (keynote) (AT), p. 2.
ASEASE-2015-DeweyRH #fuzzing #using
Fuzzing the Rust Typechecker Using CLP (T) (KD, JR, BH), pp. 482–493.
ASEASE-2015-TomanPT #bound #named #verification
Crust: A Bounded Verifier for Rust (N) (JT, SP, ET), pp. 75–80.
The rust language (NDM, FSKI), pp. 103–104.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.