Brussels / 1 & 2 February 2014


Martin Děcký

Martin is a life-long operating systems enthusiast and a passionate programmer, enjoying everything from bare metal programming and fixing bugs in the Linux kernel to designing the HelenOS microkernel operating system and working on its formal verification as a researcher at Charles University in Prague. He has been working on HelenOS since 2004.



Title Day Room Track Start End
Read-Copy-Update for HelenOS Sunday H.2214 Microkernel-based operating systems 15:40 16:25