• ERTOS Home
•  
• News
• Events
• Jobs
• Research
• People
  • Alumni
• Publications
• Software
• Hardware
• Education
• Collaboration and Commercialisation
• Contact
• Search

Gernot Heiser - Senior Principal Researcher & Group Leader

Trustworthy Embedded Systems Project

Research Interests

Gernot's main research interests are in operating systems, especially microkernel-based systems, and their use in embedded systems, OS security and robustness issues, power management and virtualization. Other interests include computer architecture, especially architectural support for operating systems.

NICTA Projects

As the leader of the ERTOS team, Gernot is involved in all projects conducted in the program, and he is responsible for aligning the activities of ERTOS and OK Labs in order to maximise the commercial impact of ERTOS technology.

Collaborations

Gernot's past and present collaborations include academic institutions and companies, particularly:

• IBM T.J. Watson Research Centre
• University of Karlsruhe, Germany
• Dresden University of Technology, Germany
• Department of Defense
• HP Labs
• Intel
• Google
• ETH Zurich
• Qualcomm
• Apple

Career Summary

Gernot joined NICTA as the leader of the ERTOS program at the time of NICTA's creation in late 2002. Prior he has been a member of the academic staff at UNSW since 1991, from 2002 as Professor of Operating Systems, and from January 2009 as the John Lions Chair of Computer Science. He continues to hold his UNSW appointment concurrently with his NICTA position. Since the mid 1990's he has built and led the country's and one of the world's largest and most active operating systems research group. His group built a number of operating systems from scratch, including the Mungi single-address-space operating system and several implementations of the L4 microkernel.

In 2006 Gernot co-founded Open Kernel Labs, a company dedicated to commercializing the L4 microkernel technology and accelerate its development and widespread deployment. He was OK's Chief Technology Officer until mid 2010, and continues to serve on the OK Board.

Previously, Gernot also pioneered, together with members of UNSW's Photovoltaics Special Research Centre, the multi-dimensional modelling of high-efficiency silicon solar cells. He has held visiting positions at the University of Karlsruhe, ETH Zurich, Institute for Solar Energy Research (Hameln, Germany), and Motorola.

Qualifications

Gernot obtained a Bachelor of Science degree in Physics at Freiburg University, Germany in 1981, followed by his Master of Science degree in Physics at Brock University, Canada in 1984. He earned a PhD in Computer Engineering from ETH Zurich, Switzerland in 1991.

Affiliations

Gernot is a Senior Member of the IEEE, its Technical Committee on Operating Systems (TCOS), and the Computer Society and Circuits and Systems Society. He is a Senior Member of the ACM, including SIGOPS and SIGARCH and a member of USENIX and EuroSys.

Program Committees

Gernot served/serves on the program committees of the following major conferences (and a number of non-major conferences and workshops):

• ACM SIGOPS EuroSys: 2008, 2009, 2010, 2011 (Chair)
• Usenix Annual Technical Conference: 2006
• ACM SIGPLAN/SIGOPS Conference on Virtual Execution Environments (VEE): 2007, 2010
• ACM SIGBED EMSOFT Conference: 2006, 2007
• IEEE Real-Time Systems Symposium (RTSS): 2010

Steering Committees

• Asia-Pacific Systems Workshop (APSys)
• Pacific-Rim International Symposium on Dependable
  Computing (PRDC)

Contact Details

More contact information is available at the ERTOS Contacts page.

Publications

• Best Papers
• NICTA Papers
• Non-NICTA Papers
• Invited Talks
• Research Theses Supervised

Best Papers

		Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch and Simon Winwood seL4: Formal verification of an OS kernel Communications of the ACM, 53(6), 107–115, (June, 2010)
		Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch and Simon Winwood seL4: Formal verification of an OS kernel Proceedings of the 22nd ACM Symposium on Operating Systems Principles, Big Sky, MT, USA, October, 2009 Best Paper Award!
		Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur and Gernot Heiser Automatic device driver synthesis with Termite Proceedings of the 22nd ACM Symposium on Operating Systems Principles, Big Sky, MT, USA, October, 2009
		Leonid Ryzhyk, Peter Chubb, Ihor Kuz and Gernot Heiser Dingo: Taming device drivers Proceedings of the 4th EuroSys Conference, Nuremberg, Germany, April, 2009
		David C. Snowdon, Etienne Le Sueur, Stefan M. Petters and Gernot Heiser Koala: A platform for OS-level power management Proceedings of the 4th EuroSys Conference, Nuremberg, Germany, April, 2009
		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!
		Charles Gray, Matthew Chapman, Peter Chubb, David Mosberger-Tang and Gernot Heiser Itanium — a system implementor's tale Proceedings of the 2005 USENIX Annual Technical Conference, Anaheim, CA, USA, April, 2005 Best Student Paper Award!
		Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell and Jochen Liedtke The Mungi single-address-space operating system Software: Practice and Experience, 28(9), 901–928, (July, 1998)

		Andreas Schenk and Gernot Heiser Modeling and simulation of tunneling through ultra-thin gate dielectrics Journal of Applied Physics, 81, 7900–7908, (1997)
		Armin G. Aberle, Pietro P. Altermatt, Gernot Heiser, Stephen J. Robinson, Aihua Wang, Jianhua Zhao, Ulrich Krumbein and Martin A. Green Limiting loss mechanisms in 23-percent efficient silicon solar cells Journal of Applied Physics, 77, 3491–3504, (1995)

