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:/ |
Twitter: | @GernotHeiser |
Mastodon: | @gernot@discuss.systems |
Blog: | https:/ |
More contact information is available at the Contact page.
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:
- Apple
- Australian National University
- Boeing
- Breakaway Consulting
- DARPA
- Department of Defense, Australia
- Dresden University of Technology, Germany
- ETH Zurich
- Galois
- HENSOLDT Cyber
- HP Labs
- IBM T.J. Watson Research Centre
- Intel
- Imperial College
- Max Planck Institute for Software Systems
- National University of Singapore
- Neutrality
- Pennsylvania State University
- Princeton University
- Qualcomm
- Rockwell Collins
- University of Adelaide
- University of Birmingham
- University of Karlsruhe
- University of Melbourne
- University of Minnesota
- University of Sydney
- University of Toronto
- Vreije Universiteit Amsterdam
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
- Member of the German National Academy of Sciences Leopoldina
- Fellow of the Royal Society of NSW (RSN)
- Fellow of the Australian Academy of Technology and Engineering (ATSE)
- Fellow of Engineers Australia
- Fellow of the ACM, including SIGOPS and EuroSys
- Live Fellow of the IEEE and its Computer Society
- Live Member of Electronic Frontiers Australia
High-Level Advisory Roles
- Member, Advisory Panel of the Australian Privacy Foundation, since 2021
- Member, Scientific Advisory Board, Secure Systems Research Center of UAE's Technology Innovation Institute, 2021–24
- Chief Scientific Officer, Neutrality, since 2021
- Founding Chairman, the seL4 Foundation, since 2020
- Chief Scientist (Software), HENSOLDT Cyber, 2018–22
- Member, Scientific Advisory Board, Max Planck Institute for Software Systems, since 2018
- 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, since 2012
- 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
- ACM SIGOPS Symposium on Operating Systems Principles (SOSP): 2011, 2017, 2019, 2021, 2023, 2024
- USENIX Symposium on Operating Systems Design and Implementation (OSDI): 2014, 2016, 2020, 2025
- Associate Editor, IEEE Transactions on Computers, 2016–19
- 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), 2024, 2025 (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, 2020 (Chair), 2022
- Euromicro Conference on Real-Time Systems (ECRTS): 2013, 2014
- IEEE International Conference on Distributed Systems (ICDCS): 2014
- ACM International Systems and Storage Conference (SYSTOR): 2011, 2015 (co-Chair)
- Symposium on Research in Attacks, Intrusions and Defenses (RAID): 2014
- Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT): 2014
Recognition and Awards
- ACM Software System Award 2022
- Included in the ACM Distinguished Speakers list since 2021
- ACM SIGOPS Hall of Fame Award (2019) for the paper "seL4: Formal Verification of an OS Kernel" published at SOSP 2009
- South East Asia Regional Computer Confederation (SEARC) 2016 ICT Researcher of the Year
- Australian Computer Society Digital Disruptor Award 2015 ICT Researcher of the Year
- Engineers Australia Entrepreneur of the Year 2014
- UNSW Vice-Chancellor's Award for Teaching Excellence 2012
- Listed in Engineers Australia's Top-100 list of Australia's most influential engineers
- UNSW Scientia Professor since 2011
- Winner (with L4.verified team) NICTA's 2010 A. Richard Newton Excellence in Research Impact Award
- Warren Centre Innovation Hero Award, 2010
- New South Wales Scientist of the Year 2009, Category Engineering, Mathematics and Computer Science
- Winner NICTA's 2008 A. Richard Newton Excellence in Research Impact Award
- 2007 AIIA iAward, Category Applications and Infrastructure Tools
Publications
- Google Scholar profile
- Best Papers
- TS Group Papers (2024, 2023, 2022, 2021, 2020, 2019, 2018, 2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000, 1999, 1998, 1997, 1996, 1995, 1994, 1993, 1992)
- Papers not affiliated with TS (2023, 2022, 2009, 2006, 2003, 2002, 2001, 2000, 1999, 1998, 1997, 1996, 1995, 1994, 1993, 1991, 1990, 1989, 1987, 1986)
- Invited Talks
- 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 M. 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 USENIX, 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 |
Trustworthy Systems Group Papers
2024
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 | ||
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 | ||
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 | ||
|
Gernot Heiser Lions OS: secure – fast – adaptable Everything Open, Gladstone, QLD, AU, April, 2024 | |
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
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 | ||
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 | ||
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 | ||
|
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 | |
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 | ||
|
Gernot Heiser R&D update from Trustworthy Systems Talk at the 5th seL4 Summit, 2023 | |
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
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 | ||
|
|
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 |
|
Gernot Heiser The seL4 Foundation – growing through upheaval On-line, January, 2022 |
2021
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
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 | ||
Gernot Heiser The seL4 microkernel – an introduction seL4 Foundation Whitepaper, May, 2020 | ||
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 | ||
|
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
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 | ||
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 | ||
|
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 | ||
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, 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 |
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 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 Honorable Mention Award | |
|
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 M. 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 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 Conference on Future of Trust in Computing, pp. 55–59, Berlin, DE, 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 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 | ||
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 | ||
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 | ||
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 | ||
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 USENIX, 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 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 Embedded Security in Cars Conference (escar), Cologne, DE, 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 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 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! 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 USENIX, pp. 279–291, Anaheim, CA, USA, April, 2005 | ||
Matthew Chapman and Gernot Heiser Implementing transparent shared memory on clusters using virtual machines USENIX, 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 USENIX, 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 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 Workshop on Object Systems and Software Architectures , Victor Harbor, South Australia, Australia, January, 2004 | ||
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
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 | ||
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 | ||
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 | ||
Matthew Chapman, Ian Wienand and Gernot Heiser Itanium page tables and TLB Technical Report UNSW-CSE-TR-0307, School of Computer Science and Engineering, May, 2003 | ||
Ben Leslie and Gernot Heiser Towards untrusted device drivers Technical Report UNSW-CSE-TR-0303, School of Computer Science and Engineering, March, 2003 |
2002
Shane Stephens and Gernot Heiser Fault tolerance and avoidance in biomedical systems 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 Asia-Pacific Computer Systems Architecture Conference, Monash University, Melbourne, Australia, January, 2002 | ||
Volkmar Uhlig, Uwe Dannowski, Espen Skoglund, Andreas Haeberlen and Gernot Heiser Performance of address-space multiplexing on the Pentium Technical Report 2002-1, Computer Science Department, University of Karlsruhe, 2002 |
2001
Gernot Heiser Dealing with TLB tags 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 Workshop on Hot Topics in Operating Systems (HotOS), pp. 168, Schloss Elmau, DE, May, 2001 | ||
Daniel Potts, Simon Winwood and Gernot Heiser L4 reference manual: Alpha 21x64 Technical Report UNSW-CSE-TR-0104, School of Computer Science and Engineering, March, 2001 | ||
Alan Au and Gernot Heiser Enhancing IA64 memory management Linux.conf.au, Sydney, Australia, January, 2001 | ||
Antony Edwards and Gernot Heiser Components + Security = OS Extensibility 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 |
2000
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
Luke Deller and Gernot Heiser Linking programs in a single address space USENIX, 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 Australasian Computer Architecture Conference, pp. 211-226, Auckland, New Zealand, January, 1999 |
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 | ||
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
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
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 | ||
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 International Workshop on Persistent Object Systems (POS), pp. 111–119, Cape May, NJ, USA, May, 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 | ||
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
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
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
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
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
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
Gernot Heiser The Motorola Evoke QA4: A case study in mobile virtualization Technical Report, Open Kernel Labs, July, 2009 |
2006
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
Armin G. Aberle, Martin A. Green and Gernot Heiser Two-dimensional minority carrier flow in high-efficiency silicon solar cells at short-circuit, open-circuit and maximum power point operating conditions International Photovoltaic Science and Engineering Conference, 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 International Conference on Simulation of Semiconductor Devices and Processes, pp. 389–392, Vienna, Austria, September, 1993 |
1991
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
Invited Talks
2024
Gernot Heiser LionsOS: A highly dependable operating system for cyberphysical systems Keynote at International Symposium on Parallel Computing and Distributed Systems, September, 2024 | ||
Gernot Heiser LionsOS: Towards a truly dependable operating system Keynote at International Conference on Dependable Systems and Networks (DSN), June, 2024 |
2023
Gernot Heiser The seL4 microkernel: Provable security for the real world Keynote at the International Workshop on Advanced Industrial Science and Technology, September, 2023 | ||
Gernot Heiser Intelligent vehicle security needs a verified operating system Keynote at the International Workshop on Safety and Security of Intelligent Vehicles, June, 2023 | ||
|
Gernot Heiser seL4 update: Foundation and TS R&D news Invited talk at the Trusted Computing Center of Excellence 2023 Summit, May, 2023 |
2022
|
Gernot Heiser State of seL4-related research Keynote at the seL4 Summit, October, 2022 | |
|
Gernot Heiser seL4 overview: Principles, abstractions, use Invited talk at the seL4 Summit, October, 2022 | |
Gernot Heiser Can we make trustworthy systems a reality? Keynote at the ACM International Systems and Storage Conference (SYSTOR), June, 2022 | ||
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 | ||
Gernot Heiser Securing the kernel Invited Talk at the Swiss Cyber Security Days, April, 2022 | ||
|
Gernot Heiser The seL4 report: State of the seL4 ecosystem Keynote at the Trusted Computing Center of Excellence 2022 Summit, February, 2022 |
2021
Gernot Heiser The seL4 microkernel – mathematical proof of security Invited Talk at the SSRC Summit, October, 2021 |
2020
Gernot Heiser The seL4 microkernel – security through mathematical proof Invited Talk at the Western Digital Security Workshop, December, 2020 | ||
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 | ||
|
Gernot Heiser The seL4 report Keynote at the 3rd seL4 Summit, November, 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 The formally verified seL4 mocrokernel: Present and future Invited Talk at Multicore World, February, 2020 |
2019
Gernot Heiser Making the (software) TCB trustworthy Invited Talk at the NSA Formal Methods at Scale Workshop, October, 2019 | ||
Gernot Heiser We need a new hardware-software contract Invited Talk at the Lorentz Center SHARD Workshop, September, 2019 | ||
Gernot Heiser Security needs a better hardware-software contract Invited talk at Design Automation Conference (DAC), Las Vegas, NV, USA, June, 2019 | ||
Gernot Heiser Time Protection: Principled prevention of timing channels Invited Talk at the Enabling Trust through OS Proofs (ENTROPY) Workshop, June, 2019 | ||
Gernot Heiser How to not only do great systems research, but also convince others Keynote at EuroSys Doctoral Workshop, Dresden, DE, March, 2019 | ||
Gernot Heiser Security needs a new hardware-software contract Invited Talk at the ISAT/DARPA PHI Workshop, February, 2019 | ||
Gernot Heiser Security needs a new hardware-software contract Keynote at HiPEAC Workshop Secure Hardware, Architectures, and Operating Systems (SeHAS), January, 2019 |
2018
Gernot Heiser No safety without security, no security without trustworthy operating systems Invited talk at Qingdao International Academicians Forum, August, 2018 | ||
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 | ||
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 | ||
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
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 | ||
Gernot Heiser Trustworthy operating systems for critical embedded / cyber-physical systems Keynote at Embedded Systems Week (ESWEEK), October, 2017 | ||
Gernot Heiser Software-enforced isolation – the key to cyber-secure cars Invited talk at Cyber-Secure Car Japan, September, 2017 | ||
Gernot Heiser The open-source seL4 kernel: Military-grade security through mathematics Invited talk at Linaro Connect conference, September, 2017 | ||
Gernot Heiser Operating systems for secure and safe embedded systems Invited lecture series at ACACES Summer School, Italy, July, 2017 | ||
Gernot Heiser seL4: A formally-verified OS kernel for the real world Invited talk at JASON Summer Study on Formal Methods, June, 2017 |
2016
Gernot Heiser Challenges of temporal isolation Invited Dagstuhl Seminar, October, 2016 | ||
Gernot Heiser Making systems trustworthy: The seL4 microkernel Invited Talk at Huawei, October, 2016 | ||
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 | ||
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
Gernot Heiser seL4 overview Invited lecture at NATO Cybersecurity School, Jordan, February, 2015 | ||
Gernot Heiser seL4: Present and future invited talk at FOSDEM'15, Brussels, BE, February, 2015 |
2013
Gernot Heiser Making trusted systems trustworthy Invited lecture at the Artist Summer School on Embedded Systems, Aix-les-Bains, France, September, 2013 | ||
Gernot Heiser Provable isolation Invited talk at 3rd ADM Cyber Security Conference, June, 2013 | ||
Gernot Heiser Building effective operating systems in cyber defence – now and into the future Invited talk at 3rd ADM Cyber Security Conference, June, 2013 | ||
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
Gernot Heiser How to write a good (systems) paper Invited talk at Workshop on Supporting Diversity in Systems Research (Diversity'12), October, 2012 | ||
Gernot Heiser Can we make trusted systems trustworthy? Invited lecture at the Artist Summer School on Embedded Systems, Aix-les-Bains, France, September, 2012 | ||
Gernot Heiser A platform for trustworthy systems Invited talk at the 9th International Colloquium on Theoretical Aspects of Computing (ICTAC), Bangalore, India, September, 2012 | ||
Gernot Heiser Towards trustworthy embedded systems Keynote at Conference on Language, Compiler and Tool Support for Embedded Systems (LCTES), Beijing, China, June, 2012 | ||
Gernot Heiser How to build truly dependable systems Invited lecture at UPMARC Summer School on Programming Multicore Computer Systems, Uppsala, Sweden, June, 2012 | ||
Gernot Heiser Towards a platform for secure systems Keynote at SICS Workshop on Virtualization and Verification for Security, Stockholm, Sweden, March, 2012 | ||
Gernot Heiser Towards a platform for trustworthy systems Invited talk at 2nd Tsinghua Software Day, Beijing, China, March, 2012 |
2011
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 | ||
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 | ||
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 | ||
|
Gernot Heiser Towards trustworthy systems Distinguished Lecturer Series, Institute of Information Science, Academia Sinica, Taipei, Taiwan, October, 2011 | |
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
Gernot Heiser The road to trustworthy systems Distinguished Systems Speakers Series, Purdue University, USA, October, 2010 | ||
Gernot Heiser The L4 microkernel — from research to mass deployment and back Invited Talk at Workshop on Isolation and Integration for Dependable Systems, Paris, France, April, 2010 | ||
Gernot Heiser Formally-verified OS kernel: A basis for reliable systems? Invited Talk at IFIP WG10.4 Winter Meeting, Ishigaki Island, Japan, January, 2010 |
2009
Gernot Heiser 8,000 lines, one kernel, zero bugs Invited talk at Microsoft Research Asia Workshop on Verified Software, Beijing, China, October, 2009 |
2008
Gernot Heiser Formal OS kernel verification—making trusted trustworthy 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
Zilin Chen Towards a practical high-assurance systems programming language PhD Thesis, UNSW, Sydney, Australia, March, 2023 |
2019
2018
Anna Lyons Mixed-criticality scheduling and resource sharing for high-assurance operating systems PhD Thesis, UNSW, August, 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
2010
2009
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, DE, 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 |