FOSDEM 2014: Read-Copy-Update for HelenOS
FOSDEM 2013: Operating Systems Hot Topics
What Could Microkernels Learn from Monolithic Kernels (and Vice Versa)