NICTA Papers

2010

		Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij and Gernot Heiser Improved device driver reliability through verification reuse Proceedings of the 6th Workshop on Hot Topics in System Dependability, Vancouver, BC, Canada, October, 2010
		Nicholas FitzRoy-Dale, Ihor Kuz and Gernot Heiser Architecture optimisation with Currawong Proceedings of the 1st Asia-Pacific Workshop on Systems, New Delhi, India, August, 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
		Leonid Ryzhyk, Yanjin Zhu and Gernot Heiser The case for active device drivers Proceedings of the 1st Asia-Pacific Workshop on Systems, New Delhi, India, August, 2010
		Aaron Carroll and Gernot Heiser An analysis of power consumption in a smartphone Proceedings of the 2010 USENIX Annual Technical Conference, Boston, MA, USA, June, 2010
		Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch and Simon Winwood seL4: Formal verification of an OS kernel Communications of the ACM, 53(6), 107–115, (June, 2010)

2009

		Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch and Simon Winwood seL4: Formal verification of an OS kernel Proceedings of the 22nd ACM Symposium on Operating Systems Principles, Big Sky, MT, USA, October, 2009 Best Paper Award!
		Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur and Gernot Heiser Automatic device driver synthesis with Termite Proceedings of the 22nd ACM Symposium on Operating Systems Principles, Big Sky, MT, USA, October, 2009
		Gernot Heiser Trustworthy ⇐ trusted ⇐ proof—position paper Proceedings of the 1st Conference on Future of Trust in Computing, Berlin, Germany, July, 2009
		Matthew Chapman and Gernot Heiser vNUMA: A virtual shared-memory multiprocessor Proceedings of the 2009 USENIX Annual Technical Conference, San Diego, CA, USA, June, 2009
		Leonid Ryzhyk, Peter Chubb, Ihor Kuz and Gernot Heiser Dingo: Taming device drivers Proceedings of the 4th EuroSys Conference, Nuremberg, Germany, April, 2009
		David C. Snowdon, Etienne Le Sueur, Stefan M. Petters and Gernot Heiser Koala: A platform for OS-level power management Proceedings of the 4th EuroSys Conference, Nuremberg, Germany, April, 2009
		Gernot Heiser Many-core chips — a case for virtual shared memory Proceedings of the 2nd Workshop on Managed Many-Core Systems, Washington, DC, USA, March, 2009
		Gernot Heiser Hypervisors for consumer electronics Proceedings of the 6th IEEE Consumer Communications and Networking Conference, Las Vegas, NV, USA, January, 2009

2008

		André Hergenhan and Gernot Heiser Operating systems technology for converged ECUs 6th Embedded Security in Cars Conference (escar), Hamburg, Germany, November, 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!
		Gernot Heiser The role of virtualization in embedded systems 1st Workshop on Isolation and Integration in Embedded Systems, Glasgow, UK, April, 2008
		Gernot Heiser Do microkernels suck? 9th Linux.Conf.Au, Melbourne, January, 2008

2007

		Gernot Heiser Your system is secure? Prove it! USENIX ;login:, 32(6), 35–38, (December, 2007)
		Leonid Ryzhyk, Ihor Kuz and Gernot Heiser Formalising device driver interfaces Proceedings of the 4th Workshop on Programming Languages and Operating Systems, Stevenson, Washington, USA, October, 2007
		David C. Snowdon, Stefan M. Petters and Gernot Heiser Accurate on-line prediction of processor and memory energy usage under voltage scaling Proceedings of the 7th International Conference on Embedded Software, Salzburg, Austria, October, 2007
		Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein and Stefan M. Petters Towards trustworthy computing systems: Taking microkernels to the next level ACM Operating Systems Review, 41(4), 3–11, (July, 2007)
		Stefan M. Petters, Patryk Zadarnowski and Gernot Heiser Measurements or static analysis or both? Proceedings of the 7th Workshop on Worst-Case Execution-Time Analysis, Pisa, Italy, July, 2007
		David C. Snowdon, Godfrey van der Linden, Stefan M. Petters and Gernot Heiser Accurate run-time prediction of performance degradation under frequency scaling Proceedings of the 3rd Workshop on Operating System Platforms for Embedded Real-Time Applications, Pisa, Italy, July, 2007
		Andrew Baumann, Jonathan Appavoo, Robert W. Wisniewski, Dilma Da Silva, Orran Krieger and Gernot Heiser Reboots are for hardware: Challenges and solutions to updating an operating system on the fly Proceedings of the 2007 USENIX Annual Technical Conference, Santa Clara, CA, USA, June, 2007
		Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe and Gernot Heiser Towards a practical, verified kernel Proceedings of the 11th Workshop on Hot Topics in Operating Systems, San Diego, CA, USA, May, 2007
		Gerwin Klein, Michael Norrish, Kevin Elphinstone and Gernot Heiser Verifying a high-performance micro-kernel 7th Annual High-Confidence Software and Systems Conference, Baltimore, MD, USA, May, 2007
		Ihor Kuz, Yan Liu, Ian Gorton and Gernot Heiser CAmkES: A component model for secure microkernel-based embedded systems Journal of Systems and Software Special Edition on Component-Based Software Engineering of Trustworthy Embedded Systems, 80(5), 687–699, (May, 2007) Preprint
		Timothy Roscoe, Kevin Elphinstone and Gernot Heiser Hype and virtue Proceedings of the 11th Workshop on Hot Topics in Operating Systems, San Diego, CA, USA, May, 2007
		Carl van Schaik and Gernot Heiser High-performance microkernels and virtualisation on ARM and segmented architectures Proceedings of the 1st International Workshop on Microkernels for Embedded Systems, Sydney, Australia, January, 2007

