Research
Software Systems

Gernot Heiser
Senior Principal Researcher; Scientia Professor and John Lions Chair, UNSW

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, energy/power management, real-time systems and virtualization. Other interests include computer architecture, especially architectural support for operating systems.

Contact Details

Phone: +61 2 8306 0550
Email:gernot@nicta.com.au
Web:http://gernot-heiser.org
Twitter:@GernotHeiser
Blog:http://microkerneldude.wordpress.com/

More contact information is available at the Contact page.

Photo of Gernot Heiser

Publication List

Projects

Current

Past

Collaborations

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

  • Apple
  • Boeing
  • Breakaway Consulting
  • DARPA
  • Department of Defense, Australia
  • Dresden University of Technology, Germany
  • ETH Zurich
  • Galois
  • Google
  • HP Labs
  • IBM T.J. Watson Research Centre
  • Intel
  • Imperial College
  • Max Planck Institute for Software Systems
  • National University of Singapore
  • Princeton University
  • Qualcomm
  • Rockwell Collins
  • University of Karlsruhe, Germany
  • University of Minnesota
  • University of Toronto

Career Summary

Gernot joined NICTA as the leader of the ERTOS program at the time of NICTA's creation in late 2002. He has been a member of the academic staff at UNSW since 1991, from 2002 as Professor of Operating Systems, and from 2009 as the John Lions Chair of Computer Science. Since 2011 he also holds the title of Scientia Professor. He continues to hold his UNSW appointment concurrently with his NICTA position.

Since the mid 1990's Gernot 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 continued to serve on the OK Board until the company was acquired by General Dynamics in August 2012.

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 Fellow of the ACM, including SIGOPS, EuroSys, SIGBED and SIGARCH, a Fellow of the IEEE and its Computer Society, and a member of USENIX,Engineers Australia and Electronic Frontiers Australia.

High-Level Advisory Roles

Steering Committees

  • ACM SIGPLAN/SIGOPS Conference on Virtual Execution Environments (VEE), since 2013
  • Asia-Pacific Workshop on Systems (APSys), founding member since 2010, Chair since 2012
  • Pacific-Rim International Symposium on Dependable Computing (PRDC), since 2010
  • EuroSys, 2011–14

Program Committees and Editorial Boards

  • Associate Editor, IEEE Transactions on Computers, since 2016
  • USENIX Symposium on Operating Systems Design and Implementation (OSDI): 2014, 2016
  • ACM SIGOPS Symposium on Operating Systems Principles (SOSP): 2011
  • ACM SIGOPS EuroSys: 2008, 2009, 2010, 2011 (Chair)
  • ACM SIGARCH/SIGPLAN/SIGOPS Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS): 2013 (ERC), 2014 (ERC), 2015, 2016
  • International Conference on Very Large Databases (VLDB), 2016 (Industrial Track)
  • Usenix Annual Technical Conference: 2006, 2012 (co-Chair)
  • ACM SIGOPS Conference on Timely Results in Operating Systems (TRIOS): 2013
  • ACM SIGOPS Asia-Pacific Workshop on Systems (APSys): 2011, 2012, 2013, 2014, 2015, 2016
  • ACM SIGPLAN/SIGOPS Conference on Virtual Execution Environments (VEE): 2007, 2010, 2013 (co-Chair)
  • ACM SIGBED EMSOFT Conference: 2006, 2007, 2011, 2013
  • IEEE Real-Time Systems Symposium (RTSS): 2010, 2011
  • IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS): 2007, 2012, 2013, 2015, 2016
  • Euromicro Conference on Real-Time Systems (ECRTS): 2013, 2014
  • IEEE International Conference on Distributed Systems (ICDCS): 2014
  • ACM International Systems and Storage Conference (SYSTOR): 2011, 2015 (co-Chair)
  • Symposium on Research in Attacks, Intrusions and Defenses (RAID): 2014
  • Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT): 2014

Recognition and Awards

Publications

Best Papers

