Gernot Heiser
Chief Research Scientist; Scientia Professor and John Lions Chair, UNSW

Publication List

Projects

Current Mixed-Criticality Real-time Systems Time Protection Cogent The seL4 Microkernel Virtualisation RISC-V

Past Termite Energy Management CAmkES QB50 satellite payload Verification-Enhanced Compiler Optimisation Trustworthy COTS SMACCM

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 Data61's predecessor NICTA at its creation in late 2002, initially serving as the leader of the ERTOS program, later leading the Software Systems (now Trustworthy Systems) research group until he stepped down from management positions at the end of 2015. 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, UNSW's Distinguished Professor title. He continues to hold his UNSW appointment concurrently with his Data61 position.

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

Gernot is a Fellow of the Australian Academy of Technology and Engineering (ATSE), 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

• Member, Engineering and Interdisciplinary Science (EIS) Panel of the Royal Society of New Zealand Marsden Fund 2014
• Member, IFIP Working Group 10.4 Dependable Computing and Fault Tolerance
• Member, Mathematics, Information and Computing Sciences (MIC) Panel of the Australian Research Council (ARC) Excellence in Research for Australia evaluation 2010

Steering Committees

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

Program Committees and Editorial Boards

• Member of Editorial Board, CACM Research Highlights, since 2018
• Associate Editor, IEEE Transactions on Computers, 2016–19
• ACM SIGOPS Symposium on Operating Systems Principles (SOSP): 2011, 2017, 2019, 2021
• USENIX Symposium on Operating Systems Design and Implementation (OSDI): 2014, 2016, 2020, 2021 (ERC)
• 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, 2017 (ERC), 2019, 2020 (ERC)
• IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) : 2018
• International Conference on Very Large Databases (VLDB), 2016 (Industrial Track)
• Usenix Annual Technical Conference: 2006, 2012 (co-Chair), 2019 (ERC), 2020 (ERC)
• 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, 2017, 2019 (Chair)
• 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

Publications

• Google Scholar profile
• Best Papers
• Data61 Papers (2020, 2019, 2018, 2017)
• NICTA Papers (2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003)
• Papers without Data61 or NICTA affiliation (2020, 2019, 2018, 2009, 2006, 2003, 2002, 2002, 2001, 2001, 2000, 2000, 1999, 1999, 1998, 1998, 1997, 1997, 1996, 1996, 1995, 1995, 1994, 1994, 1993, 1993, 1992, 1991, 1990, 1989, 1987, 1986)
• Research Theses Supervised

Best Papers

		Qian Ge, Yuval Yarom, Tom Chothia and Gernot Heiser Time protection: The missing OS abstraction EuroSys Conference, Dresden, Germany, March, 2019 Best Paper Award!
		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
		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
		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
		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
		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
		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!
		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
		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!
		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
		Dave Snowdon, Etienne Le Sueur, Stefan Petters and Gernot Heiser Koala: A platform for OS-level power management EuroSys Conference, pp. 289–302, Nuremberg, DE, April, 2009
		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!
		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!
		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

Data61 Papers

2020

		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
		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
		Erik van der Kouwe, Gernot Heiser, Dennis Andriesse, Herbert Bos and Cristiano Giuffrida Benchmarking flaws undermine security research IEEE Security and Privacy Magazine, Volume 18, Issue 3, May, 2020
		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
		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
		Gernot Heiser Verified seL4 on secure RISC-V processors at linux.conf.au, Gold Coast, January, 2020

2019

		Gernot Heiser Security needs a better hardware-software contract Invited talk at Design Automation Conference (DAC), Las Vegas, NV, USA, June, 2019
		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
		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
		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
		Qian Ge, Yuval Yarom, Tom Chothia and Gernot Heiser Time protection: The missing OS abstraction EuroSys Conference, Dresden, Germany, March, 2019 Best Paper Award!
		Gernot Heiser What's new in the world of seL4? Talk at FOSDEM'19, Brussels, February, 2019

2018

		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
		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
		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
		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
		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.
		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
		Gernot Heiser The quest for the perfect API Invited "Fireside Talk" at VMware on occasion of the virtualisation pioneer's 20th anniversary, April, 2018
		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
		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
		Gernot Heiser Flying autonomous aircraft: Mixed-criticality support in seL4 at linux.conf.au, Sydney, January, 2018

2017

		Zilin Chen, Liam O'Connor-Davis, 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
		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
		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
		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
		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

NICTA Papers

