Trustworthy Systems

Gernot Heiser
Scientia Professor; John Lions Chair

Research Interests

Gernot's main research interests are in operating systems, especially microkernel-based systems, and their use in embedded/cyber-physical systems, OS security and robustness issues, general cyber-security, energy/power management, real-time systems, virtualization and architectural support for operating systems.

Contact Details

Phone: +61 2 9065 5346
Email:gernot@unsw.edu.au
Web:https://gernot-heiser.org
Twitter:@GernotHeiser
Mastodon:@gernot@discuss.systems
Blog:https://microkerneldude.org/

More contact information is available at the Contact page.

Photo of Gernot Heiser

Publication List


Gernot leads the Trustworthy Systems group. He aims for principled, fundamental solutions to real-world problems, meaning his activities range from fundamental research to technology transfer and real-world deployment.

He sees research-driven teaching as a core part of this agenda, challenging students to grow, recruiting them into research and sending them out into the real world as ambassadors of TS and its technologies, and helping to advance the growth of industrial cybersecurity capabilities.

Most of his work is on seL4 and related technologies, and evangelising them is a significant part of his activities.

Projects

Current

Past

Besides these research projects, Gernot is involved in a range of technology transfer activities and other industry collaborations.

Collaborations

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

Career Summary

Gernot has been on UNSW's academic staff 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, UNSW's Distinguished Professor title. Since the mid 1990's Gernot has built an active operating systems research group, known for a number of operating systems, including the Mungi single-address-space operating system, the L4-embedded microkernel that shipped in billions of mobile devices (including all recent iOS devices) and the seL4 microkernel.

In 2002 he joined NICTA as one of its founding Program Leaders, initially leading the Embedded, Real-Time and Operating Systems (ERTOS) program and later the Software Systems Research Group (SSRG). With NICTA absorbed into CSIRO's Data61 he stepped down from management positions at the end of 2015 but continued to actively drive research and technology transfer in what had then become the Trustworthy Systems (TS) Group. After CSIRO's decision to abandon the world-leading TS group, Gernot rebuilt TS at UNSW.

In 2006 Gernot co-founded Open Kernel Labs, a company dedicated to commercialising 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, Sorbonne University (LIP6), 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

High-Level Advisory Roles

Steering Committees

Program Committees and Editorial Boards

Recognition and Awards

Publications

Best Papers

Abstract
Slides
PDF
Presentation Video
Qian Ge, Yuval Yarom, Tom Chothia and Gernot Heiser
Time protection: The missing OS abstraction
EuroSys Conference, Dresden, Germany, March, 2019
Best Paper Award
Abstract PDF Anna Lyons, Kent Mcleod, Hesham Almatary and Gernot Heiser
Scheduling-context capabilities: A principled, light-weight OS mechanism for managing time
EuroSys Conference, Porto, Portugal, April, 2018
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, Chi 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 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 PDF Aaron Carroll and Gernot Heiser
An analysis of power consumption in a smartphone
USENIX Annual Technical Conference, pp. 271–284, Boston, MA, US, June, 2010
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
Best Paper Award
Hall of Fame Award
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 M. Petters and Gernot Heiser
Koala: A platform for OS-level power management
EuroSys Conference, pp. 289–302, Nuremberg, 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
USENIX, pp. 264–278, Anaheim, CA, USA, April, 2005
Best Student Paper Award
Abstract PDF 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


Trustworthy Systems Group Papers

2024

Abstract PDF Nils Wistoff, Gernot Heiser and Luca Benini
fence.t.s: Closing timing channels in high-performance out-of-order cores through ISA-supported temporal partitioning
International Conference on Applications in Electronics Pervading Industry, Environment and Society (ApplePies), Turin, IT, September, 2024
Abstract PDF Trudy Weibel, Zoltan Kocsis, Mathieu Paturel, Rob Sison, Isitha Subasinghe and Gernot Heiser
Verifying the seL4 Microkit
https://trustworthy.systems/publications/papers/Weibel_KPSSH_24.pdf, June, 2024
Abstract PDF Nils Wistoff1, Robert Balas, Alessandro Ottaviano, Gernot Heiser and Luca Benini
ISA support for hardware resource partitioning in RISC-V
RISC-V Summit Europe, Munich, DE, June, 2024
Abstract Slides
Video
Gernot Heiser
Lions OS: secure – fast – adaptable
Everything Open, Gladstone, QLD, AU, April, 2024
Abstract PDF Gernot Heiser, Peter Chubb, Alex Brown, Courtney Darville and Lucy Parker
sDDF design: design, implementation and evaluation of the seL4 device driver framework
https://trustworthy.systems/publications/papers/Heiser_CBDP_24.pdf, 2024

