Kent Mcleod
Research Engineer
Research Interests
Kent worked on many low-level systems projects, including rump kernels on seL4. He now works at Kry10.
Contact Details
| Email: | kentm@trustworthy.systems |
|---|
More contact information is available at the Contact page.
Kent was an operating systems engineer in the Trustworthy Systems group of Data61.
His interests include Systems engineering and how using different operating system architectures can help construct trustworthy applications. He has previously worked on efficient reuse of existing operating system services in alternative operating environments. In the near future he is interested in finding out how better temporal and spatial isolation can be used to build useful mixed-criticality trustworthy systems.
Kent worked at NICTA before it merged CSIRO to form Data61. He accidentally discovered his enjoyment of operating systems while taking the Advanced operating systems course at UNSW where he got the chance to write a POSIX-like operating system in Rust on the seL4 microkernel. He was then inspired to pick an Honours thesis topic with the Trustworthy Systems group about reusing existing operating system components on the seL4 trusted-computing platform.
Projects
Past |
Publications
Best Papers
|
 |
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 |
Trustworthy Systems Group Papers
2018
|
|
|
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 |
2017
|
|
|
Kevin Elphinstone, Amirreza Zarrabi, Kent Mcleod and Gernot Heiser A performance evaluation of rump kernels as a multi-server OS building block on seL4 Asia-Pacific Workshop on Systems (APSys), India, September, 2017 |