2006

		Stefan Schaefer, Bernhard Scholz, Stefan M. Petters and Gernot Heiser Static analysis support for measurement-based WCET analysis 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Work-in-Progress Session, Sydney, Australia, August, 2006
		Gernot Heiser, Volkmar Uhlig and Joshua LeVasseur Are virtual-machine monitors microkernels done right? ACM Operating Systems Review, 40(1), 95–99, (January, 2006)

2005

		Gernot Heiser Secure embedded systems need microkernels USENIX ;login:, 30(6), 9–13, (December, 2005)
		Kevin Elphinstone, Gernot Heiser, Ralf Huuck, Stefan M. Petters and Sergio Ruocco L4cars 3rd Embedded Security in Cars Conference (escar), Cologne, Germany, November, 2005
		Gernot Heiser, Volkmar Uhlig and Joshua LeVasseur Are virtual-machine monitors microkernels done right? Technical Report PA005103, NICTA, October, 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
		David C. Snowdon, Sergio Ruocco and Gernot Heiser Power management and dynamic voltage scaling: Myths and facts Proceedings of the 2005 Workshop on Power Aware Real-time Computing, New Jersey, USA, September, 2005 Preliminary workshop version
		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
		David C. Snowdon, Stefan M. Petters and Gernot Heiser Power measurement as the basis for power management Proceedings of the 1st Workshop on Operating System Platforms for Embedded Real-Time Applications, Palma, Mallorca, Spain, July, 2005
		Harvey Tuch, Gerwin Klein and Gernot Heiser OS verification — now! Proceedings of the 10th Workshop on Hot Topics in Operating Systems, Santa Fe, NM, USA, June, 2005
		Andrew Baumann, Gernot Heiser, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, Robert W. Wisniewski and Jeremy Kerr Providing dynamic update in an operating system Proceedings of the 2005 USENIX Annual Technical Conference, Anaheim, CA, USA, April, 2005
		Matthew Chapman and Gernot Heiser Implementing transparent shared memory on clusters using virtual machines Proceedings of the 2005 USENIX Annual Technical Conference, Anaheim, CA, USA, April, 2005
		Charles Gray, Matthew Chapman, Peter Chubb, David Mosberger-Tang and Gernot Heiser Itanium — a system implementor's tale Proceedings of the 2005 USENIX Annual Technical Conference, Anaheim, CA, USA, April, 2005 Best Student Paper Award!
		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

		Frank Engel, Gernot Heiser, Peter Mumford, Kevin Parkinson and Chris Rizos An open GNSS receiver platform architecture International Symposium on GNSS/GPS, Sydney, Australia, December, 2004
		Frank Engel, Gernot Heiser, Ihor Kuz, Stefan M. Petters and Sergio Ruocco Operating systems on SoCs: A good idea? Embedded Real-Time Systems Implementation (ERTSI 2004) Workshop, Lisbon, Portugal, December, 2004
		Luke Macpherson and Gernot Heiser Maintaining end-system performance under network overload Technical Report UNSW-CSE-TR-0412, School of Computer Science and Engineering, March, 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

		Christan Szmajda and Gernot Heiser Generalised radix page table: A page table for modern architectures Proceedings of the 8th Asia-Pacific Computer Systems Architecture Conference, Aizu-Wakamatsu City, Japan, September, 2003
		Adam Wiggins, Harvey Tuch, Volkmar Uhlig and Gernot Heiser Implementation of fast address-space switching and TLB sharing on the StrongARM processor Proceedings of the 8th Asia-Pacific Computer Systems Architecture Conference, Aizu-Wakamatsu City, Japan, September, 2003
		Adam Wiggins, Simon Winwood, Harvey Tuch and Gernot Heiser Legba: Fast hardware support for fine-grained protection Proceedings of the 8th Asia-Pacific Computer Systems Architecture Conference, Aizu-Wakamatsu City, Japan, September, 2003
		Matthew Chapman, Ian Wienand and Gernot Heiser Itanium page tables and TLB Technical Report UNSW-CSE-TR-0307, School of Computer Science and Engineering, May, 2003
		Ben Leslie and Gernot Heiser Towards untrusted device drivers Technical Report UNSW-CSE-TR-0303, School of Computer Science and Engineering, March, 2003

