LPC2019 - Efficient Userspace Optimistic Spinning Locks

(41:59)

LPC2019 - Formal verification made easy (and fast)!

(1:9:1econd)

LPC2019 - Real Time - MC

(2:55:20)

LPC2019 - Integration of PM-runtime with System-wide Power Management

(44:43)

LPC2019 - Power Management \u0026 Thermal - MC

(2:53:6)

LPC2019 - Deep Argument Inspection and Seccomp

(33:46)

LPC2019 - Utilizing tools made for \

(43:56)

LPC2019 printk Why is it so complicated

(56:56)

LPC2019 - The list is our process: An analysis of the kernel's email-based development process

(46:45)

LPC2019 - CPU controller on a single runqueue

(34:59)

LPC2019 - Challenges of the RDMA subsystem

(40:43)

LPC2019 - Reworking of KVA allocator in Linux kernel

(44:)

LPC2019 - Scaling container policy management with kernel features

(44:9)

LPC2019 - Linux kernel fastboot on the way

(47:52)

Efficient Runtime Verification for the Linux Kernel

(26:30)

LPC2019 - printk: Why is it so complicated?

(56:56)