Kent is 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.
|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
|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