Skip to main content

Hesham Almatary

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
Blog:http://heshamelmatary.blogspot.com.au/

More contact information is available at the Contact page.

Publication List

Projects

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

Qualifications

MSc by Research - University of York

Publications

Data61 Papers

2018

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.