2016

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

		Yuval Yarom, Qian Ge, Fangfei Liu, Ruby B. Lee and Gernot Heiser Mapping the Intel last-level cache The Cryptology ePrint Archive, September, 2015
		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
		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
		Gernot Heiser seL4: Present and future invited talk at FOSDEM'15, Brussels, BE, February, 2015
		Gernot Heiser seL4 is free — what does this mean for you? Abstract, LCA.

2014

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

		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.
		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
		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.
		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
		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!
		Gernot Heiser Can truly dependable systems be affordable? Keynote at APSys'13, Singapore, July, 2013
		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
		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
		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!
		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
		Gernot Heiser Protecting e-government against attacks EP Workshop on Security of e-Government, pp. 5, Brussels, Belgium, February, 2013

2012

		Bernard Blackham and Gernot Heiser Correct, fast, maintainable — choose any three! Asia-Pacific Workshop on Systems (APSys), pp. 7, Seoul, Korea, July, 2012
		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
		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
		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
		Stefan M Petters, Kevin Elphinstone and Gernot Heiser Trustworthy real-time systems Advances in Real-Time Systems, pp. 191–206, Springer, 2012

2011

		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
		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
		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
		Prashant Varanasi and Gernot Heiser Hardware-supported virtualization on ARM Asia-Pacific Workshop on Systems (APSys), pp. 5 pages, Shanghai, China, July, 2011
		Gernot Heiser Virtualizing embedded systems — why bother? Design Automation Conference (DAC), pp. 901–905, Dan Diego, CA, USA, June, 2011
		Etienne Le Sueur and Gernot Heiser Slow down or sleep, that is the question USENIX Technical Conference, Portland, Oregon, USA, June, 2011
		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
		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

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

		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!
		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
		Matthew Chapman and Gernot Heiser vNUMA: A virtual shared-memory multiprocessor USENIX Annual Technical Conference, pp. 349–362, San Diego, USA, June, 2009
		Leonid Ryzhyk, Peter Chubb, Ihor Kuz and Gernot Heiser Dingo: Taming device drivers EuroSys Conference, pp. 275–288, Nuremberg, DE, April, 2009
		Dave Snowdon, Etienne Le Sueur, Stefan Petters and Gernot Heiser Koala: A platform for OS-level power management EuroSys Conference, pp. 289–302, Nuremberg, DE, April, 2009
		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
		Gernot Heiser Hypervisors for consumer electronics IEEE Consumer Communications and Networking Conference, pp. 1–5, Las Vegas, NV, USA, January, 2009

2008

		André Hergenhan and Gernot Heiser Operating systems technology for converged ECUs 6th Embedded Security in Cars Conference (escar), pp. 3 pages, Hamburg, Germany, November, 2008
		Joshua LeVasseur, Volkmar Uhlig, Yaowei Yang, Matthew Chapman, Peter Chubb, Ben Leslie and Gernot Heiser Pre-virtualization: Soft layering for virtual machines Asia-Pacific Computer Systems Architecture Conference, pp. 1–9, Hsinchu, Taiwan, August, 2008 Best Paper Award!
		Gernot Heiser Trusted ⇐ trustworthy ⇐ proof – Position paper Proceedings of the 2nd Conference on Future of Trust in Computing, pp. 55–59, Berlin, Germany, May, 2008
		Gernot Heiser The role of virtualization in embedded systems Workshop on Isolation and Integration in Embedded Systems, pp. 11–16, Glasgow, UK, April, 2008
		Gernot Heiser Do microkernels suck? Other Conference Presentation, Linux.conf.au, Melbourne, Australia, January, 2008.

2007

		Gernot Heiser Your system is secure? Prove it! USENIX ;login:, Volume 32(6), pp. 35—38, December, 2007
		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
		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
		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
		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
		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
		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
		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
		Gerwin Klein, Michael Norrish, Kevin Elphinstone and Gernot Heiser Verifying a high-performance micro-kernel 7th Annual High-Confidence Software and Systems Conference, Baltimore, MD, USA, May, 2007
		Ihor Kuz, Yan Liu, Ian Gorton and Gernot Heiser CAmkES: A component model for secure microkernel-based embedded systems Journal of Systems and Software Special Edition on Component-Based Software Engineering of Trustworthy Embedded Systems, Volume 80, Number 5, pp. 687–699, May, 2007 Preprint
		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
		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

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

