Personal Information
Unternehmen/Arbeitsplatz
Prague, Czech Republic Czech Republic
Beruf
Senior Research Engineer
Branche
Technology / Software / Internet
Webseite
d3s.mff.cuni.cz/~decky/
Info
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.
Tags
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
Mehr anzeigen
Präsentationen
(13)Personal Information
Unternehmen/Arbeitsplatz
Prague, Czech Republic Czech Republic
Beruf
Senior Research Engineer
Branche
Technology / Software / Internet
Webseite
d3s.mff.cuni.cz/~decky/
Info
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.
Tags
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
Mehr anzeigen