2023

Abstract PDF Marcelo Orenes-Vera, Hyunsung Yun, Nils Wistoff, Gernot Heiser, Luca Benini, David Wentzlaff and Margaret Martonosi
AutoCC: Automatic discovery of covert channels in time-shared hardware
International Symposium on Microarchitecture (MICRO), Toronto, ON, CA, October, 2023
Abstract PDF Johannes Åman Pohjola, Hira Taqdees Syeda, Miki Tanaka, Krishnan Winter, Gordon Sau, Ben Nott, Tiana Tsang Ung, Craig McLaughlin, Remy Seassau, Magnus Myreen, Michael Norrish and Gernot Heiser
Pancake: verified systems programming made sweeter
Workshop on Programming Languages and Operating Systems (PLOS), Koblenz, DE, October, 2023
Abstract PDF Mathieu Paturel, Isitha Subasinghe and Gernot Heiser
First steps in verifying the seL4 Core Platform
Asia-Pacific Workshop on Systems (APSys), Seoul, KR, August, 2023
Abstract
Slides
PDF Rob Sison, Scott Buckley, Toby Murray, Gerwin Klein and Gernot Heiser
Formalising the prevention of microarchitectural timing channels by operating systems
International Symposium on Formal Methods (FM), Lübeck, DE, March, 2023
Abstract PDF Scott Buckley, Rob Sison, Nils Wistoff, Curtis Millar, Toby Murray, Gerwin Klein and Gernot Heiser
Proving the absence of microarchitectural timing channels
arXiv preprint arXiv:2310.17046, 2023
Abstract Slides
Video
Gernot Heiser
R&D update from Trustworthy Systems
Talk at the 5th seL4 Summit, 2023
Abstract PDF Nils Wistoff, Moritz Schneider, Frank Gürkaynak, Gernot Heiser and Luca Benini
Systematic prevention of on-core timing channels by full temporal partitioning
IEEE Transactions on Computers, Volume 72, Number 5, pp. 1420–1430, 2023

2022

Abstract PDF Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser and Gabriele Keller
Property-based testing: Climbing the stairway to verification
ACM SIGPLAN International Conference on Software Language Engineering, Auckland, New Zealand, December, 2022
Distinguished Artifact Award
Abstract
Slides
PDF
Presentation Video
Gernot Heiser, Lucy Parker, Ivan Velickovic, Peter Chubb and Ben Leslie
Can we put the "S" into IoT?
IEEE World Forum on Internet of Things, Yokohama, JP, November, 2022
Abstract Slides
Video
Gernot Heiser
The seL4 Foundation – growing through upheaval
On-line, January, 2022

2021

Abstract PDF Nils Wistoff, Moritz Schneider, Frank Gürkaynak, Luca Benini and Gernot Heiser
Microarchitectural timing channels and their prevention on an open-source 64-bit RISC-V core
Design, Automation and Test in Europe (DATE), virtual, February, 2021
Best Paper Award

2020

Abstract PDF Gernot Heiser, Toby Murray and Gerwin Klein
Towards provable timing-channel prevention
ACM Operating Systems Review, Volume 54, Issue 1, pp. 1-7, August, 2020
Abstract PDF Gernot Heiser
The seL4 microkernel – an introduction
seL4 Foundation Whitepaper, May, 2020
Abstract PDF Erik van der Kouwe, Gernot Heiser, Dennis Andriesse, Herbert Bos and Cristiano Giuffrida
Benchmarking flaws undermine security research
IEEE Security and Privacy, Volume 18, Issue 3, May, 2020
Abstract PDF
Presentation Video
Nils Wistoff, Moritz Schneider, Frank Gürkaynak, Luca Benini and Gernot Heiser
Prevention of microarchitectural covert channels on an open-source 64-bit RISC-V core
Workshop on Computer Architecture Research with RISC-V (CARRV), Valencia, Spain, May, 2020
Abstract PDF Gernot Heiser, Gerwin Klein and June Andronick
seL4 in Australia: From research to real-world trustworthy systems
Communications of the ACM, Volume 63, Issue 4, pp. 72-75, April, 2020
Abstract Slides
Video
Gernot Heiser
Verified seL4 on secure RISC-V processors
at linux.conf.au, Gold Coast, January, 2020

2019