Abstract PDF Gerwin Klein, June Andronick, Kevin Elphinstone, Toby Murray, Thomas Sewell, Rafal Kolanski and Gernot Heiser
Comprehensive formal verification of an OS microkernel
ACM Transactions on Computer Systems, Volume 32, Number 1, pp. 2:1-2:70, February, 2014
Abstract
Slides
PDF
Presentation Video
Kevin Elphinstone and Gernot Heiser
From L3 to seL4 – what have we learnt in 20 years of L4 microkernels?
ACM Symposium on Operating Systems Principles, pp. 133-150, Farmington, PA, USA, November, 2013
Abstract
Slides
PDF Bernard Blackham and Gernot Heiser
Sequoll: A framework for model checking binaries
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 97-106, Philadelphia, USA, April, 2013
Best Paper Award!
Abstract
Slides
PDF Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie and Gustavo Alonso
RapiLog: reducing system complexity through verification
EuroSys Conference, pp. 323-336, Prague, Czech Republic, April, 2013
Abstract
Slides
PDF Bernard Blackham, Yao Shi and Gernot Heiser
Improving interrupt response time in a verifiable protected microkernel
EuroSys Conference, pp. 323-336, Bern, Switzerland, April, 2012
Abstract
Slides
PDF
Presentation Video
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
ACM Symposium on Operating Systems Principles, pp. 207-220, Big Sky, MT, USA, October, 2009
Abstract PDF Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur and Gernot Heiser
Automatic device driver synthesis with Termite
ACM Symposium on Operating Systems Principles, pp. 73-86, Big Sky, MT, US, October, 2009
Abstract PDF Dave Snowdon, Etienne Le Sueur, Stefan Petters and Gernot Heiser
Koala: A platform for OS-level power management
Eurosys 2009, pp. 289-302, Nuremburg, DE, April, 2009
Abstract PDF Joshua LeVasseur, Volkmar Uhlig, Yaowei Yang, Matthew Chapman, Peter Chubb, Ben Leslie and Gernot Heiser
Pre-virtualization: Soft layering for virtual machines
Asia-Pacific Computer Systems Architecture Conference, pp. 1-9, Hsinchu, Taiwan, August, 2008
Best Paper Award!
Abstract PDF 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, pp. 264–278, Anaheim, CA, USA, April, 2005
Best Student Paper Award!
Abstract PS Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell and Jochen Liedtke
The Mungi single-address-space operating system
Software: Practice and Experience, Volume 28, Number 9, pp. 901–928, July, 1998


NICTA Papers

To appear

Abstract to be published Qian Ge, Yuval Yarom, David Cock and Gernot Heiser
A survey of microarchitectural timing attacks and countermeasures on contemporary hardware
Journal of Cryptographic Engineering

2016

Abstract PDF Sidney Amani, Alex Hixon, Zilin Chen, Christine Rizkallah, Peter Chubb, Liam O'Connor, Joel Beeren, Yutaka Nagashima, Japheth Lim, Thomas Sewell, Joseph Tuong, Gabriele Keller, Toby Murray, Gerwin Klein and Gernot Heiser
Cogent: verifying high-assurance file system implementations
International Conference on Architectural Support for Programming Languages and Operating Systems, Atlanta, GA, USA, April, 2016
Abstract PDF Gernot Heiser and Kevin Elphinstone
L4 microkernels: The lessons from 20 years of research and deployment
ACM Transactions on Computer Systems, Volume 34, Number 1, pp. 1:1-1:29, April, 2016
Abstract PDF Thomas Sewell, Felix Kam and Gernot Heiser
Complete, high-assurance determination of loop bounds and infeasible paths for WCET analysis
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, Austria, April, 2016
Outstanding Paper award
Abstract PDF Fangfei Liu, Qian Ge, Yuval Yarom, Frank Mckeen, Carlos Rozas, Gernot Heiser and Ruby B Lee
CATalyst: defeating last-level cache side channel attacks in cloud computing
IEEE Symposium on High-Performance Computer Architecture, pp. 406-418, Barcelona, Spain, March, 2016

2015

Abstract PDF Yuval Yarom, Qian Ge, Fangfei Liu, Ruby B. Lee and Gernot Heiser
Mapping the Intel last-level cache
The Cryptology ePrint Archive, September, 2015
Abstract
Slides
PDF Sean Peters, Adrian Danis, Kevin Elphinstone and Gernot Heiser
For a microkernel, a big lock is fine
Asia-Pacific Workshop on Systems (APSys), Tokyo, JP, July, 2015
Abstract PDF Fangfei Liu, Yuval Yarom, Qian Ge, Gernot Heiser and Ruby B Lee
Last-level cache side-channel attacks are practical
IEEE Symposium on Security and Privacy, pp. 605-622, San Jose, CA, US, May, 2015
Abstract Slides Gernot Heiser
seL4: Present and future
invited talk at FOSDEM'15, Brussels, BE, February, 2015
Abstract Slides
Video
Gernot Heiser
seL4 is free – what does this mean for you?
LCA, January, 2015

2014