2005

		Gernot Heiser Secure embedded systems need microkernels USENIX ;login:, Volume 30, Number 6, pp. 9–13, December, 2005
		Kevin Elphinstone, Gernot Heiser, Ralf Huuck, Stefan M. Petters and Sergio Ruocco L4cars 3rd Embedded Security in Cars Conference (escar), Cologne, Germany, November, 2005
		Joshua LeVasseur, Volkmar Uhlig, Matthew Chapman, Peter Chubb, Ben Leslie and Gernot Heiser Pre-virtualization: Slashing the cost of virtualization Technical Report PA005520, NICTA, October, 2005
		Ben Leslie, Peter Chubb, Nicholas FitzRoy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yueting (Rita) Shen, Kevin Elphinstone and Gernot Heiser User-level device drivers: Achieved performance Journal of Computer Science and Technology, Volume 20, Number 5, pp. 654–664, September, 2005
		David C. Snowdon, Sergio Ruocco and Gernot Heiser Power management and dynamic voltage scaling: Myths and facts Proceedings of the 2005 Workshop on Power Aware Real-time Computing, New Jersey, USA, September, 2005 Preliminary workshop version
		Ben Leslie, Peter Chubb, Nicholas FitzRoy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yueting (Rita) Shen, Kevin Elphinstone and Gernot Heiser User-level device drivers: Achieved performance Technical Report PA005043, NICTA, July, 2005
		David C. Snowdon, Stefan M. Petters and Gernot Heiser Power measurement as the basis for power management Proceedings of the 1st Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT), Palma, Mallorca, Spain, July, 2005
		Harvey Tuch, Gerwin Klein and Gernot Heiser OS verification — now! Proceedings of the 10th Workshop on Hot Topics in Operating Systems (HotOS), pp. 7–12, Santa Fe, NM, USA, June, 2005
		Andrew Baumann, Gernot Heiser, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, Robert W. Wisniewski and Jeremy Kerr Providing dynamic update in an operating system Proceedings of the 2005 USENIX Annual Technical Conference, pp. 279–291, Anaheim, CA, USA, April, 2005
		Matthew Chapman and Gernot Heiser Implementing transparent shared memory on clusters using virtual machines Proceedings of the 2005 USENIX Annual Technical Conference, pp. 383–386, Anaheim, CA, USA, April, 2005
		Charles Gray, Matthew Chapman, Peter Chubb, David Mosberger-Tang and Gernot Heiser Itanium — a system implementor's tale Proceedings of the 2005 USENIX Annual Technical Conference, pp. 264–278, Anaheim, CA, USA, April, 2005 Best Student Paper Award!
		Ben Leslie, Carl van Schaik and Gernot Heiser Wombat: A portable user-mode Linux for embedded systems 6th Linux.conf.au, Canberra, April, 2005

2004

		Frank Engel, Gernot Heiser, Peter Mumford, Kevin Parkinson and Chris Rizos An open GNSS receiver platform architecture International Symposium on GNSS/GPS, Sydney, Australia, December, 2004
		Frank Engel, Gernot Heiser, Ihor Kuz, Stefan M. Petters and Sergio Ruocco Operating systems on SoCs: A good idea? Embedded Real-Time Systems Implementation (ERTSI 2004) Workshop, Lisbon, Portugal, December, 2004
		Luke Macpherson and Gernot Heiser Maintaining end-system performance under network overload Technical Report UNSW-CSE-TR-0412, School of Computer Science and Engineering, March, 2004
		Ben Leslie, Nicholas FitzRoy-Dale and Gernot Heiser Encapsulated user-level device drivers in the Mungi operating system Proceedings of the Workshop on Object Systems and Software Architectures 2004, Victor Harbor, South Australia, Australia, January, 2004
		Daniel Potts, Charles Gray, Ben Leslie and Gernot Heiser A secure, language independent, high performance component interface Proceedings of the Workshop on Object Systems and Software Architectures 2004, Victor Harbor, South Australia, January, 2004

2003

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

Papers without NICTA or Data61 Affiliation

2020

Gernot Heiser The seL4 microkernel – an introduction seL4 Foundation Whitepaper, May, 2020

2019

Gernot Heiser How to not only do great systems research, but also convince others Keynote at EuroSys'19 Doctoral Workshop, Dresden, Germany, March, 2019

2018

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

2009

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

2006

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

2003

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