Abstract PDF Yanyan Shen, Gernot Heiser and Kevin Elphinstone
Fault tolerance through redundant execution on COTS multicores: Exploring trade-offs
International Conference on Dependable Systems and Networks (DSN), pp. 188-200, Portland, Oregon, USA, June, 2019
Abstract PDF Erik van der Kouwe, Gernot Heiser, Dennis Andriesse, Herbert Bos and Cristiano Giuffrida
SoK: benchmarking flaws in systems security
European Conference on Security and Privacy (EuroS&P), Stockholm, Sweden, June, 2019
Abstract PDF Gernot Heiser, Gerwin Klein and Toby Murray
Can we prove time protection?
Workshop on Hot Topics in Operating Systems (HotOS), pp. 23-29, Bertinoro, Italy, May, 2019
Abstract
Slides
PDF
Presentation Video
Qian Ge, Yuval Yarom, Tom Chothia and Gernot Heiser
Time protection: The missing OS abstraction
EuroSys Conference, Dresden, Germany, March, 2019
Best Paper Award
Abstract Slides Gernot Heiser
What's new in the world of seL4?
Talk at FOSDEM'19, Brussels, February, 2019

2018

Abstract PDF Darren Cofer, Andrew Gacek, John Backes, Michael Whalen, Lee Pike, Adam Foltzer, Michael Podhradsky, Gerwin Klein, Ihor Kuz, June Andronick, Gernot Heiser and Douglas Stuart
A formal approach to constructing secure air vehicle software
IEEE Computer, Volume 51, Issue 11, pp. 14-23, November, 2018
Abstract PDF X. Sharon Hu, Rolf Ernst, Petru Eles, Gernot Heiser, Kurt Keutzer, Daehyun Kim and Tetsuya Tohdo
Roundtable: Machine learning for embedded systems
IEEE Design and Test, Volume 35, Issue 6, pp. 86-93, November, 2018
Abstract PDF Gerwin Klein, June Andronick, Ihor Kuz, Toby Murray, Gernot Heiser and Matthew Fernandez
Formally verified software in the real world
Communications of the ACM, Volume 61, Issue 10, pp. 68-77, October, 2018
Abstract PDF Albert Cohen, Xipeng Shen, Josep Torrellas, James Tuck, Yuanyuan Zhou, Sarita Adve, Ismail Akturk, Saurabh Bagchi, Rajeev Balasubramonian, Rajkishore Barik, Micah Beck, Ras Bodik, Ali Butt, Luis Ceze, Haibo Chen, Yiran Chen, Trishul Chilimbi, Mihai Christodorescu, John Criswell, Chen Ding, Yufei Ding, Sandhya Dwarkadas, Erik Elmroth, Phil Gibbons, Xiaochen Guo, Rajesh Gupta, Gernot Heiser, Hank Hoffman, Jian Huang, Hillery Hunter, John Kim, Sam King, James Larus, Chen Liu, Shan Lu, Brandon Lucia, Saeed Maleki, Somnath Mazumdar, Iulian Neamtiu, Keshav Pingali, Paolo Rech, Michael Scott, Yan Solihin, Dawn Song, Jakub Szefer, Dan Tsafrir, Bhuvan Urgaonkar, Marilyn Wolf, Yuan Xie, Jishen Zhao, Lin Zhong and Yuhao Zhu
Inter-disciplinary research challenges in computer systems for the 2020s
Technical Report, National Science Foundation, USA, September, 2018
Abstract
Slides
PDF Simon Biggs, Damon Lee and Gernot Heiser
The jury is in: Monolithic OS design is flawed
Asia-Pacific Workshop on Systems (APSys), Korea, August, 2018
Abstract
Slides
PDF Qian Ge, Yuval Yarom and Gernot Heiser
No security without time protection: we need a new hardware-software contract
Asia-Pacific Workshop on Systems (APSys), Korea, August, 2018
Best Paper Award Complete timing-channel data for evaluated x86 and Arm platforms.
Abstract PDF Qian Ge, Yuval Yarom, David Cock and Gernot Heiser
A survey of microarchitectural timing attacks and countermeasures on contemporary hardware
Journal of Cryptographic Engineering, Volume 8, Issue 1, pp. 1-27, April, 2018
Abstract PDF Anna Lyons, Kent Mcleod, Hesham Almatary and Gernot Heiser
Scheduling-context capabilities: A principled, light-weight OS mechanism for managing time
EuroSys Conference, Porto, Portugal, April, 2018
Abstract PDF Gernot Heiser
For safety's sake: we need a new hardware-software contract!
IEEE Design and Test, Volume 35, Issue 2, pp. 27-30, March, 2018
Abstract Slides
Video
Gernot Heiser
Flying autonomous aircraft: Mixed-criticality support in seL4
at linux.conf.au, Sydney, January, 2018

2017