2002

		Shane Stephens and Gernot Heiser Fault tolerance and avoidance in biomedical systems Proceedings of the 10th SIGOPS European Workshop, St Emilion, France, September, 2002
		Daniel Potts, Simon Winwood and Gernot Heiser Design and implementation of the L4 microkernel for Alpha multiprocessors Technical Report UNSW-CSE-TR-0201, School of Computer Science and Engineering, February, 2002
		Kingsley Cheung and Gernot Heiser A resource management framework for priority-based physical-memory allocation Proceedings of the 7th Asia-Pacific Computer Systems Architecture Conference, Monash University, Melbourne, Australia, January, 2002
		Volkmar Uhlig, Uwe Dannowski, Espen Skoglund, Andreas Haeberlen and Gernot Heiser Performance of address-space multiplexing on the Pentium Technical Report 2002-1, Computer Science Department, University of Karlsruhe, 2002

2001

		Gernot Heiser Dealing with TLB tags 2nd Workshop on Microkernels and Microkernel-based Systems, Lake Louise, Alta, Canada, October, 2001
		Antony Edwards and Gernot Heiser Secure OS extensibility needn't cost an arm and a leg Proceedings of the 8th Workshop on Hot Topics in Operating Systems, Schloss Elmau, Germany, May, 2001
		Antony Edwards and Gernot Heiser A component architecture for system extensibility Technical Report UNSW-CSE-TR-0103, School of Computer Science and Engineering, March, 2001
		Daniel Potts, Simon Winwood and Gernot Heiser L4 reference manual: Alpha 21x64 Technical Report UNSW-CSE-TR-0104, School of Computer Science and Engineering, March, 2001
		Alan Au and Gernot Heiser Enhancing IA64 memory management Proceedings of the 2nd Linux.Conf.Au, Sydney, Australia, January, 2001
		Antony Edwards and Gernot Heiser Components + Security = OS Extensibility Proceedings of the 6th Australasian Computer Systems Architecture Conference, Gold Coast, Australia, January, 2001
		Gernot Heiser Inside L4/MIPS: Anatomy of a high-performance microkernel University of NSW, Sydney 2052, Australia, January, 2001

2000

Adam Wiggins and Gernot Heiser Fast address-space switching on the StrongARM SA-1100 processor Proceedings of the 5th Australasian Computer Architecture Conference, Canberra, Australia, January, 2000

1999

		Adam Wiggins and Gernot Heiser Fast address-space switching on the StrongARM SA-1100 processor Technical Report UNSW-CSE-TR-9906, School of Computer Science and Engineering, July, 1999
		Luke Deller and Gernot Heiser Linking programs in a single address space Proceedings of the 1999 USENIX Annual Technical Conference, Monterey, Ca, USA, June, 1999
		Kevin Elphinstone, Gernot Heiser and Jochen Liedtke Page tables for 64-bit computer systems Proceedings of the 4th Australasian Computer Architecture Conference, Auckland, New Zealand, January, 1999

1998

		Kevin Elphinstone, Gernot Heiser and Jochen Liedtke Page tables for 64-bit computer systems Technical Report UNSW-CSE-TR-9804, School of Computer Science and Engineering, August, 1998
		Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell and Jochen Liedtke The Mungi single-address-space operating system Software: Practice and Experience, 28(9), 901–928, (July, 1998)
		Alan Au and Gernot Heiser L4 User Manual — version 1.0 Technical Report UNSW-CSE-TR-9801, School of Computer Science and Engineering, April, 1998
		Gernot Heiser, Fondy Lam and Stephen Russell Resource management in the Mungi single-address-space operating system Proceedings of the 21st Australasian Computer Science Conference, Perth, Australia, February, 1998

1997

		Kevin Elphinstone, Gernot Heiser and Jochen Liedtke L4 reference manual – MIPS R4x00 — Version 1.0 Technical Report UNSW-CSE-TR-9709, School of Computer Science and Engineering, December, 1997
		Gernot Heiser, Fondy Lam and Stephen Russell Resource management in the Mungi single-address-space operating system Technical Report UNSW-CSE-TR-9705, University of NSW, August, 1997
		Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell and Jochen Liedtke Implementation and performance of the Mungi single-address-space operating system Technical Report UNSW-CSE-TR-9704, University of NSW, June, 1997
		Jochen Liedtke, Kevin Elphinstone, Sebastian Schönberg, Herrman Härtig, Gernot Heiser, Nayeem Islam and Trent Jaeger Achieved IPC performance (still the foundation for extensibility) Proceedings of the 6th Workshop on Hot Topics in Operating Systems, Cape Cod, MA, USA, May, 1997
		Gernot Heiser, Jerry Vochteloo, Kevin Elphinstone and Stephen Russell The Mungi kernel API/Release 1.0 Technical Report UNSW-CSE-TR-9701, School of Computer Science and Engineering, March, 1997

1996

		Jerry Vochteloo, Kevin Elphinstone, Stephen Russell and Gernot Heiser Protection domain extensions in Mungi Proceedings of the 5th IEEE International Workshop on Object Orientation in Operating Systems, Seattle, WA, USA, October, 1996
		Jinsong Ouyang and Gernot Heiser Libra: A library for reliable distributed applications International Conference on Parallel and Distributed Processing Techniques and Applications, Sunnyvale, CA, USA, August, 1996
		Kevin Elphinstone, Stephen Russell, Gernot Heiser and Jochen Liedtke Supporting persistent object systems in a single address space Proceedings of the 7th International Workshop on Persistent Object Systems, Cape May, NJ, USA, May, 1996
		Kevin Elphinstone, Stephen Russell, Gernot Heiser and Jochen Liedtke Supporting persistent object systems in a single address space Technical Report UNSW-CSE-TR-9601, University of NSW, February, 1996