Abstract PDF Hyungsoo Jung, Hyuck Han, Alan Fekete, Gernot Heiser and Heon Yeom
A scalable lock manager for multicores
ACM Transactions on Database Systems, Volume 39, Number 4, pp. 29:1–29:29, December, 2014
Abstract
Slides
PDF Anna Lyons and Gernot Heiser
Mixed-criticality support in a high-assurance, general-purpose microkernel
Workshop on Mixed Criticality Systems, pp. 9-14, Rome, Italy, December, 2014
Abstract PDF David Cock, Qian Ge, Toby Murray and Gernot Heiser
The last mile: An empirical study of some timing channels on seL4
ACM Conference on Computer and Communications Security, pp. 570-581, Scottsdale, AZ, USA, November, 2014
Abstract PDF Daniel Potts, Rene Bourquin, Leslie Andresen, June Andronick, Gerwin Klein and Gernot Heiser
Mathematically verified software kernels: Raising the bar for high assurance implementations
Technical Report, NICTA, July, 2014
Abstract
Slides
PDF Bernard Blackham, Mark Liffiton and Gernot Heiser
Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 169-178, Berlin, Germany, April, 2014
Abstract
Slides
PDF Aaron Carroll and Gernot Heiser
Unifying DVFS and offlining in mobile multicores
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 287-296, Berlin, Germany, April, 2014
Abstract PDF Gerwin Klein, June Andronick, Kevin Elphinstone, Toby Murray, Thomas Sewell, Rafal Kolanski and Gernot Heiser
Comprehensive formal verification of an OS microkernel
ACM Transactions on Computer Systems, Volume 32, Number 1, pp. 2:1-2:70, February, 2014

2013

Abstract
Slides
PDF Aaron Carroll and Gernot Heiser
Mobile multicores: Use them or waste them
Workshop on Power Aware Computing and Systems, pp. 5, Farmington, PA, USA, November, 2013
A revised version of this paper was published in Operating Systems Review, Volume 48, Issue 1, January 2014, pages 44-48.
Abstract
Slides
PDF
Presentation Video
Kevin Elphinstone and Gernot Heiser
From L3 to seL4 – what have we learnt in 20 years of L4 microkernels?
ACM Symposium on Operating Systems Principles, pp. 133-150, Farmington, PA, USA, November, 2013
Abstract
Slides
PDF Gabriele Keller, Toby Murray, Sidney Amani, Liam O'Connor-Davis, Zilin Chen, Leonid Ryzhyk, Gerwin Klein and Gernot Heiser
File systems deserve verification too!
Workshop on Programming Languages and Operating Systems (PLOS), pp. 1-7, Farmington, Pennsylvania, USA, November, 2013
A revised version of this paper was published in Operating Systems Review, Volume 48, Issue 1, January 2014, pages 58-64.
Abstract
Slides
PDF Yao Shi, Bernard Blackham and Gernot Heiser
Code optimizations using formally verified properties
Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pp. 427-442, Indianapolis, USA, October, 2013
Abstract
Slides
PDF Aaron Carroll and Gernot Heiser
The systems hacker’s guide to the Galaxy: Energy usage in a modern smartphone
Asia-Pacific Workshop on Systems (APSys), pp. 7, Singapore, July, 2013
Best Student Paper Award!
Abstract
Slides
PDF Gernot Heiser
Can truly dependable systems be affordable?
Keynote at APSys'13, Singapore, July, 2013
Abstract
Slides
PDF Hyungsoo Jung, Hyuck Han, Alan Fekete, Gernot Heiser and Heon Y. Yeom
A scalable lock manager for multicores
ACM SIGMOD Conference, pp. 73-84, New York, USA, June, 2013
Abstract
Slides
PDF Aleksander Budzynowski and Gernot Heiser
The von Neumann architecture is due for retirement
Workshop on Hot Topics in Operating Systems, pp. 6, Santa Ana Pueblo, NM, USA, May, 2013
Abstract
Slides
PDF Bernard Blackham and Gernot Heiser
Sequoll: A framework for model checking binaries
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 97-106, Philadelphia, USA, April, 2013
Best Paper Award!
Abstract
Slides
PDF Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie and Gustavo Alonso
RapiLog: reducing system complexity through verification
EuroSys Conference, pp. 323-336, Prague, Czech Republic, April, 2013
Abstract
Slides
PDF Gernot Heiser
Protecting e-government against attacks
EP Workshop on Security of e-Government, pp. 5, Brussels, Belgium, February, 2013

2012

Abstract
Slides
PDF Bernard Blackham and Gernot Heiser
Correct, fast, maintainable – choose any three!
Asia-Pacific Workshop on Systems (APSys), pp. 7, Seoul, Korea, July, 2012
Abstract
Slides
PDF Bernard Blackham, Vernon Tang and Gernot Heiser
To preempt or not to preempt, that is the question
Asia-Pacific Workshop on Systems (APSys), pp. 7, Seoul, Korea, July, 2012
Abstract
Slides
PDF Bernard Blackham, Yao Shi and Gernot Heiser
Improving interrupt response time in a verifiable protected microkernel
EuroSys Conference, pp. 323-336, Bern, Switzerland, April, 2012
Abstract PDF Gernot Heiser, Toby Murray and Gerwin Klein
It's time for trustworthy systems
IEEE: Security and Privacy, Volume 10, Number 2, pp. 67-70, March, 2012
Abstract PDF Stefan M Petters, Kevin Elphinstone and Gernot Heiser
Trustworthy real-time systems
Advances in Real-Time Systems, pp. 191-206, Springer, 2012

2011

