Brussels / 2 & 3 February 2019

schedule

Martin Děcký

Photo of 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 multiserver operating system and working on its verification of correctness. After spending 10 years in academia as a computer science researcher at Charles University, Prague, Czech Republic, he switched to a role of research engineer at Huawei Technologies, Munich, Germany in 2017. He has been working on HelenOS since 2004.

Brief biography: contributing to HelenOS since 2004, MSc. in computer science (software systems) in 2006, computer science researcher since 2008, Ph.D. in computer science (software systems) in 2015, research engineer at Huawei Technologies since 2017, Google Summer of Code organization administrator in 2011, 2012, 2014 and 2017


Events

Title Day Room Track Start End
Lessons learned from porting HelenOS to RISC-V
Pros and cons of RISC-V from a microkernel OS point of view
Saturday AW1.126 RISC-V 15:30 16:15
Hardware/Software Co-Design for Efficient Microkernel Execution Sunday AW1.121 Microkernels and Component-based OS 13:45 14:20