Understanding memory and thread safety practices and issues in real-world Rust programs

B Qin, Y Chen, Z Yu, L Song, Y Zhang - Proceedings of the 41st ACM …, 2020 - dl.acm.org
Rust is a young programming language designed for systems software development. It aims
to provide safety guarantees like high-level languages and performance efficiency like low …

Learning and programming challenges of rust: A mixed-methods study

S Zhu, Z Zhang, B Qin, A Xiong, L Song - Proceedings of the 44th …, 2022 - dl.acm.org
Rust is a young systems programming language designed to provide both the safety
guarantees of high-level languages and the execution performance of low-level languages …

Rudra: finding memory safety bugs in rust at the ecosystem scale

Y Bae, Y Kim, A Askar, J Lim, T Kim - Proceedings of the ACM SIGOPS …, 2021 - dl.acm.org
Rust is a promising system programming language that guarantees memory safety at
compile time. To support diverse requirements for system software such as accessing low …

Is Rust used safely by software developers?

AN Evans, B Campbell, ML Soffa - Proceedings of the ACM/IEEE 42nd …, 2020 - dl.acm.org
Rust, an emerging programming language with explosive growth, provides a robust type
system that enables programmers to write memory-safe and data-race free code. To allow …

Securing unsafe rust programs with XRust

P Liu, G Zhao, J Huang - Proceedings of the ACM/IEEE 42nd …, 2020 - dl.acm.org
Rust is a promising systems programming language that embraces both high-level memory
safety and low-level resource manipulation. However, the dark side of Rust, unsafe Rust …

Keeping safe rust safe with galeed

E Rivera, S Mergendahl, H Shrobe, H Okhravi… - Proceedings of the 37th …, 2021 - dl.acm.org
Rust is a programming language that simultaneously offers high performance and strong
security guarantees. Safe Rust (ie, Rust code that does not use the unsafe keyword) is …

Translating C to safer Rust

M Emre, R Schroeder, K Dewey… - Proceedings of the ACM …, 2021 - dl.acm.org
Rust is a relatively new programming language that targets efficient and safe systems-level
applications. It includes a sophisticated type system that allows for provable memory-and …

Rust: The programming language for safety and performance

W Bugden, A Alahmar - arXiv preprint arXiv:2206.05503, 2022 - arxiv.org
Rust is a young programming language gaining increased attention from software
developers since it was introduced to the world by Mozilla in 2010. In this study, we attempt …

Memory-safety challenge considered solved? An in-depth study with all Rust CVEs

H Xu, Z Chen, M Sun, Y Zhou, MR Lyu - ACM Transactions on Software …, 2021 - dl.acm.org
Rust is an emerging programming language that aims at preventing memory-safety bugs
without sacrificing much efficiency. The claimed property is very attractive to developers, and …

Ownership is theft: Experiences building an embedded OS in Rust

A Levy, MP Andersen, B Campbell, D Culler… - Proceedings of the 8th …, 2015 - dl.acm.org
Rust, a new systems programming language, provides compile-time memory safety checks
to help eliminate runtime bugs that manifest from improper memory management. This …