Kent McLeod

According to our database, Kent McLeod authored at least 3 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Model-driven development for the seL4 microkernel using the HAMR framework.

Jason Belt, John Hatcliff, Robby, John Shackleton, Jim Carciofini, Todd Carpenter, Eric Mercer, Isaac Amundson, Junaid Babar, Darren D. Cofer, David S. Hardin, Karl Hoech, Konrad Slind, Ihor Kuz, Kent McLeod

J. Syst. Archit., 2023

2018

Scheduling-context capabilities: a principled, light-weight operating-system mechanism for managing time.

Anna Lyons, Kent McLeod, Hesham Almatary, Gernot Heiser

Proceedings of the Thirteenth EuroSys Conference, 2018

2017

A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4.

Kevin Elphinstone, Amirreza Zarrabi, Kent McLeod, Gernot Heiser

Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, September 2, 2017, 2017