Abstract PDF Zilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein and Gernot Heiser
The Cogent case for property-based testing
Workshop on Programming Languages and Operating Systems (PLOS), pp. 1-7, Shanghai, China, October, 2017
Abstract PDF Darren Cofer, John Backes, Andrew Gacek, Daniel DaCosta, Michael Whalen, Ihor Kuz, Gerwin Klein, Gernot Heiser, Lee Pike, Adam Foltzer, Michael Podhradsky, Douglas Stuart, Jason Graham and Brett Wilson
Secure mathematically-assured composition of control models
Technical Report, Data61, CSIRO, September, 2017
Abstract PDF Kevin Elphinstone, Amirreza Zarrabi, Kent Mcleod and Gernot Heiser
A performance evaluation of rump kernels as a multi-server OS building block on seL4
Asia-Pacific Workshop on Systems (APSys), India, September, 2017
Abstract PDF Thomas Sewell, Felix Kam and Gernot Heiser
High-assurance timing analysis for a high-assurance real-time OS
Real-Time Systems, Volume 53, Issue 5, pp. 812-853, September, 2017
Abstract PDF Qian Ge, Yuval Yarom, Frank Li and Gernot Heiser
Your processor leaks information — and there's nothing you can do about it
arXiv preprint arXiv:1612.04474, 2017

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, pp. 175–188, 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, Chi 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
Video
Gernot Heiser
seL4 is free — what does this mean for you?
Abstract, LCA.

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, 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
Honorable Mention Award
Abstract
Slides
PDF Aleksander Budzynowski and Gernot Heiser
The von Neumann architecture is due for retirement
Workshop on Hot Topics in Operating Systems (HotOS), 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 Symposium on 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, 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 (HotOS), 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 PDF Aaron Carroll and Gernot Heiser
An analysis of power consumption in a smartphone
USENIX Annual Technical Conference, pp. 271–284, Boston, MA, US, 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
Best Paper Award
Hall of Fame Award
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 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 Conference, pp. 275–288, Nuremberg, DE, April, 2009
Abstract PDF Dave Snowdon, Etienne Le Sueur, Stefan M. Petters and Gernot Heiser
Koala: A platform for OS-level power management
EuroSys Conference, pp. 289–302, Nuremberg, 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
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
Trusted ⇐ trustworthy ⇐ proof – Position paper
Conference on Future of Trust in Computing, pp. 55–59, Berlin, DE, May, 2008
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?
Other Conference Presentation, Linux.conf.au, Melbourne, Australia, 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 M. 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 M. 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 M. 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 M. 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
USENIX, 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 (HotOS), 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
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 (HotOS), 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
Embedded Security in Cars Conference (escar), Cologne, DE, 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
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
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!
Workshop on Hot Topics in Operating Systems (HotOS), 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
USENIX, pp. 279–291, Anaheim, CA, USA, April, 2005
Abstract PDF Matthew Chapman and Gernot Heiser
Implementing transparent shared memory on clusters using virtual machines
USENIX, 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
USENIX, 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
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 PDF Ben Leslie, Nicholas FitzRoy-Dale and Gernot Heiser
Encapsulated user-level device drivers in the Mungi operating system
Workshop on Object Systems and Software Architectures , Victor Harbor, South Australia, Australia, January, 2004
Abstract PDF Daniel Potts, Charles Gray, Ben Leslie and Gernot Heiser
A secure, language independent, high performance component interface
Workshop on Object Systems and Software Architectures , Victor Harbor, South Australia, January, 2004

2003

Abstract PDF Chris Szmajda and Gernot Heiser
Generalised radix page table: A page table for modern architectures
Asia-Pacific Computer Systems Architecture Conference, pp. 290-304, Aizu-Wakamatsu City, Japan, September, 2003
Abstract PDF Adam Wiggins, Harvey Tuch, Volkmar Uhlig and Gernot Heiser
Implementation of fast address-space switching and TLB sharing on the StrongARM processor
Asia-Pacific Computer Systems Architecture Conference, Aizu-Wakamatsu City, Japan, September, 2003
Abstract PDF Adam Wiggins, Simon Winwood, Harvey Tuch and Gernot Heiser
Legba: Fast hardware support for fine-grained protection
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

2002

Abstract PDF Shane Stephens and Gernot Heiser
Fault tolerance and avoidance in biomedical systems
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 PDF Kingsley Cheung and Gernot Heiser
A resource management framework for priority-based physical-memory allocation
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

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
Workshop on Hot Topics in Operating Systems (HotOS), pp. 168, Schloss Elmau, DE, May, 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
Abstract PDF Alan Au and Gernot Heiser
Enhancing IA64 memory management
Linux.conf.au, Sydney, Australia, January, 2001
Abstract PDF Antony Edwards and Gernot Heiser
Components + Security = OS Extensibility
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

2000

Abstract PDF Adam Wiggins and Gernot Heiser
Fast address-space switching on the StrongARM SA-1100 processor
Australasian Computer Architecture Conference, pp. 97–104, Canberra, Australia, January, 2000

