Rust is a new programming language for performance-critical systems software, e.g. operating system kernels, hypervisors, databases, and web servers [1][2]. As with other systems programming languages (e.g. C/C++), Rust provides low-level control over hardware resources (e.g. memory layout and allocation). In contrast to C/C++, Rust’s strict compiler checks help prevent common programming errors, reducing the … full description “Linux Kernel Driver Development in Rust (available)”
Tag: programming languages
Multiverse Debugging for Verilog (available)
Verilog is the most used hardware-description language: it is the primary language in which chips—from small microcontrollers to large SoCs and AI accelerators—are designed, simulated, and verified before being committed to silicon. Despite Verilog’s centrality in hardware development, its semantics is surprisingly poorly understood and the language is known for its many quirks. My recent … full description “Multiverse Debugging for Verilog (available)”