Operating Systems Kernel Engineering

Research Frontiers in Kernel Reactive System Support and Observable Semantics

Design of kernel abstractions for reactive systems with observable semantics and efficient implementation of push-based data flows.

All Operating Systems & Kernel Engineering PhD categories