1999

Abstract PDF Luke Deller and Gernot Heiser
Linking programs in a single address space
USENIX, pp. 283–294, Monterey, Ca, USA, June, 1999
Abstract PDF Kevin Elphinstone, Gernot Heiser and Jochen Liedtke
L4 reference manual: MIPS R4x00, version 1.11, kernel version 79
Sydney, Australia, May, 1999
Abstract PDF Kevin Elphinstone, Gernot Heiser and Jochen Liedtke
Page tables for 64-bit computer systems
Australasian Computer Architecture Conference, pp. 211-226, Auckland, New Zealand, January, 1999

1998

Abstract PDF 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
Abstract PDF Gernot Heiser, Fondy Lam and Stephen Russell
Resource management in the Mungi single-address-space operating system
Australasian Computer Science Conference (ACSC), pp. 417–428, Perth, Australia, February, 1998

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)
Workshop on Hot Topics in Operating Systems (HotOS), pp. 28–31, Cape Cod, MA, USA, May, 1997

1996

Abstract PDF Jerry Vochteloo, Kevin Elphinstone, Stephen Russell and Gernot Heiser
Protection domain extensions in Mungi
IEEE International Workshop on Object Orientation in Operating Systems (IWOOOS), pp. 161–165, Seattle, WA, USA, October, 1996
Abstract PDF 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 PDF Kevin Elphinstone, Stephen Russell, Gernot Heiser and Jochen Liedtke
Supporting persistent object systems in a single address space
International Workshop on Persistent Object Systems (POS), pp. 111–119, Cape May, NJ, USA, May, 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
Abstract PDF Jinsong Ouyang and Gernot Heiser
Checkpointing and recovery for distributed shared memory applications
IEEE International Workshop on Object Orientation in Operating Systems (IWOOOS), pp. 191–9, Lund, SE, August, 1995

1994

Abstract PDF Gernot Heiser, Kevin Elphinstone, Stephen Russell and Jerry Vochteloo
Mungi: A distributed single-address-space operating system
Australasian Computer Science Conference (ACSC), pp. 271–80, Christchurch, New Zealand, January, 1994

1993

Abstract PDF Jerry Vochteloo, Stephen Russell and Gernot Heiser
Capability-based protection in the Mungi operating system
IEEE International Workshop on Object Orientation in Operating Systems (IWOOOS), pp. 108–15, Asheville, NC, USA, December, 1993

1992

Abstract PDF Stephen Russell, Alan Skea, Kevin Elphinstone, Gernot Heiser, Keith Burston, Ian Gorton and Graham Hellestrand
Distribution + persistence = global virtual memory
IEEE International Workshop on Object Orientation in Operating Systems (IWOOOS), pp. 96–99, Dourdan, France, September, 1992

Papers without TS Affiliation

2023

Abstract PDF Arnd Weber, Sylvain Guilley, Rene Rathfelder, Marc Stöttinger, Torsten Grawunder, Christoph Lüth, Maja Malenko, Steffen Reith, Armand Puccetti, Jean-Pierre Seifert, Norbert Herfurth, Gernot Heiser and Hagen Sankowski
Verified value chains, innovation and competition
International Conference on Cyber Security and Resilience (CSR), Venice, IT, July, 2023

2022

Abstract PDF Arnd Weber, Gernot Heiser, Dirk Kuhlmann, Martin Schallbruch, Anupam Chattopadhyay, Sylvain Guilley, Michael Kasper, Christoph Krau\ss, Philipp S. Krüger, Steffen Reith and Jean-Pierre Seifert
Secure IT without vulnerabilities and backdoors
On-line, November, 2022

2009

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

2006

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

  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

  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
  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
  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
  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 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
  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
  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
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
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
European Photovoltaic Solar Energy Conference, pp. 1590–1593, Glasgow, UK, May, 2000
Abstract PDF Keith R. McIntosh, Pietro P. Altermatt and Gernot Heiser
Depletion region recombination in solar cells: When does m = 2
European Photovoltaic Solar Energy Conference, pp. 251–254, Glasgow, UK, May, 2000
  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
International Photovoltaic Science and Engineering Conference, 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
International Photovoltaic Science and Engineering Conference, Sapporo, Japan, September, 1999
Abstract PDF 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
International Photovoltaic Science and Engineering Conference, 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
International Photovoltaic Science and Engineering Conference, Sapporo, Japan, September, 1999

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
World Conference on Photovoltaic Energy Conversion, Vienna, Austria, June, 1998
  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

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
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
IEEE Photovoltaic Specialists Conference, pp. 79–82, Anaheim, CA, USA, September, 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
European Photovoltaic Solar Energy Conference, pp. 2465–2468, Barcelona, Spain, June, 1997
  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, June, 1997
  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

