1957 (age 52–53)
|Occupation||Professor, research group leader, Chief Technology Officer|
|Employer||University of New South Wales, NICTA, Open Kernel Labs|
|Known for||Operating Systems teaching, research and commercialisation|
Gernot Heiser (born 1957) is the John Lions professor for operating systems at the University of New South Wales (UNSW). He is also leader of the Embedded, Real-Time and Operating Systems (ERTOS) research program at NICTA. Recently he has founded a company called Open Kernel Labs (OK Labs) where he serves as Chief Technology Officer.
Heiser's research focuses on microkernels and microkernel-based systemsas well as virtual machines, with a specific emphasis on performanceand reliability.
His group produced the Mungi single address space operating system,aimed at clusters of 64-bit computers, andimplementations of the L4 microkernel with very fast inter-process communication. His Gelato@UNSW team was a foundingmember of the Gelato Federation, and focused on performance andscalability of Linux on Itanium. They established theoretical andpractical performance limits of message-passing IPC on Itanium.
Since joining NICTA at its creation in 2002, his research shiftedaway from high-end computing platforms towards embedded systems, withthe specific aim of improving security, safety andreliability via the use of microkernel technology.This lead to the development of a new microkernel calledseL4, and itsformal verification,claimed to be the first-ever complete proof of the functionalcorrectness of a general-purpose OS kernel.
His work on virtualization was motivated by the need to provide acomplete OS environment on his microkernels. His Wombat projectfollowed the approach taken with theL4Linux project atDresden, but was amulti-architecture paravirtualized Linuxrunning on x86, ARM and MIPS hardware. The Wombat work later formed the basis for the OKL4 hypervisor of his company Open Kernel Labs.
The desire to reduce the engineering effort of paravirtualizationlead to the development ofthe soft layering approach of automated paravirtulization whichwas demonstrated on x86 and Itanium hardware.His vNUMA work demonstrated a hypervisor which presents a distributed system as ashared-memory multiprocessor as a possible model for many-core chipswith large numbers of processor cores.
Device drivers are another focus of his work, including the firstdemonstration of user-mode drivers with a performance overhead of lessthan 10%,an approach to driver development that eliminates the majority oftypical driver bugs by design,and a demonstration of the feasibility of the automatic generation ofdevice drivers from formal specifications.Recent research also includes power management.
- seL4 3rd-generation microkernel
- L4.verified formal verification of seL4
- Dingo and Termite frameworks for reliable device drivers
- Koala framework for OS-level energy management
- vNUMA, a hypervisor providing shared virtual memory on a cluster
- Mungi and Iguana single address space operating systems
- Wombat portable Linux on L4 microkernel
- Gelato@UNSW performance and scalability of Linux on Itanium
- L4/MIPS 64-bit L4 microkernel on MIPS architecture
- Advanced Operating Systems at UNSW
- NSW Scientist of the Year 2009 Category Engineering, Mathematics and Computer Sciences
- Best Paper at the 22nd ACM SIGOPS Symposium on Operating Systems Principles, 2009
- Best Paper at the 13th IEEE Asia-Pacific Computer Systems Architecture Conference, 2008
- Best Student Paper at the 2005 USENIX Annual Technical Conference
Publications of Note
- ↑ Heiser, Gernot; Elphinstone, Kevin; Vochteloo, Jerry; Russell, Stephen; Liedtke, Jochen (1998). [Expression error: Missing operand for > "The Mungi Single-Address-Space Operating System"]. Software: Practice and Experience 28: 901–928. doi:10.1002/(SICI)1097-024X(19980725)28:9<901::AID-SPE181>3.0.CO;2-7.
- ↑ Liedtke, Jochen; Elphinstone, Kevin; Schönberg, Sebastian; Härtig, Hermann; Heiser, Gernot; Islam, Nayeem; Jaeger, Trent (May 1997). "Achieved IPC performance (still the foundation for extensibility)". 6th Workshop on Hot Topics in Operating Systems. Cape Cod, MA, USA: IEEE. pp. 28–31. http://ieeexplore.ieee.org/xpl/RecentCon.jsp?punumber=4643.
- ↑ Gray, Charles; Chapman' Matthew; Chubb, Peter; Mosberger-Tang, David; Heiser, Gernot (April 2005). "Itanium — a system implementor's tale". Proceedings of the 2005 USENIX Annual Technical Conference. Anaheim, CA, USA.
- ↑ Heiser, Gernot; Elphinstone, Kevin; Kuz, Ihor; Klein, Gerwin; Petters, Stefan M. (July 2007). [Expression error: Missing operand for > "Towards trustworthy computing systems: Taking microkernels to the next level"]. ACM Operating Systems Review 41 (4): 3–11.
- ↑ Klein, Gerwin; Elphinstone, Kevin; Heiser, Gernot; Andronick, June; Cock, David; Derrin, Philip; Elkaduwe, Dhammika; Engelhardt, Kai; Kolanski, Rafal; Norrish, Michael; Sewell, Thomas; Tuch, Harvey; Winwood, Simon (October 2009). "seL4: Formal verification of an OS kernel". 22nd ACM Symposium on Operating System Principles. Big Sky, MT, USA. http://www.sigops.org/sosp/sosp09/papers/klein-sosp09.pdf.
- ↑ LeVasseur, Joshua; Uhlig, Volkmar; Yang, Yaowei; Chapman, Matthew; Chubb, Peter; Leslie, Ben; Heiser, Gernot (August 2008). "Pre-virtualization: Soft layering for virtual machines". 13th IEEE Asia-Pacific Computer Systems Architecture Conference. Hsinchu, Taiwan.
- ↑ Chapman, Matthew; Heiser, Gernot (June 2009). "vNUMA: A virtual shared-memory multiprocessor". USENIX Annual Technical Conference. San Diego, CA, USA.
- ↑ Leslie, Ben; Chubb, Peter; Fitzroy-Dale, Nicholas; Götz, Stefan; Gray, Charles, Macpherson, Luke; Potts, Daniel; Shen, Yueting (Rita); Elphinstone, Kevin; Heiser, Gernot (September 2005). [Expression error: Missing operand for > "User-level device drivers: Achieved performance"]. Journal of Computer Science and Technology 20 (5): 654–664.
- ↑ Ryzhyk, Leonid; Chubb, Peter; Kuz, Ihor; Heiser, Gernot (April 2009). "Dingo: Taming device drivers". 4th EuroSys Conference. Nuremberg, Germany.
- ↑ Ryzhyk, Leonid; Chubb, Peter; Kuz, Ihor; Le Sueur, Etienne; Heiser, Gernot (October 2009). "Automatic device driver synthesis with Termite". 22nd ACM Symposium on Operating System Principles. Big Sky, MT, USA. http://www.sigops.org/sosp/sosp09/papers/ryzhyk-sosp09.pdf.
- ↑ Snowdon, David C.; Le Sueur, Etienne; Petters, Stefan M.; Heiser, Gernot (April 2009). "Koala: A platform for OS-level power management". 4th EuroSys Conference. Nuremberg, Germany.
- ↑ Aberle, Armin G; Altermatt, Pietro P.; Heiser, Gernot; Robinson, Stephen J.; Wang, Aihua; Zhao, Jianhua; Krumbein, Ulrich; Green, Martin A. (1995). [Expression error: Missing operand for > "Limiting loss mechanisms in 23-percent efficient silicon solar cells"]. Journal of Applied Physics 77: 3491–3504.
- Gernot Heiser's home page
- Open Kernel Labs
- Staff page at UNSW
- Bio at OK Labs
- The ERTOS page at NICTA
- Bio at NICTA with full publication list
- Visiting professor at Universität Karlsruhe
|Please help improve this article by expanding it. Further information might be found on the talk page. (December 2009)|