Skip to main content

Hesham Almatary
OS Engineer

Research Interests

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.

Contact Details

Mobile: +61 481 847 733

More contact information is available at the Contact page.

Publication List


- seL4 ARM SMP - Standard seL4 Benchmark API - RISC-V seL4 port (side project)


MSc by Research - University of York


Data61 Papers


Abstract PDF 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

Served by Apache on Linux on seL4.