Abstract PDF Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury and Gernot Heiser
Timing analysis of a protected operating system kernel
IEEE Real-Time Systems Symposium, pp. 339-348, Vienna, Austria, November, 2011
Abstract PDF Sidney Amani, Leonid Ryzhyk, Alastair Donaldson, Gernot Heiser, Alexander Legg and Yanjin Zhu
Static analysis of device drivers: we can do better!
Asia-Pacific Workshop on Systems (APSys), pp. 1-5, Shanghai, China, July, 2011
Abstract PDF Bernard Blackham, Yao Shi and Gernot Heiser
Protected hard real-time: The next frontier
Asia-Pacific Workshop on Systems (APSys), pp. 5, Shanghai, China, July, 2011
Abstract PDF Prashant Varanasi and Gernot Heiser
Hardware-supported virtualization on ARM
Asia-Pacific Workshop on Systems (APSys), pp. 5 pages, Shanghai, China, July, 2011
Abstract PDF Gernot Heiser
Virtualizing embedded systems – why bother?
Design Automation Conference (DAC), pp. 901-905, Dan Diego, CA, USA, June, 2011
Abstract PDF Etienne Le Sueur and Gernot Heiser
Slow down or sleep, that is the question
USENIX Technical Conference, pp. 6, Portland, Oregon, USA, June, 2011
Abstract
Slides
PDF Gernot Heiser, Leonid Ryzhyk, Michael von Tessin and Aleksander Budzynowski
What if you could actually Trust your kernel?
Workshop on Hot Topics in Operating Systems, pp. 1-5, Napa, CA, USA, May, 2011
Abstract PDF Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij and Gernot Heiser
Improved device driver reliability through hardware verification reuse
International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 1-12, Newport Beach, CA, USA, March, 2011

2010

Abstract PDF Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz and Leonid Ryzhyk
The road to trustworthy systems
ACM Workshop on Scalable Trusted Computing (ACMSTC), pp. 3-10, Chicago, IL, USA, October, 2010
Abstract PDF Etienne Le Sueur and Gernot Heiser
Dynamic voltage and frequency scaling: The laws of diminishing returns
Workshop on Power Aware Computing and Systems, pp. 1–5, Vancouver, Canada, October, 2010
Abstract PDF Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij and Gernot Heiser
Improved device driver reliability through verification reuse
Workshop on Hot Topics in System Dependability, pp. 1-6, Vancouver, Canada, October, 2010
Abstract PDF Nicholas Fitzroy-Dale, Ihor Kuz and Gernot Heiser
Architecture optimisation with Currawong
Asia-Pacific Workshop on Systems (APSys), pp. 7-12, New Delhi, India, August, 2010
Abstract PDF Gernot Heiser and Ben Leslie
The OKL4 microvisor: Convergence point of microkernels and hypervisors
Asia-Pacific Workshop on Systems (APSys), pp. 19-24, New Delhi, India, August, 2010
Abstract PDF Leonid Ryzhyk, Yanjin Zhu and Gernot Heiser
The case for active device drivers
Asia-Pacific Workshop on Systems (APSys), pp. 25-30, New Delhi, India, August, 2010
Abstract
Slides
PDF Aaron Carroll and Gernot Heiser
An analysis of power consumption in a smartphone
USENIX Annual Technical Conference, pp. 271-284, Boston, MA, USA, June, 2010
Abstract PDF 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 operating-system kernel
Communications of the ACM, Volume 53, Number 6, pp. 107-115, June, 2010
Research Highlights paper

2009

Abstract
Slides
PDF
Presentation Video
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
ACM Symposium on Operating Systems Principles, pp. 207-220, Big Sky, MT, USA, October, 2009
Abstract PDF Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur and Gernot Heiser
Automatic device driver synthesis with Termite
ACM Symposium on Operating Systems Principles, pp. 73-86, Big Sky, MT, US, October, 2009
Abstract PDF Gernot Heiser
Trusted ⇐ trustworthy ⇐ proof – position paper
Proceedings of the 2nd Conference on Future of Trust in Computing, pp. 55–59, Berlin, Germany, July, 2009
Abstract PDF Matthew Chapman and Gernot Heiser
vNUMA: A virtual shared-memory multiprocessor
USENIX Annual Technical Conference, pp. 349-362, San Diego, USA, June, 2009
Abstract PDF Leonid Ryzhyk, Peter Chubb, Ihor Kuz and Gernot Heiser
Dingo: Taming device drivers
Eurosys 2009, pp. 275-288, Nuremberg, DE, April, 2009
Abstract PDF Dave Snowdon, Etienne Le Sueur, Stefan Petters and Gernot Heiser
Koala: A platform for OS-level power management
Eurosys 2009, pp. 289-302, Nuremburg, DE, April, 2009
Abstract PDF Gernot Heiser
Many-core chips — a case for virtual shared memory
Workshop on Managed Many-Core Systems, pp. 4 pages, Washington, DC, USA, March, 2009
Abstract PDF Gernot Heiser
Hypervisors for consumer electronics
IEEE Consumer Communications and Networking Conference, pp. 1-5, Las Vegas, NV, USA, January, 2009