2002

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

		Gernot Heiser Dealing with TLB tags International Workshop on Microkernels for Embedded Systems, Lake Louise, Alta, Canada, October, 2001
		Antony Edwards and Gernot Heiser Secure OS extensibility needn't cost an arm and a leg Proceedings of the 8th Workshop on Hot Topics in Operating Systems (HotOS), pp. 168, Schloss Elmau, Germany, May, 2001
		Antony Edwards and Gernot Heiser A component architecture for system extensibility Technical Report UNSW-CSE-TR-0103, School of Computer Science and Engineering, March, 2001
		Daniel Potts, Simon Winwood and Gernot Heiser L4 reference manual: Alpha 21x64 Technical Report UNSW-CSE-TR-0104, School of Computer Science and Engineering, March, 2001
		Gernot Heiser Proceedings of the 6th Asia-Pacific Computer Systems Architecture Conference Gold Coast, QLD, Australia (January, 2001). IEEE Computer Society Press.
		Alan Au and Gernot Heiser Enhancing IA64 memory management 2nd Linux.conf.au, Sydney, Australia, January, 2001
		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
		Gernot Heiser Inside L4/MIPS: Anatomy of a high-performance microkernel Sydney, Australia, January, 2001
		Pietro P. Altermatt, Ronald A. Sinton and Gernot Heiser Improvements in numerical modelling of highly injected crystalline silicon solar cells Solar Energy Materials and Solar Cells, Volume 65, pp. 95-103, 2001
		Richard Corkish, Pietro P. Altermatt and Gernot Heiser Numerical simulation of electron-beam-induced current near a silicon grain boundary and impact of a p-n junction space charge region Solar Energy Materials and Solar Cells, Volume 65, pp. 63–65, 2001
		Jürgen Schumacher, Pietro P. Altermatt, Gernot Heiser and Armin G. Aberle Application of an improved band-gap narrowing model to the numerical simulation of recombination properties of phosphorus-doped silicon emitters Solar Energy Materials and Solar Cells, Volume 65, pp. 95–103, 2001

2000

		Pietro P. Altermatt, Jürgen O. Schumacher, Andres Cuevas, Stephen W. Glunz, Richard R. King, Gernot Heiser and Andreas Schenk The extraction of the surface recombination velocity of Si: P emitters using advanced silicon models Proceedings of the 16th European Photovoltaic Solar Energy Conference, pp. 102–105, Glasgow, UK, May, 2000
		Pietro P. Altermatt, Jan Schmidt, M. Kerr, Gernot Heiser and Armin G. Aberle Exciton-enhanced Auger recombination in crystalline silicon under intermediate and high injection conditions Proceedings of the 16th European Photovoltaic Solar Energy Conference, pp. 243–246, Glasgow, UK, May, 2000
		Richard Corkish, Keung L. Luke, Pietro P. Altermatt and Gernot Heiser Simulating electron-beam-induced current profiles across p-n junctions Proceedings of the 16th European Photovoltaic Solar Energy Conference, pp. 1590–1593, Glasgow, UK, May, 2000
		Keith R. McIntosh, Pietro P. Altermatt and Gernot Heiser Depletion region recombination in solar cells: When does m = 2 Proceedings of the 16th European Photovoltaic Solar Energy Conference, pp. 251–254, Glasgow, UK, May, 2000
		Gernot Heiser Proceedings of the 5th Australasian Computer Architecture Conference Canberra, ACT, Australia (January, 2000). IEEE Computer Society Press.
		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
		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

		Pietro P. Altermatt, Andreas Schenk, Martin A. Green and Gernot Heiser The influence of a new bandgap narrowing model on measurements of the intrinsic carrier density in crystalline silicon 11th International Photovoltaic Science and Engineering Conference Digest of Technical Papers, Sapporo, Japan, September, 1999
		Pietro P. Altermatt, Ronald A. Sinton and Gernot Heiser Improvements in numerical modelling of highly injected crystalline silicon solar cells 11th International Photovoltaic Science and Engineering Conference Digest of Technical Papers, Sapporo, Japan, September, 1999
		Richard Corkish, Pietro P. Altermatt and Gernot Heiser Numerical simulation of electron-beam-induced current near a silicon grain boundary and impact of a p-n junction space charge region 11th International Photovoltaic Science and Engineering Conference Digest of Technical Papers, Sapporo, Japan, September, 1999
		Jürgen O. Schumacher, Pietro P. Altermatt, Gernot Heiser and Armin G. Aberle Application of an improved band gap narrowing model to the numerical simulation of recombination properties of phosphorus doped silicon emitters 11th International Photovoltaic Science and Engineering Conference Digest of Technical Papers, Sapporo, Japan, September, 1999
		Adam Wiggins and Gernot Heiser Fast address-space switching on the StrongARM SA-1100 processor Technical Report UNSW-CSE-TR-9906, School of Computer Science and Engineering, July, 1999
		Luke Deller and Gernot Heiser Linking programs in a single address space Proceedings of the 1999 USENIX Annual Technical Conference, pp. 283–294, Monterey, Ca, USA, June, 1999
		Kevin Elphinstone, Gernot Heiser and Jochen Liedtke L4 reference manual: MIPS R4x00, version 1.11, kernel version 79 Sydney, Australia, May, 1999
		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

		Kevin Elphinstone, Gernot Heiser and Jochen Liedtke Page tables for 64-bit computer systems Technical Report UNSW-CSE-TR-9804, School of Computer Science and Engineering, August, 1998
		Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell and Jochen Liedtke The Mungi single-address-space operating system Software: Practice and Experience, Volume 28, Number 9, pp. 901–928, July, 1998
		Richard Corkish, Keung L. Luke, Alistair Sproul, T. Puzzer, Pietro P. Altermatt and Gernot Heiser Quantitative analysis of electron-beam-induced current profiles of grain boundaries in multicrystalline solar cells 2nd World Conference on Photovoltaic Energy Conversion, Vienna, Austria, June, 1998
		Alan Au and Gernot Heiser L4 User Manual — version 1.0 Technical Report UNSW-CSE-TR-9801, School of Computer Science and Engineering, April, 1998
		Gernot Heiser, Fondy Lam and Stephen Russell Resource management in the Mungi single-address-space operating system Proceedings of the 21st Australasian Computer Science Conference (ACSC), pp. 417–428, Perth, Australia, February, 1998
		Peter Bradley, Anatoly B. Rosenfeld, K.K. Lee, D.N. Jamieson, Gernot Heiser and S. Satoh Charge collection and radiation hardness of a SOI microdosimeter for medical and space applications IEEE Transactions on Nuclear Science, Volume 45, pp. 2700–2710, 1998