1996

Abstract PDF 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
IEEE Photovoltaic Specialists Conference, pp. 549–552, Washington, DC, USA, May, 1996
  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
  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
  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
  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
  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

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
European Photovoltaic Solar Energy Conference, pp. 382–385, Nice, France, October, 1995
Abstract PDF 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
European Photovoltaic Solar Energy Conference, pp. 447–450, Nice, France, October, 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
International Conference on Simulation of Semiconductor Devices and Processes, pp. 348–351, Erlangen, Germany, September, 1995
  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
  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
  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
World Conference on Photovoltaic Energy Conversion, pp. 1563–1566, Waikoloa, HI, USA, December, 1994
Abstract PDF 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
World Conference on Photovoltaic Energy Conversion, pp. 1234–1241, Waikoloa, HI, USA, December, 1994
Abstract PDF Gernot Heiser and Armin G. Aberle
Numerical modelling of non-ideal current-voltage characteristics of high-efficiency silicon solar cells
International Workshop on Numerical Modeling of Processes and Devices for Integrated Circuits, pp. 177-80, Honolulu, HI, USA, June, 1994
  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
  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
  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

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
International Photovoltaic Science and Engineering Conference, 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
International Conference on Simulation of Semiconductor Devices and Processes, pp. 389–392, Vienna, Austria, September, 1993

1991

Abstract PDF Gernot Heiser
Design and implementation of a three-dimensional general purpose semiconductor device simulator
PhD Thesis, ETH Zürich, 1991
  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
  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
Abstract PDF Matthew Noell, Gernot Heiser, Steve Poon and Marius Orlowski
Study of 3-D effects in BOX isolation technologies
International Conference on Simulation of Semiconductor Devices and Processes, pp. 331–340, Zurich, Switzerland, 1991

1990

Abstract 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
International Conference on Solid State Devices and Materials, pp. 143–146, Sendai, Japan, 1990
Abstract PDF 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
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

  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
  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
  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

Invited Talks

2024

Abstract Slides Gernot Heiser
LionsOS: A highly dependable operating system for cyberphysical systems
Keynote at International Symposium on Parallel Computing and Distributed Systems, September, 2024
Abstract Slides Gernot Heiser
LionsOS: Towards a truly dependable operating system
Keynote at International Conference on Dependable Systems and Networks (DSN), June, 2024

2023

Abstract Slides Gernot Heiser
The seL4 microkernel: Provable security for the real world
Keynote at the International Workshop on Advanced Industrial Science and Technology, September, 2023
Abstract Slides Gernot Heiser
Intelligent vehicle security needs a verified operating system
Keynote at the International Workshop on Safety and Security of Intelligent Vehicles, June, 2023
Abstract Slides
Video
Gernot Heiser
seL4 update: Foundation and TS R&D news
Invited talk at the Trusted Computing Center of Excellence 2023 Summit, May, 2023

2022

Abstract Slides
Video
Gernot Heiser
State of seL4-related research
Keynote at the seL4 Summit, October, 2022
Abstract Slides
Video
Gernot Heiser
seL4 overview: Principles, abstractions, use
Invited talk at the seL4 Summit, October, 2022
Abstract Slides Gernot Heiser
Can we make trustworthy systems a reality?
Keynote at the ACM International Systems and Storage Conference (SYSTOR), June, 2022
Abstract Slides Gernot Heiser
Security is no excuse for poor performance: welcome to the world's most highly assured operating system
Invited Talk at the CyberUK Conference, May, 2022
  Slides Gernot Heiser
Securing the kernel
Invited Talk at the Swiss Cyber Security Days, April, 2022
Abstract Slides
Video
Gernot Heiser
The seL4 report: State of the seL4 ecosystem
Keynote at the Trusted Computing Center of Excellence 2022 Summit, February, 2022

2021

  Slides Gernot Heiser
The seL4 microkernel – mathematical proof of security
Invited Talk at the SSRC Summit, October, 2021

2020

Abstract Slides Gernot Heiser
The seL4 microkernel – security through mathematical proof
Invited Talk at the Western Digital Security Workshop, December, 2020
  Slides Gernot Heiser
seL4: verified operating system for the real world
Invited Talk at the Annual Conference of the Research Institute for Cyber Defence (CODE), November, 2020
Abstract Slides
Video
Gernot Heiser
The seL4 report
Keynote at the 3rd seL4 Summit, November, 2020
Abstract Slides
Video
Gernot Heiser
The formally verified seL4 microkernel – a high-assurance foundation for MCS
Keynote at IEEE Conference on Embedded and Real-Time Computing and Applications, August, 2020
Abstract Slides Gernot Heiser
The formally verified seL4 mocrokernel: Present and future
Invited Talk at Multicore World, February, 2020