2008

Abstract PDF André Hergenhan and Gernot Heiser
Operating systems technology for converged ECUs
6th Embedded Security in Cars Conference (escar), pp. 3 pages, Hamburg, Germany, November, 2008
Abstract PDF Joshua LeVasseur, Volkmar Uhlig, Yaowei Yang, Matthew Chapman, Peter Chubb, Ben Leslie and Gernot Heiser
Pre-virtualization: Soft layering for virtual machines
Asia-Pacific Computer Systems Architecture Conference, pp. 1-9, Hsinchu, Taiwan, August, 2008
Best Paper Award!
Abstract PDF Gernot Heiser
The role of virtualization in embedded systems
Workshop on Isolation and Integration in Embedded Systems, pp. 11-16, Glasgow, UK, April, 2008
Abstract PDF
Presentation Video
Gernot Heiser
Do microkernels suck?
9th Linux.conf.au, January, 2008

2007

Abstract PDF Gernot Heiser
Your system is secure? Prove it!
USENIX ;login:, Volume 32(6), pp. 35–38, December, 2007
Abstract PDF Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein and Stefan Petters
Towards trustworthy computing systems: Taking microkernels to the next level
ACM Operating Systems Review, Volume 41, Number 4, pp. 3-11, December, 2007
Abstract PDF Stefan Petters, Patryk Zadarnowski and Gernot Heiser
Measurements or static analysis or both?
Workshop on Worst-Case Execution-Time Analysis, pp. 5-11, Pisa, Italy, December, 2007
Abstract PDF Dave Snowdon, Godfrey van der Linden, Stefan Petters and Gernot Heiser
Accurate run-time prediction of performance degradation under frequency scaling
Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT), pp. 58-64, Pisa, Italy, December, 2007
Abstract PDF Dave Snowdon, Stefan Petters and Gernot Heiser
Accurate on-line prediction of processor and memory energy usage under voltage scaling
International Conference on Embedded Software, pp. 84-93, Salzburg, Austria, December, 2007
Abstract PDF Leonid Ryzhyk, Ihor Kuz and Gernot Heiser
Formalising device driver interfaces
Workshop on Programming Languages and Operating Systems (PLOS), pp. 5, Stevenson, WA, USA, October, 2007
Abstract PDF 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, pp. 337–350, Santa Clara, CA, USA, June, 2007
Abstract PDF Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe and Gernot Heiser
Towards a practical, verified kernel
Workshop on Hot Topics in Operating Systems, pp. 6, San Diego, CA, USA, May, 2007
Abstract PDF 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
Abstract link 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, Volume 80, Number 5, pp. 687–699, May, 2007
Preprint
Abstract PDF Timothy Roscoe, Kevin Elphinstone and Gernot Heiser
Hype and virtue
Workshop on Hot Topics in Operating Systems, pp. 19-24, San Diego, USA, May, 2007
Abstract PDF Carl van Schaik and Gernot Heiser
High-performance microkernels and virtualisation on ARM and segmented architectures
International Workshop on Microkernels for Embedded Systems, Sydney, Australia, January, 2007

2006

Abstract PDF 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
Abstract PDF Gernot Heiser, Volkmar Uhlig and Joshua LeVasseur
Are virtual-machine monitors microkernels done right?
ACM Operating Systems Review, Volume 40, Number 1, pp. 95–99, January, 2006

2005

Abstract PDF Gernot Heiser
Secure embedded systems need microkernels
USENIX ;login:, Volume 30, Number 6, pp. 9–13, December, 2005
Abstract PDF Kevin Elphinstone, Gernot Heiser, Ralf Huuck, Stefan M. Petters and Sergio Ruocco
L4cars
3rd Embedded Security in Cars Conference (escar), Cologne, Germany, November, 2005
Abstract PDF 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
Abstract PDF 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, Volume 20, Number 5, pp. 654–664, September, 2005
Abstract PDF 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
Abstract PDF 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
Abstract PDF 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 (OSPERT), Palma, Mallorca, Spain, July, 2005
Abstract PDF Harvey Tuch, Gerwin Klein and Gernot Heiser
OS verification — now!
Proceedings of the 10th Workshop on Hot Topics in Operating Systems, pp. 7–12, Santa Fe, NM, USA, June, 2005
Abstract PDF 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, pp. 279–291, Anaheim, CA, USA, April, 2005
Abstract PDF Matthew Chapman and Gernot Heiser
Implementing transparent shared memory on clusters using virtual machines
Proceedings of the 2005 USENIX Annual Technical Conference, pp. 383–386, Anaheim, CA, USA, April, 2005
Abstract PDF 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, pp. 264–278, Anaheim, CA, USA, April, 2005
Best Student Paper Award!
Abstract PDF Ben Leslie, Carl van Schaik and Gernot Heiser
Wombat: A portable user-mode Linux for embedded systems
6th Linux.conf.au, Canberra, April, 2005

