Open Source
Linux Kernel: merged commits, LKML posts, and signed statement
PulseAudio: merged commits, discussion posts, and security assessment
Computer Security: SOHO routers 0-day, and supplier's PSIRT statement
CuteOS: A 64-bit SMP-safe kernel for the PC architecture
Presented talks / Published articles
Linux Plumbers Conference, 2021: Formalizing Kernel Synchronization Primitives with PREEMPT_RT
LWN.net: PipeWire: The Linux audio/video bus
Linux Plumbers Conference, 2023: Standardizing CPUID Data for the Open-source x86 Ecosystem
Embedded World, 2021: Realtime and Graphics – a Contradiction?
Media coverage of earlier work
LWN.net: The seqcount latch lock type
LWN.net: Fixing getrandom()
Linux Magazine, Kernel News: Logging early crashes