Personal Information
Organización/Lugar de trabajo
Prague, Czech Republic Czech Republic
Ocupación
Senior Research Engineer
Sector
Technology / Software / Internet
Sitio web
d3s.mff.cuni.cz/~decky/
Acerca de
Senior Research Engineer at Huawei Technologies, Central Software Institute, Munich. I am interested in microkernel multiserver operating systems, system-level software design and related areas.
Etiquetas
microkernel
operating systems
helenos microkernel os
co-design
software
hardware
performance
computer architecture
helenos
risc-v
data-centric computing
near-data processing
memory barrier
sel4
mitls
formal methods
functional programming
microkernels
capabilities
ipc
multikernel
multiserver
unikernel
tracing
instrumentation
debugging
profiling
observability
post-mortem analysis
helenos risc-v microkernel os isa
os microkernel monolithic helenos
helenos microkernel os rcu
Ver más
- Presentaciones
- Documentos
- Infografías