The Rust compiler has a few assumptions that it makes about the behavior of all code. Violations of those assumptions are referred to as Undefined Behavior. Since Rust is a safe-by-default ... (more…)
Read more »
Berlin based technology consultancy specialising in the Rust programming language. We offer development, implementation, training and long-term support. (more…)
Read more »
Paper
Talk at POPL
Technical Appendix
Coq Formalization
Artifact (with VM)
... (more…)
Read more »
The simplest way to avoid C-language coding traps is to avoid coding in C. (more…)
Read more »
Implementation of the xbacklight programm using rust - GitHub - procrastimax/rbacklight: Implementation of the xbacklight programm using rust... (more…)
Read more »