1995

		Tim Wilkinson, Kevin Murray, Stephen Russell, Gernot Heiser and Jochen Liedtke Single address space operating systems Technical Report UNSW-CSE-TR-9504, University of NSW, November, 1995
		Jinsong Ouyang and Gernot Heiser Checkpointing and recovery for distributed shared memory applications Technical Report UNSW-CSE-TR-9502, University of NSW, September, 1995

1994

		Kevin Elphinstone, Stephen Russell and Gernot Heiser Issues in implementing virtual memory Technical Report UNSW-CSE-TR-9411, School of Computer Science and Engineering, September, 1994
		Gernot Heiser, Kevin Elphinstone, Stephen Russell and Jerry Vochteloo Mungi: A distributed single-address-space operating system Proceedings of the 17th Australasian Computer Science Conference, Christchurch, New Zealand, January, 1994

1993

		Jerry Vochteloo, Stephen Russell and Gernot Heiser Capability-based protection in the Mungi operating system Proceedings of the 3rd IEEE International Workshop on Object Orientation in Operating Systems, Asheville, NC, USA, December, 1993
		Gernot Heiser, Kevin Elphinstone, Stephen Russell and Jerry Vochteloo Mungi: A distributed single address-space operating system Technical Report UNSW-CSE-TR-9314, School of Computer Science and Engineering, November, 1993
		Gernot Heiser, Kevin Elphinstone, Stephen Russell and Graham R. Hellestrand A distributed single address space system supporting persistence Technical Report UNSW-CSE-TR-9302, University of NSW, March, 1993
		Jerry Vochteloo, Stephen Russell and Gernot Heiser Capability based protection in a persistent global virtual memory system Technical Report UNSW-CSE-TR-9303, University of NSW, March, 1993

1992

Stephen Russell, Alan Skea, Kevin Elphinstone, Gernot Heiser, Keith Burston, Ian Gorton and Graham Hellestrand Distribution + persistence = global virtual memory Proceedings of the 2nd IEEE International Workshop on Object Orientation in Operating Systems, Dourdan, France, September, 1992

Non-NICTA Papers

2006

		Pietro P. Altermatt, Andreas Schenk and Gernot Heiser A simulation model for the density of states and for incomplete ionization in crystalline silicon. I. Establishing the model in Si:P Journal of Applied Physics, 100, 113714-10, (2006)
		Pietro P. Altermatt, Andreas Schenk, Bernd Schmithüsen and Gernot Heiser A simulation model for the density of states and for incomplete ionization in crystalline silicon. II. Investigation of Si: As and Si Journal of Applied Physics, 100, 113715-7, (2006)

2003

Pietro P. Altermatt, Andreas Schenk, Frank Geelhaar and Gernot Heiser Reassessment of the intrinsic carrier density in crystalline silicon in view of band-gap narrowing Journal of Applied Physics, 93, 1598–1604, (2003)

2002

		Pietro P. Altermatt, Armin G. Aberle, Aihua Wang Jianhua Zhao and Gernot Heiser A numerical model of p-n junctions bordering on surfaces Solar Energy Materials and Solar Cells, 74, 165–174, (2002)
		Pietro P. Altermatt and Gernot Heiser Development of a three-dimensional numerical model of grain boundaries in highly doped polycrystalline silicon and applications to solar cells Journal of Applied Physics, 91, 4271–4274, (2002)
		Pietro P. Altermatt and Gernot Heiser Predicted electronic properties of polycrystalline silicon from three-dimensional device modeling combined with defect-pool model Journal of Applied Physics, 92, 2561–2571, (2002)
		Pietro P. Altermatt, Jürgen O. Schumacher, Andres Cuevas, Mark J. Kerr, Stefan W. Glunz, Richard R. King, Gernot Heiser and Andreas Schenk Numerical modeling of highly doped si: P emitters based on fermidirac statistics and self-consistent material parameters Journal of Applied Physics, 92, 3187–3197, (2002)

2001

		Pietro P. Altermatt, Ronald A. Sinton and Gernot Heiser Improvements in numerical modelling of highly injected crystalline silicon solar cells Solar Energy Materials and Solar Cells, 65, 95-103, (2001)
		Richard Corkish, Pietro P. Altermatt and Gernot Heiser Numerical simulation of electron-beam-induced current near a silicon grain boundary and impact of a p-n junction space charge region Solar Energy Materials and Solar Cells, 65, 63–65, (2001)
		Jürgen Schumacher, Pietro P. Altermatt, Gernot Heiser and Armin G. Aberle Application of an improved band-gap narrowing model to the numerical simulation of recombination properties of phosphorus-doped silicon emitters Solar Energy Materials and Solar Cells, 65, 95–103, (2001)

