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 …

Verona is a concurrent object-oriented programming language that organises all the objects
in a program into a forest of isolated regions. Memory is managed locally for each region, so …

Rust is an emerging, strongly-typed programming language focusing on efficiency and
memory safety. With increasing projects adopting Rust, knowing how to use Unsafe Rust is …

Modern software development still struggles with memory safety issues as a significant
source of security bugs. The Rust programming language addresses memory safety and …

As a relatively new programming language, Rust is designed to provide both memory safety
and runtime performance. To achieve this goal, Rust conducts rigorous static checks against …

Current languages employed for embedded software development usually provide unsafe
memory handling often resulting in vulnerabilities. Languages that can provide memory …

Rust successfully applies ownership types to control memory allocation. Unfortunately,
Rust's ownership restricts the programs' topologies to the point where doubly-linked lists …

Dala is a design for a concurrent dynamic object-oriented language. A key goal of Dala's
design is to avoid data races, by ensuring threads do not share mutable state. In this paper …

The error messages generated by the Rust compiler (rustc) are useful for developers to
identify and diagnose suspicious code segments. Complementing the compiler, linters can …

Digital lutherie is a sub-domain of digital craft focused on creating digital musical
instruments: high-performance devices for musical expression. It represents a nuanced and …