Hesham left the TS group in 2018 to go to Cambridge University for further study. His work while here, and before joining the group, was mostly around the RISC-V port of seL4.
- seL4 ARM SMP - Standard seL4 Benchmark API - RISC-V seL4 port (side project)
MSc by Research - University of York
|Anna Lyons, Kent Mcleod, Hesham Almatary and Gernot Heiser|
Scheduling-context capabilities: A principled, light-weight OS mechanism for managing time
EuroSys Conference, Porto, Portugal, April, 2018