2000

		Pietro P. Altermatt, Jürgen O. Schumacher, Andres Cuevas, Stephen W. Glunz, Richard R. King, Gernot Heiser and Andreas Schenk The extraction of the surface recombination velocity of Si: P emitters using advanced silicon models Proceedings of the 16th European Photovoltaic Solar Energy Conference, Glasgow, UK, May, 2000
		Pietro P. Altermatt, Jan Schmidt, M. Kerr, Gernot Heiser and Armin G. Aberle Exciton-enhanced Auger recombination in crystalline silicon under intermediate and high injection conditions Proceedings of the 16th European Photovoltaic Solar Energy Conference, Glasgow, UK, May, 2000
		Richard Corkish, Keung L. Luke, Pietro P. Altermatt and Gernot Heiser Simulating electron-beam-induced current profiles across p-n junctions Proceedings of the 16th European Photovoltaic Solar Energy Conference, Glasgow, UK, May, 2000
		Keith R. McIntosh, Pietro P. Altermatt and Gernot Heiser Depletion region recombination in solar cells: When does m = 2 Proceedings of the 16th European Photovoltaic Solar Energy Conference, Glasgow, UK, May, 2000
		Burkhard Kuhlmann, Armin G. Aberle, Rudolf Hezel and Gernot Heiser Simulation and optimization of metal-insulator-semiconductor inversion-layer silicon solar cells IEEE Transactions on Electron Devices, 47, 2167-2178, (2000)

1999

		Pietro P. Altermatt, Andreas Schenk, Martin A. Green and Gernot Heiser The influence of a new bandgap narrowing model on measurements of the intrinsic carrier density in crystalline silicon 11th International Photovoltaic Science and Engineering Conference Digest of Technical Papers, Sapporo, Japan, September, 1999
		Pietro P. Altermatt, Ronald A. Sinton and Gernot Heiser Improvements in numerical modelling of highly injected crystalline silicon solar cells 11th International Photovoltaic Science and Engineering Conference Digest of Technical Papers, Sapporo, Japan, September, 1999
		Richard Corkish, Pietro P. Altermatt and Gernot Heiser Numerical simulation of electron-beam-induced current near a silicon grain boundary and impact of a p-n junction space charge region 11th International Photovoltaic Science and Engineering Conference Digest of Technical Papers, Sapporo, Japan, September, 1999
		Jürgen O. Schumacher, Pietro P. Altermatt, Gernot Heiser and Armin G. Aberle Application of an improved band gap narrowing model to the numerical simulation of recombination properties of phosphorus doped silicon emitters 11th International Photovoltaic Science and Engineering Conference Digest of Technical Papers, Sapporo, Japan, September, 1999

1998

		Richard Corkish, Keung L. Luke, Alistair Sproul, T. Puzzer, Pietro P. Altermatt and Gernot Heiser Quantitative analysis of electron-beam-induced current profiles of grain boundaries in multicrystalline solar cells 2nd World Conference on Photovoltaic Energy Conversion, Vienna, Austria, June, 1998
		Peter Bradley, Anatoly B. Rosenfeld, K.K. Lee, D.N. Jamieson, Gernot Heiser and S. Satoh Charge collection and radiation hardness of a SOI microdosimeter for medical and space applications IEEE Transactions on Nuclear Science, 45, 2700–2710, (1998)

1997

		Pietro P. Altermatt, Gernot Heiser, Keith McIntosh, Tobias Kiesewetter, Christiana B. Honsberg, Stuart R. Wenham and Martin A. Green Establishing an accurate numerical model for the 2D-simulation of buried contact cells Proceedings of the 26th IEEE Photovoltaic Specialists Conference, Anaheim, CA, USA, September, 1997
		Burkhard Kuhlmann, Armin G. Aberle, Rudolf Hezel and Gernot Heiser Characterization and optimization of the Al/SiOx/p-Si MIS contact in MIS-IL silicon solar cells Proceedings of the 26th IEEE Photovoltaic Specialists Conference, Anaheim, CA, USA, September, 1997
		Burkhard Kuhlmann, Manfred Grauvogl, Rüdiger Meyer, Rudolf Hezel, Gernot Heiser and Armin G. Aberle Fill factor losses in inversion-layer silicon solar cells due to current crowding effects below the MIS contact Proceedings of the 14th European Photovoltaic Solar Energy Conference, Barcelona, Spain, June, 1997
		Pietro P. Altermatt, Jan Schmidt, Gernot Heiser and Armin G. Aberle Assessment and parameterisation of Coulomb-enhanced Auger recombination coefficients in lowly injected crystalline silicon Journal of Applied Physics, 82, 4938–4944, (1997)
		Andreas Schenk and Gernot Heiser Modeling and simulation of tunneling through ultra-thin gate dielectrics Journal of Applied Physics, 81, 7900–7908, (1997)