2004

Abstract PDF 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
Abstract PDF 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
Abstract PDF 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
Abstract PS 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
Abstract PS 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

Abstract PDF Chris Szmajda and Gernot Heiser
Generalised radix page table: A page table for modern architectures
Proceedings of the 8th Asia-Pacific Computer Systems Architecture Conference, pp. 290-304, Aizu-Wakamatsu City, Japan, September, 2003
Abstract PS 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
Abstract PS 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
Abstract PDF 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
Abstract PDF Ben Leslie and Gernot Heiser
Towards untrusted device drivers
Technical Report UNSW-CSE-TR-0303, School of Computer Science and Engineering, March, 2003

Non-NICTA Papers

2009

Abstract PDF Gernot Heiser
The Motorola Evoke QA4: A case study in mobile virtualization
Technical Report, July, 2009

2006

plain text link 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, Volume 100, pp. 113714-10, 2006
plain text link 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, Volume 100, pp. 113715-7, 2006

2003

plain text link 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, Volume 93, pp. 1598–1604, 2003

2002

Abstract PDF Shane Stephens and Gernot Heiser
Fault tolerance and avoidance in biomedical systems
Proceedings of the 10th SIGOPS European Workshop, St Emilion, France, September, 2002
Abstract PDF 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
Abstract PS 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
Abstract PDF 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
plain text link 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, Volume 74, pp. 165–174, 2002
plain text link 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, Volume 91, pp. 4271–4274, 2002
plain text link 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, Volume 92, pp. 2561–2571, 2002
plain text link 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, Volume 92, pp. 3187–3197, 2002

2001

Abstract PDF Gernot Heiser
Dealing with TLB tags
International Workshop on Microkernels for Embedded Systems, Lake Louise, Alta, Canada, October, 2001
Abstract PDF 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, pp. 168, Schloss Elmau, Germany, May, 2001
Abstract PDF 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
Abstract PDF 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
plain text to be published Gernot Heiser
Proceedings of the 6th Asia-Pacific Computer Systems Architecture Conference
Gold Coast, QLD, Australia (January, 2001). IEEE Computer Society Press.
Abstract PS Alan Au and Gernot Heiser
Enhancing IA64 memory management
2nd Linux.conf.au, Sydney, Australia, January, 2001
Abstract PDF Antony Edwards and Gernot Heiser
Components + Security = OS Extensibility
Proceedings of the 6th Asia-Pacific Computer Systems Architecture Conference, pp. 27–34, Gold Coast, Australia, January, 2001
Abstract PDF Gernot Heiser
Inside L4/MIPS: Anatomy of a high-performance microkernel
Sydney, Australia, January, 2001
plain text link 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, Volume 65, pp. 95-103, 2001
plain text link 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, Volume 65, pp. 63–65, 2001
plain text link 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, Volume 65, pp. 95–103, 2001

2000

Abstract PDF 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, pp. 102–105, Glasgow, UK, May, 2000
plain text to be published 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, pp. 243–246, Glasgow, UK, May, 2000
plain text to be published 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, pp. 1590–1593, Glasgow, UK, May, 2000
plain text to be published 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, pp. 251–254, Glasgow, UK, May, 2000
plain text to be published Gernot Heiser
Proceedings of the 5th Australasian Computer Architecture Conference
Canberra, ACT, Australia (January, 2000). IEEE Computer Society Press.
Abstract PS Adam Wiggins and Gernot Heiser
Fast address-space switching on the StrongARM SA-1100 processor
Proceedings of the 5th Australasian Computer Architecture Conference, pp. 97–104, Canberra, Australia, January, 2000
plain text link 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, Volume 47, pp. 2167-2178, 2000

1999

plain text to be published 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
plain text to be published 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
Abstract to be published 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
plain text to be published 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
Abstract PDF 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
Abstract PS Luke Deller and Gernot Heiser
Linking programs in a single address space
Proceedings of the 1999 USENIX Annual Technical Conference, pp. 283–294, Monterey, Ca, USA, June, 1999
Abstract PS Kevin Elphinstone, Gernot Heiser and Jochen Liedtke
L4 reference manual: MIPS R4x00, version 1.11, kernel version 79
Sydney, Australia, May, 1999
Abstract PS Kevin Elphinstone, Gernot Heiser and Jochen Liedtke
Page tables for 64-bit computer systems
Proceedings of the 4th Australasian Computer Architecture Conference, pp. 211-226, Auckland, New Zealand, January, 1999

1998

