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
- 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 Symposium on Operating Systems Principles (SOSP): 2012
- 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)
Awards
- Warren Centre Innovation Hero Award, 2010
- New South Wales Scientist of the Year 2009, Category Engineering, Mathematics and Computer Science
- NICTA Impact Awards 2008, Winner A Richard Newton Excellence in Research Award
- 2007 AIIA iAward, Category Applications and Infrastructure Tools
Contact Details
| Phone: | +61 2 8306 0550 |
|---|---|
| Email: | gernot@nicta.com.au |
| Web: | http://gernot-heiser.org |
More contact information is available at the ERTOS Contacts page.
Publications
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
|
|
|
Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz and Leonid Ryzhyk The road to trustworthy systems Proceedings of the 5th Workshop on Scalable Trusted Computing, Chicago, IL, USA, October, 2010 Invited paper |
|
|
|
Etienne Le Sueur and Gernot Heiser Dynamic voltage and frequency scaling: The laws of diminishing returns Proceedings of the 2010 Workshop on Power Aware Computing and Systems (HotPower'10), Vancouver, Canada, October, 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 Trusted ⇐ trustworthy ⇐ 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 road to trustworthy systems Invited Talk at 5th ACM Scalable Trusted Computing Workshop, October, 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
| Gernot Heiser 8,000 lines, one kernel, zero bugs Invited talk at Microsoft Research Asia Workshop on Verified Software, Beijing, China, October, 2009 |
2008
| Gernot Heiser Formal OS kernel verification—making trusted trustworthy 1st BSI Workshop on Operating System Security, Munich, Germany, December, 2008 | ||
| Gernot Heiser Virtualization in embedded systems Intel Virtualization Summit, Hillsboro, OR, USA, September, 2008 | ||
| Gernot Heiser Secure operating systems Invited Lecture at 2nd Asia Pacific Trusted Infrastructure Summer School 2008 (APTISS'08), Malaysia, August, 2008 | ||
| Gernot Heiser Operating system verification for real use Invited talk at the 5th International Verification Workshop, August, 2008 |
2007
| Gernot Heiser Secure operating systems Invited lecture at 2nd European Trusted Infrastructure Summer School (ETISS), Bochum, October, 2007 | ||
| Gernot Heiser Embedded systems safety, reliability and security: The challenge of complexity Invited talk at the IITA International Symposium on IT R&D, Seoul, October, 2007 | ||
| Gernot Heiser Next-generation embedded operating systems Invited talk at the China Australia ICT Workshop, Beijing, August, 2007 | ||
| Gernot Heiser Safe and reliable embedded systems Invited presentation at ISO/IEC JTC 1 Technology Watch Workshop, Gold Coast, August, 2007 | ||
| Gernot Heiser Next-generation embedded operating systems Invited talk at the 3rd International Conference on Embedded Software and Systems (ICESS 2007), Daegu, Korea, May, 2007 |
2006
| Gernot Heiser Trustworthy embedded systems—how Australian research can have an impact Invited talk at 3rd Australian ICT Outlook Forum, September, 2006 | ||
| Gernot Heiser Software feedom—essential for business and innovation Invited talk for Software Feedom Day, Sydney, September, 2006 | ||
| Gernot Heiser Towards trustworthy embedded systems Invited talk at the 12th IEEE Conference on Embedded and Real-Time Computing and Applications, Sydney, August, 2006 |
2005
| Gernot Heiser Secure embedded systems need microkernels Invited talk at Indo-Australia Conference on IT Security, Chennai, February, 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 |