Ben Leslie - Research Engineer
Trustworthy Embedded Systems Project
Research Interests
Mr Leslie's primary research interest is increasing the reliability of operating systems by exploring the performance of user-level device drivers. He is also researching the use of existing operating systems on top of the L4 microkernel.
Qualifications
Mr Leslie was awarded a Bachelor of Engineering in Computer Engineering, with first class Honours, at the University of New South Wales in 2002.
Contact Details
| Email: | benno@ok-labs.com |
|---|---|
| Web: | http://www.benno.id.au |
More contact information is available at the ERTOS Contacts page.
Publications
Best Papers
|
 |
Joshua LeVasseur, Volkmar Uhlig, Yaowei Yang, Matthew Chapman, Peter Chubb, Ben Leslie and Gernot Heiser Pre-virtualization: Soft layering for virtual machines Proceedings of the 13th IEEE Asia-Pacific Computer Systems Architecture Conference, Hsinchu, Taiwan, August, 2008 Best Paper Award! |
NICTA Papers
2010
|
|
|
Gernot Heiser and Ben Leslie The OKL4 Microvisor: Convergence point of microkernels and hypervisors Proceedings of the 1st Asia-Pacific Workshop on Systems, New Delhi, India, August, 2010 |
2008
|
|
|
Joshua LeVasseur, Volkmar Uhlig, Yaowei Yang, Matthew Chapman, Peter Chubb, Ben Leslie and Gernot Heiser Pre-virtualization: Soft layering for virtual machines Proceedings of the 13th IEEE Asia-Pacific Computer Systems Architecture Conference, Hsinchu, Taiwan, August, 2008 Best Paper Award! |
2006
|
|
|
Ben Leslie GrailOS: A micro-kernel based, multi-server, multi-personality operating system Proceedings of the 2nd International Workshop on Object Systems and Software Architectures , Victor Harbor, South Australia, Australia, January, 2006 |
2005
|
|
|
Joshua LeVasseur, Volkmar Uhlig, Matthew Chapman, Peter Chubb, Ben Leslie and Gernot Heiser Pre-virtualization: Slashing the cost of virtualization Technical Report PA005520, NICTA, October, 2005 |
|
|
 |
Ben Leslie, Peter Chubb, Nicholas Fitzroy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yueting (Rita) Shen, Kevin Elphinstone and Gernot Heiser User-level device drivers: Achieved performance Journal of Computer Science and Technology, 20(5), 654–664, (September, 2005) See TR PA005043 for a preprint |
|
|
|
Ben Leslie, Peter Chubb, Nicholas FitzRoy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yueting (Rita) Shen, Kevin Elphinstone and Gernot Heiser User-level device drivers: Achieved performance Technical Report PA005043, NICTA, July, 2005 |
|
|
|
Ben Leslie, Carl van Schaik and Gernot Heiser Wombat: A portable user-mode Linux for embedded systems Proceedings of the 6th Linux.Conf.Au, Canberra, April, 2005 |
2004
|
|
 |
Ben Leslie, Nicholas FitzRoy-Dale and Gernot Heiser Encapsulated user-level device drivers in the Mungi operating system Proceedings of the Workshop on Object Systems and Software Architectures 2004, Victor Harbor, South Australia, Australia, January, 2004 |
|
|
|
Daniel Potts, Charles Gray, Ben Leslie and Gernot Heiser A secure, language independent, high performance component interface Proceedings of the Workshop on Object Systems and Software Architectures 2004, Victor Harbor, South Australia, January, 2004 |
2003
|
|
|
Ben Leslie and Gernot Heiser Towards untrusted device drivers Technical Report UNSW-CSE-TR-0303, School of Computer Science and Engineering, March, 2003 |