Abstract PDF 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
Abstract PS Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell and Jochen Liedtke
The Mungi single-address-space operating system
Software: Practice and Experience, Volume 28, Number 9, pp. 901–928, July, 1998
plain text to be published 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
Abstract PDF 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
Abstract PS 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 (ACSC), pp. 417–428, Perth, Australia, February, 1998
Abstract link 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, Volume 45, pp. 2700–2710, 1998

1997

Abstract PDF 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
plain text to be published 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, pp. 179–182, Anaheim, CA, USA, September, 1997
plain text to be published 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, pp. 79–82, Anaheim, CA, USA, September, 1997
Abstract PDF Gernot Heiser, Fondy Lam and Stephen Russell
Resource management in the Mungi single-address-space operating system
Technical Report UNSW-CSE-TR-9705, UNSW, August, 1997
Abstract PDF 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, UNSW, June, 1997
plain text to be published 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, pp. 2465–2468, Barcelona, Spain, June, 1997
Abstract PDF 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, pp. 28–31, Cape Cod, MA, USA, May, 1997
Abstract PDF 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
plain text link 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, Volume 82, pp. 4938–4944, 1997
Abstract link Andreas Schenk and Gernot Heiser
Modeling and simulation of tunneling through ultra-thin gate dielectrics
Journal of Applied Physics, Volume 81, pp. 7900–7908, 1997

1996

Abstract PS 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 (IWOOOS), pp. 161–165, Seattle, WA, USA, October, 1996
Abstract PS Jinsong Ouyang and Gernot Heiser
Libra: A library for reliable distributed applications
International Conference on Parallel and Distributed Processing Techniques and Applications, pp. 801–810, Sunnyvale, CA, USA, August, 1996
Abstract PS 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 (POS), pp. 111–119, Cape May, NJ, USA, May, 1996
plain text to be published 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, pp. 549–552, Washington, DC, USA, May, 1996
Abstract PDF Kevin Elphinstone, Stephen Russell, Gernot Heiser and Jochen Liedtke
Supporting persistent object systems in a single address space
Technical Report UNSW-CSE-TR-9601, UNSW, February, 1996
plain text link 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, Volume 4, pp. 399–414, 1996
plain text link 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, Volume 80, pp. 3574–3586, 1996
plain text link 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, Volume 4, pp. 355–367, 1996
plain text link 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, Volume 80, pp. 6783–6795, 1996
plain text link 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, Volume 41/42, pp. 3–17, 1996

1995

Abstract PDF Tim Wilkinson, Kevin Murray, Stephen Russell, Gernot Heiser and Jochen Liedtke
Single address space operating systems
Technical Report UNSW-CSE-TR-9504, UNSW, November, 1995
plain text to be published 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, pp. 382–385, Nice, France, October, 1995
plain text to be published 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, pp. 447–450, Nice, France, October, 1995
Abstract PDF Jinsong Ouyang and Gernot Heiser
Checkpointing and recovery for distributed shared memory applications
Technical Report UNSW-CSE-TR-9502, UNSW, September, 1995
plain text to be published 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, pp. 348–351, Erlangen, Germany, September, 1995
Abstract PS Jinsong Ouyang and Gernot Heiser
Checkpointing and recovery for distributed shared memory applications
Proceedings of the 4th IEEE International Workshop on Object Orientation in Operating Systems (IWOOOS), pp. 191–9, Lund, Sweden, August, 1995
Abstract link 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, Volume 77, pp. 3491–3504, 1995
plain text link Gernot Heiser, Armin G. Aberle, Stuart R. Wenham and Martin A. Green
Two-dimensional numerical simulations of high-efficiency silicon solar cells
Microelectronics Journal, Volume 26, Number 2/3, pp. 273–286, 1995
plain text link 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, Volume 78, pp. 4740–4754, 1995

1994

Abstract PDF 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, pp. 1563–1566, Waikoloa, HI, USA, December, 1994
plain text to be published 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, pp. 1234–1241, Waikoloa, HI, USA, December, 1994
Abstract PDF 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
Abstract to be published 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, pp. 177-80, Honolulu, HI, USA, June, 1994
Abstract PS 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 (ACSC), pp. 271–80, Christchurch, New Zealand, January, 1994
plain text link 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, Volume 34, pp. 149–160, 1994
plain text link 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, Volume 75, Number 10, pp. 5391–405, 1994
plain text link 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, Volume 2, pp. 3–17, 1994

1993

Abstract PS 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 (IWOOOS), pp. 108–15, Asheville, NC, USA, December, 1993
Abstract PDF 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
plain text to be published 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, pp. 543–544, Nagoya, Japan, November, 1993
plain text to be published 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, pp. 389–392, Vienna, Austria, September, 1993
Abstract PDF Gernot Heiser, Kevin Elphinstone, Stephen Russell and Graham R. Hellestrand
A distributed single address space system supporting persistence
Technical Report UNSW-CSE-TR-9302, UNSW, March, 1993
Abstract PDF Jerry Vochteloo, Stephen Russell and Gernot Heiser
Capability based protection in a persistent global virtual memory system
Technical Report UNSW-CSE-TR-9303, UNSW, March, 1993

