Safe systems programming in Rust

R Jung, JH Jourdan, R Krebbers, D Dreyer - Communications of the ACM, 2021 - dl.acm.org
Safe systems programming in Rust Page 1 144 COMMUNICATIONS OF THE ACM | APRIL
2021 | VOL. 64 | NO. 4 contributed articles THERE IS A longstanding tension in …

[图书][B] SPARK: The Proven Approach to High Integrity Software

J Barnes - 2012 - dl.acm.org
Spark | Guide books skip to main content ACM Digital Library home ACM home Google, Inc.
(search) Advanced Search Browse About Sign in Register Advanced Search Journals …

System programming in rust: Beyond safety

A Balasubramanian, MS Baranowski… - Proceedings of the 16th …, 2017 - dl.acm.org
Rust is a new system programming language that offers a practical and safe alternative to C.
Rust is unique in that it enforces safety without runtime overhead, most importantly, without …

[图书][B] The Rust programming language

S Klabnik, C Nichols - 2023 - books.google.com
With over 50,000 copies sold, The Rust Programming Language is the quintessential guide
to programming in Rust. Thoroughly updated to Rust's latest version, this edition is …

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 …

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 …

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 …

Understanding and evolving the Rust programming language

R Jung - 2020 - publikationen.sulb.uni-saarland.de
Rust is a young systems programming language that aims to fill the gap between high-level
languages—which provide strong static guarantees like memory and thread safety—and low …

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 …

Sandcrust: Automatic sandboxing of unsafe components in rust

B Lamowski, C Weinhold, A Lackorzynski… - Proceedings of the 9th …, 2017 - dl.acm.org
System-level development has been dominated by traditional programming languages such
as C and C++ for decades. These languages are inherently unsafe regarding memory …