1997

		Kevin Elphinstone, Gernot Heiser and Jochen Liedtke L4 reference manual – MIPS R4x00 — Version 1.0 Technical Report UNSW-CSE-TR-9709, School of Computer Science and Engineering, December, 1997
		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
		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
		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
		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
		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
		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
		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 (HotOS), pp. 28–31, Cape Cod, MA, USA, May, 1997
		Gernot Heiser, Jerry Vochteloo, Kevin Elphinstone and Stephen Russell The Mungi kernel API/Release 1.0 Technical Report UNSW-CSE-TR-9701, School of Computer Science and Engineering, March, 1997
		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

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

		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
		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
		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
		Jinsong Ouyang and Gernot Heiser Checkpointing and recovery for distributed shared memory applications Technical Report UNSW-CSE-TR-9502, UNSW, September, 1995
		Gernot Heiser, Pietro P. Altermatt and James Litsios Combining 2D and 3D device simulation with circuit simulation for optimising high-efficiency silicon solar cells Proceedings of the 6th International Conference on Simulation of Semiconductor Devices and Processes, pp. 348–351, Erlangen, Germany, September, 1995
		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
		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
		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
		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

		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
		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
		Kevin Elphinstone, Stephen Russell and Gernot Heiser Issues in implementing virtual memory Technical Report UNSW-CSE-TR-9411, School of Computer Science and Engineering, September, 1994
		Gernot Heiser 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
		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
		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
		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
		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

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

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

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

1990

		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
		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
		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
		Gernot Heiser Device simulation: Supplementary documents Technical Report 90/10, Integrated Systems Lab, 1990
		Gernot Heiser and Kevin Kells Second user manual Technical Report 90/12, Integrated Systems Lab, 1990
		Gernot Heiser, Claude Pommerell, Jürgen Weis, Marco Annaratone, Wolfgang Fichtner, Randolph Bank, William Coughran and Kent Smith A comparison of algorithms for large-scale device simulation 3rd International Workshop on Numerical Modeling of Processes and Devices for Integrated Circuits, Honolulu, USA, 1990
		Gernot Heiser DATEX – data exchange format for semiconductor device simulations Technical Report 90/10, Integrated Systems Lab, 1990
		Gernot Heiser Conventions for one, two and three dimensional grid descriptions Technical Report 90/10, Integrated Systems Lab, 1990

1989

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

1987

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

1986

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

Research Theses Supervised

2019

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

2018

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

2017

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

2016

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

2014

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

2013

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

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

2010

		Dave Snowdon OS-level power management PhD Thesis, School of Computer Science and Engineering, UNSW, Sydney, Australia, Sydney, Australia, March, 2010
		Leonid Ryzhyk On the construction of reliable device drivers PhD Thesis, UNSW, Sydney, Australia, January, 2010

2009

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

2008

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

2007

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

2005

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

1999

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

1998

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