What is a Real-Time Operating System (RTOS), and what does “real-time” mean anyway? What are the various kinds of state machines, and how to code them efficiently in C? What is object-oriented ...

This course provides an overview of System Programming for the Linux operating system, or software which is interfacing directly with the Linux Kernel and C library. The basic components of a Linux ...

Fundamentals of computer systems programming, machine organization, and performance tuning. This course provides a solid background in systems programming and a deep understanding of low-level machine ...

Microsoft has explained why it's pursuing 'safe systems programming' through efforts like its experimental Rust-inspired Project Verona language and its exploration of the Rust programming language ...

This course provides an introduction to Kernel programming for the Linux operating system, and the development of Linux kernel drivers for Embedded devices. The Yocto build system is introduced, which ...

This installment starts a new segment of lessons about state machines. The subject conceptually continues the event-driven theme and is one of my favorites [1,2]. Today, you’ll learn what event-driven ...

For his doctoral thesis, in which Jung established the first formal foundations for safe systems programming in Rust, he has now received several internationally renowned awards. Ralf Jung is a ...