Brussels / 31 January & 1 February 2015

schedule

Microkernels devroom

Room: K.3.201
Calendar: iCal, xCal


09 10 11 12 13 14 15 16 17 18
Sunday Introduction seL4: Present and Future A dedicated kernel named TORO The FLK project
Security by the language, no MMU, no processes		 Along the GNU Hurd RPC way
A starting guide to contributing to the GNU Hurd		 Networking (lunch) Autopsy of a multiserver deadlock in the HelenOS filesystem layer Facing the Reality: What's new in the L4Re Operating System What Could Microkernels Learn from Monolithic Kernels (and Vice Versa) Introducing a radically componentized GUI architecture Cloud services on top of uKernel
Event Speakers Start End

Sunday
  Introduction Vasily A. Sartakov 09:00 09:10
  seL4: Present and Future Gernot Heiser 09:10 10:00
  A dedicated kernel named TORO Matias Vara 10:00 11:00
  The FLK project
Security by the language, no MMU, no processes		 José Bollo 11:00 11:30
  Along the GNU Hurd RPC way
A starting guide to contributing to the GNU Hurd		 Samuel Thibault 11:30 12:30
  Networking (lunch) 12:30 13:00
  Autopsy of a multiserver deadlock in the HelenOS filesystem layer Jakub Jermář 13:00 13:45
  Facing the Reality: What's new in the L4Re Operating System Adam Lackorzynski 13:45 14:30
  What Could Microkernels Learn from Monolithic Kernels (and Vice Versa) Martin Děcký 14:30 15:20
  Introducing a radically componentized GUI architecture Norman Feske 15:30 16:15
  Cloud services on top of uKernel Vasily A. Sartakov 16:15 16:35