2019

  Slides Gernot Heiser
Making the (software) TCB trustworthy
Invited Talk at the NSA Formal Methods at Scale Workshop, October, 2019
Abstract Slides Gernot Heiser
We need a new hardware-software contract
Invited Talk at the Lorentz Center SHARD Workshop, September, 2019
Abstract Slides Gernot Heiser
Security needs a better hardware-software contract
Invited talk at Design Automation Conference (DAC), Las Vegas, NV, USA, June, 2019
Abstract Slides Gernot Heiser
Time Protection: Principled prevention of timing channels
Invited Talk at the Enabling Trust through OS Proofs (ENTROPY) Workshop, June, 2019
Abstract Slides Gernot Heiser
How to not only do great systems research, but also convince others
Keynote at EuroSys Doctoral Workshop, Dresden, DE, March, 2019
  Slides Gernot Heiser
Security needs a new hardware-software contract
Invited Talk at the ISAT/DARPA PHI Workshop, February, 2019
Abstract Slides Gernot Heiser
Security needs a new hardware-software contract
Keynote at HiPEAC Workshop Secure Hardware, Architectures, and Operating Systems (SeHAS), January, 2019

2018

Abstract Slides Gernot Heiser
No safety without security, no security without trustworthy operating systems
Invited talk at Qingdao International Academicians Forum, August, 2018
Abstract Slides Gernot Heiser
Stop the leaks: Towards provable information security with seL4
Keynote at the International Summer School on Information Security and Protection (ISSISP), July, 2018
Abstract Slides Gernot Heiser
No safety without security
Presentation to Korean National Academy of Engineering as part of a delegation of the Australian Academy of Technology and Engineering, June, 2018
Abstract Slides Gernot Heiser
The quest for the perfect API
Invited "Fireside Talk" at VMware on occasion of the virtualisation pioneer's 20th anniversary, April, 2018

2017

  Slides Gernot Heiser
Why safety requires security, and how to achieve it
Invited talk at Symposium on Cyber Security of Medical and Healthcare Systems, Hong Kong Productivity Council, December, 2017
  Slides Gernot Heiser
Trustworthy operating systems for critical embedded / cyber-physical systems
Keynote at Embedded Systems Week (ESWEEK), October, 2017
Abstract Slides Gernot Heiser
Software-enforced isolation – the key to cyber-secure cars
Invited talk at Cyber-Secure Car Japan, September, 2017
  Slides Gernot Heiser
The open-source seL4 kernel: Military-grade security through mathematics
Invited talk at Linaro Connect conference, September, 2017
Abstract Slides Gernot Heiser
Operating systems for secure and safe embedded systems
Invited lecture series at ACACES Summer School, Italy, July, 2017
  Slides Gernot Heiser
seL4: A formally-verified OS kernel for the real world
Invited talk at JASON Summer Study on Formal Methods, June, 2017

2016

Abstract Slides Gernot Heiser
Challenges of temporal isolation
Invited Dagstuhl Seminar, October, 2016
  Slides Gernot Heiser
Making systems trustworthy: The seL4 microkernel
Invited Talk at Huawei, October, 2016
  Slides Gernot Heiser
Provable security and safety: The seL4 microkernel and its use in critical systems
Invited lecture at GI Winter School on Operating Systems, February, 2016
  Slides Gernot Heiser
Provable security and safety: The seL4 microkernel and its use in critical systems
Invited Talk at the GFI Workshop on Operating Systems, February, 2016

2015

  Slides Gernot Heiser
seL4 overview
Invited lecture at NATO Cybersecurity School, Jordan, February, 2015
Abstract Slides Gernot Heiser
seL4: Present and future
invited talk at FOSDEM'15, Brussels, BE, February, 2015

2013

Abstract Slides Gernot Heiser
Making trusted systems trustworthy
Invited lecture at the Artist Summer School on Embedded Systems, Aix-les-Bains, France, September, 2013
  Slides Gernot Heiser
Provable isolation
Invited talk at 3rd ADM Cyber Security Conference, June, 2013
  Slides Gernot Heiser
Building effective operating systems in cyber defence – now and into the future
Invited talk at 3rd ADM Cyber Security Conference, June, 2013
Abstract Slides Gernot Heiser
Towards verified real-world systems
Invited talk at LCCC Workshop on Formal Verification of Embedded Control Systems, April, 2013
    Gernot Heiser
Protecting e-government against attacks
Invited talk at European Parliament Workshop on Security of e-Government Systems, February, 2013

2012

  Slides Gernot Heiser