1996

		Alistair B. Sproul, Sean E. Edmiston, T. Puzzer, G. Heiser, Stuart R. Wenham, Martin A. Green and Trevour Young Grain boundary modeling and characterisation of thin-film silicon solar cells Proceedings of the 25th IEEE Photovoltaic Specialists Conference, Washington, DC, USA, May, 1996
		Pietro P. Altermatt, Gernot Heiser, Armin G. Aberle, Aihua Wang, Jianhua Zhao, Stephen J. Robinson, Stuart Bowden and Martin A. Green Spatially resolved analysis and minimisation of resistive losses in high-efficiency Si solar cells Progress in Photovoltaics, 4, 399–414, (1996)
		Pietro P. Altermatt, Gernot Heiser, Ximing Dai, Jörn Jürgens, Armin G. Aberle, Steve J. Robinson, Trevor Young, Stuart S. Wenham and Martin A. Green Rear surface passivation of high-efficiency silicon solar cells using a floating junction Journal of Applied Physics, 80, 3574–3586, (1996)
		Pietro P. Altermatt, Gernot Heiser and Martin A. Green Numerical quantification and minimization of perimeter losses in high-efficiency silicon solar cells Progress in Photovoltaics, 4, 355–367, (1996)
		Sean Edmiston, Gernot Heiser, Alistair B. Sproul and Martin A. Green Improved modelling of grain boundary recombination in bulk and p-n junction regions of polycrystalline silicon solar cells Journal of Applied Physics, 80, 6783–6795, (1996)
		Stuart R. Wenham, Martin A. Green, Sean Edmiston, Patrick Campbell, Linda Koschier, Christiana B. Honsberg, Alistair B. Sproul, David Thorpe, Zhengrong Shi and Gernot Heiser Limits to the efficiency of silicon multilayer thin film solar cells Solar Energy Materials and Solar Cells, 41/42, 3–17, (1996)

1995

		Pietro P. Altermatt, Gernot Heiser, Jianhua Zhao, Aihua Wang, Stuart R. Wenham and Martin A. Green Analysis and minimisation of resistive losses in high efficiency Si solar cells by combining measurements with numerical modelling Proceedings of the 13th European Photovoltaic Solar Energy Conference, Nice, France, October, 1995
		Gernot Heiser, Pietro P. Altermatt, Aidan Williams, Alistair Sproul and Martin A. Green Optimisation of rear contact geometry of high-efficiency silicon solar cells using three dimensional numerical modelling Proceedings of the 13th European Photovoltaic Solar Energy Conference, Nice, France, October, 1995
		Gernot Heiser, Pietro P. Altermatt and James Litsios Combining 2D and 3D device simulation with circuit simulation for optimising high-efficiency silicon solar cells Proceedings of the 6th International Conference on Simulation of Semiconductor Devices and Processes, Erlangen, Germany, September, 1995
		Armin G. Aberle, Pietro P. Altermatt, Gernot Heiser, Stephen J. Robinson, Aihua Wang, Jianhua Zhao, Ulrich Krumbein and Martin A. Green Limiting loss mechanisms in 23-percent efficient silicon solar cells Journal of Applied Physics, 77, 3491–3504, (1995)
		Gernot Heiser, Armin G. Aberle, Stuart R. Wenham and Martin A. Green Two-dimensional numerical simulations of high-efficiency silicon solar cells Microelectronics Journal, 26(2/3), 273–286, (1995)
		Stephen J. Robinson, Stuart R. Wenham, Pietro P. Altermatt, Armin G. Aberle, G. Heiser and Martin A. Green Recombination rate saturation mechanisms at oxidised surfaces of high-efficiency silicon solar cells Journal of Applied Physics, 78, 4740–4754, (1995)

1994

		Alistair B. Sproul, Sean Edmiston, Stuart R. Wenham, Gernot Heiser and Martin A. Green Innovative structures for thin film crystalline silicon solar cells to give high efficiencies from low quality silicon 1st World Conference on Photovoltaic Energy Conversion, Waikoloa, HI, USA, December, 1994
		Stuart R. Wenham, Martin A. Green, Sean Edmiston, Patrick Campbell, Linda Koschier, Christiana B. Honsberg, Alistair B. Sproul, David Thorpe, Zhengrong Shi and Gernot Heiser Limits to the efficiency of silicon multilayer thin film solar cells 1st World Conference on Photovoltaic Energy Conversion, Waikoloa, HI, USA, December, 1994
		Gernot Heiser and Armin G. Aberle Numerical modelling of non-ideal current-voltage characteristics of high-efficiency silicon solar cells 5th International Workshop on Numerical Modeling of Processes and Devices for Integrated Circuits, Honolulu, HI, USA, June, 1994
		Armin G. Aberle, Gernot Heiser and Martin A. Green Two-dimensional minority carrier flow in high-efficiency silicon solar cells at short-circuit, open-circuit and maximum power point operating conditions Solar Energy Materials and Solar Cells, 34, 149–160, (1994)
		Armin G. Aberle, Gernot Heiser and Martin A. Green Two-dimensional numerical optimisation study of the rear contact geometry of high-efficiency silicon solar cells Journal of Applied Physics, 75(10), 5391–405, (1994)
		Armin G. Aberle, Stuart R. Wenham, Martin A. Green and Gernot Heiser Decreased emitter sheet resistivity loss in high-efficiency silicon solar cells Progress in Photovoltaics, 2, 3–17, (1994)

1993

		Armin G. Aberle, Martin A. Green and Gernot Heiser Two-dimensional minority carrier flow in high-efficiency silicon solar cells at short-circuit, open-circuit and maximum power point operating conditions 7th International Photovoltaic Science and Engineering Conference Digest of Technical Papers, Nagoya, Japan, November, 1993
		Gernot Heiser, Armin G. Aberle, Stuart R. Wenham and Martin A. Green Two-dimensional numerical simulations of high-efficiency silicon solar cells Proceedings of the 5th International Conference on Simulation of Semiconductor Devices and Processes, Vienna, Austria, September, 1993