1992

Abstract PS 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 (IWOOOS), pp. 96–99, Dourdan, France, September, 1992

1991

Abstract to be published Gernot Heiser
Design and implementation of a three-dimensional general purpose semiconductor device simulator
PhD Thesis, ETH Zürich, 1991
plain text link 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, Volume 38, pp. 2721–2722, 1991
plain text link Gernot Heiser, Claude Pommerell, Jürgen Weis and Wolfgang Fichtner
Large-scale device simulation: Algorithms, computer architectures, results
IEEE Transactions on CAD ICAS, Volume 10, pp. 1218–1230, 1991
plain text to be published 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, pp. 331–340, Zurich, Switzerland, 1991

1990

plain text link Paolo Conti, Gernot Heiser and Wolfgang Fichtner
Three dimensional transient simulation of complex silicon devices
Japanese Journal of Applied Physics, Volume 29, pp. L 2271–2274, 1990
plain text to be published 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, pp. 143–146, Sendai, Japan, 1990
plain text to be published 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, pp. 5B-2, Kawasaki, Japan, 1990
plain text to be published Gernot Heiser
Device simulation: Supplementary documents
Technical Report 90/10, Integrated Systems Lab, 1990
plain text to be published Gernot Heiser and Kevin Kells
Second user manual
Technical Report 90/12, Integrated Systems Lab, 1990
plain text to be published 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
plain text to be published Gernot Heiser
DATEX – data exchange format for semiconductor device simulations
Technical Report 90/10, Integrated Systems Lab, 1990
plain text to be published Gernot Heiser
Conventions for one, two and three dimensional grid descriptions
Technical Report 90/10, Integrated Systems Lab, 1990

1989

plain text to be published 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, pp. 106–110, Taipei, Taiwan, 1989
plain text to be published 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, pp. 73–96, Los Angeles, CA, USA, 1989

1987

plain text to be published 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

plain text link Edoardo Biagioni, Gernot Heiser, Klaus Hinrichs and Carlo Muller
A portable operating system interface and utility library
IEEE Software, Volume 3, Number 6, pp. 18–26, 1986
plain text link 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, Volume 33, pp. 2158-2162, 1986
plain text link 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, Volume 33, pp. 2152-2157, 1986

Research Theses Supervised

2014

Abstract PDF David Cock
Leakage in trustworthy systems
PhD Thesis, UNSW, Sydney, Australia, August, 2014

2013

Abstract PDF Bernard Blackham
Towards verified microkernels for real-time mixed-criticality systems
PhD Thesis, UNSW, Sydney, Australia, October, 2013
2013 ACM SIGBED Paul Caspi Memorial Dissertation Award and John Makepeace Bennett Award for Australasian Distinguished Doctoral Dissertation

2011

Abstract PDF Etienne Le Sueur
An analysis of the effectiveness of energy management on modern computer processors
MSc Thesis, UNSW, Sydney, Australia, June, 2011
Abstract PDF Nicholas FitzRoy-Dale
Architecture optimisation
PhD Thesis, UNSW, Sydney, Australia, March, 2011

2010

Abstract PDF Leonid Ryzhyk
On the construction of reliable device drivers
PhD Thesis, UNSW, Sydney, Australia, January, 2010

2009

Abstract PDF Joshua LeVasseur
Device-driver reuse via virtual machines
PhD Thesis, UNSW, Sydney, Australia, May, 2009
Abstract PDF Matthew Chapman
vNUMA: Virtual shared-memory multiprocessors
PhD Thesis, UNSW, Sydney, Australia, March, 2009

2008

Abstract PDF Harvey Tuch
Formal memory models for verifying C systems code
PhD Thesis, UNSW, Sydney, Australia, August, 2008
Abstract PDF Ian Wienand
Transparent large-page support for Itanium Linux
ME Thesis, UNSW, Sydney, Australia, July, 2008
Abstract PDF Daniel Potts
Eidolon: Adapting distributed applications to their environment
PhD Thesis, UNSW, Sydney, Australia, January, 2008

2007

Abstract PDF Luke Macpherson
Performing under overload
PhD Thesis, UNSW, Sydney, Australia, September, 2007
Abstract PDF Andrew Baumann
Dynamic update for operating systems
PhD Thesis, UNSW, Sydney, Australia, August, 2007

2005

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

1999

Abstract PS Kevin Elphinstone
Virtual memory in a 64-bit microkernel
PhD Thesis, UNSW, Sydney, Australia, March, 1999

1998

Abstract PS Jerry Vochteloo
Design, implementation and performance of protection in the Mungi single-address-space operating system
PhD Thesis, UNSW, Sydney, Australia, July, 1998