How to write a good (systems) paper
Invited talk at Workshop on Supporting Diversity in Systems Research (Diversity'12), October, 2012
Abstract Slides Gernot Heiser
Can we make trusted systems trustworthy?
Invited lecture at the Artist Summer School on Embedded Systems, Aix-les-Bains, France, September, 2012
  Slides Gernot Heiser
A platform for trustworthy systems
Invited talk at the 9th International Colloquium on Theoretical Aspects of Computing (ICTAC), Bangalore, India, September, 2012
  Slides Gernot Heiser
Towards trustworthy embedded systems
Keynote at Conference on Language, Compiler and Tool Support for Embedded Systems (LCTES), Beijing, China, June, 2012
Abstract Slides Gernot Heiser
How to build truly dependable systems
Invited lecture at UPMARC Summer School on Programming Multicore Computer Systems, Uppsala, Sweden, June, 2012
Abstract Slides Gernot Heiser
Towards a platform for secure systems
Keynote at SICS Workshop on Virtualization and Verification for Security, Stockholm, Sweden, March, 2012
Abstract Slides Gernot Heiser
Towards a platform for trustworthy systems
Invited talk at 2nd Tsinghua Software Day, Beijing, China, March, 2012

2011

  Slides Gernot Heiser
Towards trustworthy systems or the continuing relevance of OS research
Keynote at the Brazilian Symposium of Computational Systems (SBESC), Florianopolis, BR, November, 2011
Abstract Slides Gernot Heiser
Low-overhead virtualization of mobile systems
Invited talk at International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES), Taipei, Taiwan, October, 2011
Abstract Slides Gernot Heiser
The role of language technology in trustworthy operating systems
Keynote at Workshop on Programming Languages and Operating Systems (PLOS), Cascais, Portugal, October, 2011
Abstract Slides
Video
Gernot Heiser
Towards trustworthy systems
Distinguished Lecturer Series, Institute of Information Science, Academia Sinica, Taipei, Taiwan, October, 2011
Abstract Slides Gernot Heiser
Towards an OS platform for truly dependable real-time systems
Keynote at Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT), Porto, Portugal, July, 2011
    Gernot Heiser
Virtualizing embedded systems – why bother?
Invited talk at Design Automation Conference (DAC), San Diego, CA, USA, June, 2011

2010

Abstract Slides Gernot Heiser
The road to trustworthy systems
Distinguished Systems Speakers Series, Purdue University, USA, October, 2010
Abstract Slides Gernot Heiser
The L4 microkernel — from research to mass deployment and back
Invited Talk at Workshop on Isolation and Integration for Dependable Systems, Paris, France, April, 2010
  Slides 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
Invited talk at 1st BSI Workshop on Operating System Security, Munich, DE, December, 2008
    Gernot Heiser
Virtualization in embedded systems
Invited talk at 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, Sydney, August, 2008

2007

    Gernot Heiser
Secure operating systems
Invited lecture at 2nd European Trusted Infrastructure Summer School (ETISS), Bochum, DE, 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, Korea, October, 2007
    Gernot Heiser
Next-generation embedded operating systems
Invited talk at the China Australia ICT Workshop, Beijing, China, August, 2007
    Gernot Heiser
Safe and reliable embedded systems
Invited presentation at ISO/IEC JTC 1 Technology Watch Workshop, Gold Coast, Australia, 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 freedom—essential for business and innovation
Invited talk for Software Freedom 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, IN, February, 2005

Research Theses Supervised

2023

Abstract PDF Zilin Chen
Towards a practical high-assurance systems programming language
PhD Thesis, UNSW, Sydney, Australia, March, 2023

2019

Abstract PDF Qian Ge
Principled elimination of microarchitectural timing channels through operating-system enforced time protection
PhD Thesis, UNSW, Sydney, Australia, October, 2019
Abstract PDF Yanyan Shen
Microkernel mechanisms for improving the trustworthiness of commodity hardware
PhD Thesis, UNSW, Sydney, Australia, March, 2019

2018

Abstract PDF Anna Lyons
Mixed-criticality scheduling and resource sharing for high-assurance operating systems
PhD Thesis, UNSW, August, 2018

2017

Abstract PDF Aaron Carroll
Understanding and reducing smartphone energy consumption
PhD Thesis, UNSW, Sydney, Australia, May, 2017

2016

Abstract PDF Alexander Legg
A counterexample guided method for reactive synthesis
PhD Thesis, UNSW, Sydney,Australia, September, 2016

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 Dave Snowdon
OS-level power management
PhD Thesis, School of Computer Science and Engineering, UNSW, Sydney, Australia, Sydney, Australia, March, 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, DE, June, 2005

1999

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

1998

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