1991

		Gernot Heiser Design and implementation of a three-dimensional general purpose semiconductor device simulator, PhD Thesis, ETH Zürich, 1991
		Gernot Heiser, Matthew Noell, Steve Poon and Marius Orlowski 3-D simulation of parasitic MOSFET effects for BOX isolation technologies IEEE Transactions on Electron Devices, 38, 2721–2722, (1991)
		Gernot Heiser, Claude Pommerell, Jürgen Weis and Wolfgang Fichtner Large-scale device simulation: Algorithms, computer architectures, results IEEE Transactions on CAD ICAS, 10, 1218–1230, (1991)
		Matthew Noell, Gernot Heiser, Steve Poon and Marius Orlowski Study of 3-D effects in BOX isolation technologies Proceedings of the 4th International Conference on Simulation of Semiconductor Devices and Processes, Zurich, Switzerland, 1991

1990

		Paolo Conti, Gernot Heiser and Wolfgang Fichtner Three dimensional transient simulation of complex silicon devices Japanese Journal of Applied Physics, 29, L 2271–2274, (1990)
		Paolo Conti, Gernot Heiser and Wolfgang Fichtner Three dimensional transient simulation of complex silicon devices Proceedings of the 22nd International Conference on Solid State Devices and Materials, Sendai, Japan, 1990
		Paolo Conti, Gernot Heiser, Marc Westermann and Wolfgang Fichtner Software tools for three-dimensional device simulation 1990 VLSI Process/Device Modeling Workshop Dig. Tech. Papers, Kawasaki, Japan, 1990
		Gernot Heiser DATEX – data exchange format for semiconductor device simulations Technical Report 90/10, Integrated Systems Lab, 1990
		Gernot Heiser Conventions for one, two and three dimensional grid descriptions Technical Report 90/10, Integrated Systems Lab, 1990
		Gernot Heiser Device simulation: Supplementary documents Technical Report 90/10, Integrated Systems Lab, 1990
		Gernot Heiser and Kevin Kells Second user manual Technical Report 90/12, Integrated Systems Lab, 1990
		Gernot Heiser, Claude Pommerell, Jürgen Weis, Marco Annaratone, Wolfgang Fichtner, Randolph Bank, William Coughran and Kent Smith A comparison of algorithms for large-scale device simulation 3rd International Workshop on Numerical Modeling of Processes and Devices for Integrated Circuits, Honolulu, USA, 1990

1989

		Joseph Bürgler, Paolo Conti, Gernot Heiser, Stephan Paschedag and Wolfgang Fichtner Three dimensional simulation of complex semiconductor device structures International Symposium on VLSI Technology Systems and Applications, Taipei, Taiwan, 1989
		Joseph Bürgler, Paolo Conti, Gernot Heiser, Stephan Paschedag, Hans-Peter Wachter and Wolfgang Fichtner Numerical simulation of submicron MOSFETs 2nd International Symposium on ULSI Science and Technology, Los Angeles, CA, USA, 1989

1987

Edoardo Biagioni, Gernot Heiser, Klaus Hinrichs and Carlo Muller OSSI—a programming environment for developing portable software Abstracts of the ``Colloquium on Modula-2'', London, 1987

1986

		Edoardo Biagioni, Gernot Heiser, Klaus Hinrichs and Carlo Muller A portable operating system interface and utility library IEEE Software, 3(6), 18–26, (1986)
		Gernot Heiser, Ramesh C. Shukla and E.R. Cowley Average square atomic displacement: A comparison of the lattice-dynamics, molecular-dynamics and Monte Carlo results Physical Review B, 33, 2158-2162, (1986)
		Ramesh C. Shukla and Gernot Heiser Mean-square atomic displacement of alkali-metal atoms: A comparison of the lattice dynamics and molecular dynamics results Physical Review B, 33, 2152-2157, (1986)

Invited Talks

2010

		Gernot Heiser The l4 microkernel — from research to mass deployment and back Invited Talk at Workshop on Isolation and Integration for Dependable Systems, April, 2010
		Gernot Heiser Formally-verified OS kernel: A basis for reliable systems? Invited Talk at IFIP WG10.4 Winter Meeting, Ishigaki Island, Japan, January, 2010

2009

2008

2007

2006

2005

Research Theses Supervised

2010

		David C. Snowdon OS-Level power management, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2010
		Leonid Ryzhyk On the construction of reliable device drivers, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2010

2009

		Joshua LeVasseur Device-driver reuse via virtual machines, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2009
		Matthew Chapman vNUMA: Virtual shared-memory multiprocessors, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2009

2008

		Harvey Tuch Formal memory models for verifying C systems code, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2008
		Ian Wienand Transparent large-page support for Itanium Linux, ME Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2008
		Daniel Potts Eidolon: Adapting distributed applications to their environment, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2008

2007

		Luke Macpherson Performing under overload, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2007
		Andrew Baumann Dynamic update for operating systems, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2007

2005

Volkmar Uhlig Scalability of microkernel-based systems, PhD Thesis, University of Karlsruhe, Karlsruhe, Germany, 2005

1999

Kevin Elphinstone Virtual memory in a 64-bit microkernel, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 1999

1998

Jerry Vochteloo Design, implementation and performance of protection in the Mungi single-address-space operating system, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 1998