Martin Děcký
16
Abonné
Personal Information
Entreprise/Lieu de travail
Prague, Czech Republic Czech Republic
Profession
Senior Research Engineer
Secteur d’activité
Technology / Software / Internet
Site Web
d3s.mff.cuni.cz/~decky/
À propos
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.
Mots-clés
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
Tout plus
- Présentations
- Documents
- Infographies