Martin Děcký
13 SlideShares 16 Seguidores 3 Seguindos
Personal Information
Organização/Local de trabalho
Prague, Czech Republic Czech Republic
Cargo
Senior Research Engineer
Setor
Technology / Software / Internet
Site
d3s.mff.cuni.cz/~decky/
Sobre
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.
Detalhes do contato
Marcadores
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 mais

Apresentações

(13)
Ver tudo

HelenOS: State of the Union 2012

Há 11 anos • 524 Visualizações

FOSDEM 2013: Operating Systems Hot Topics

Há 10 anos • 683 Visualizações

FOSDEM 2014: Read-Copy-Update for HelenOS

Há 10 anos • 809 Visualizações

What Could Microkernels Learn from Monolithic Kernels (and Vice Versa)

Há 9 anos • 579 Visualizações

Porting HelenOS to RISC-V

Há 8 anos • 2046 Visualizações

Nízkoúrovňové programování

Há 8 anos • 546 Visualizações

Code Instrumentation, Dynamic Tracing

Há 7 anos • 508 Visualizações

Unikernels, Multikernels, Virtual Machine-based Kernels

Há 7 anos • 984 Visualizações

IPC in Microkernel Systems, Capabilities

Há 7 anos • 1955 Visualizações

Formal Verification of Functional Code

Há 7 anos • 1326 Visualizações

Microkernels in the Era of Data-Centric Computing

Há 6 anos • 453 Visualizações

Lessons Learned from Porting HelenOS to RISC-V

Há 5 anos • 530 Visualizações

Hardware/Software Co-Design for Efficient Microkernel Execution

Há 5 anos • 832 Visualizações
Personal Information
Organização/Local de trabalho
Prague, Czech Republic Czech Republic
Cargo
Senior Research Engineer
Setor
Technology / Software / Internet
Site
d3s.mff.cuni.cz/~decky/
Sobre
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.
Marcadores
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 mais