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 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
|
|
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
|
|
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
|
|
|
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 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 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 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 European Photovoltaic Solar Energy Conference, pp. 251–254, Glasgow, UK, May, 2000 |
|
|
Burkhard Kuhlmann, Armin G. Aberle, Rudolf Hezel and Gernot Heiser Simulation and optimization of metal-insulator-semiconductor inversion-layer silicon solar cells IEEE Transactions on Electron Devices, 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 International Photovoltaic Science and Engineering Conference, Sapporo, Japan, September, 1999 |
|
|
|
Pietro P. Altermatt, Ronald A. Sinton and Gernot Heiser Improvements in numerical modelling of highly injected crystalline silicon solar cells International Photovoltaic Science and Engineering Conference, Sapporo, Japan, September, 1999 |
|
|
|
Richard Corkish, Pietro P. Altermatt and Gernot Heiser Numerical simulation of electron-beam-induced current near a silicon grain boundary and impact of a p-n junction space charge region International Photovoltaic Science and Engineering Conference, Sapporo, Japan, September, 1999 |
|
|
|
Jürgen O. Schumacher, Pietro P. Altermatt, Gernot Heiser and Armin G. Aberle Application of an improved band gap narrowing model to the numerical simulation of recombination properties of phosphorus doped silicon emitters International Photovoltaic Science and Engineering Conference, Sapporo, Japan, September, 1999 |
1998
|
|
|
Richard Corkish, Keung L. Luke, Alistair Sproul, T. Puzzer, Pietro P. Altermatt and Gernot Heiser Quantitative analysis of electron-beam-induced current profiles of grain boundaries in multicrystalline solar cells World Conference on Photovoltaic Energy Conversion, Vienna, Austria, June, 1998 |
|
|
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
|
|
|
Pietro P. Altermatt, Gernot Heiser, Keith McIntosh, Tobias Kiesewetter, Christiana B. Honsberg, Stuart R. Wenham and Martin A. Green Establishing an accurate numerical model for the 2D-simulation of buried contact cells IEEE Photovoltaic Specialists Conference, pp. 179–182, Anaheim, CA, USA, September, 1997 |
|
|
|
Burkhard Kuhlmann, Armin G. Aberle, Rudolf Hezel and Gernot Heiser Characterization and optimization of the Al/SiOx/p-Si MIS contact in MIS-IL silicon solar cells IEEE Photovoltaic Specialists Conference, pp. 79–82, Anaheim, CA, USA, September, 1997 |
|
|
|
Burkhard Kuhlmann, Manfred Grauvogl, Rüdiger Meyer, Rudolf Hezel, Gernot Heiser and Armin G. Aberle Fill factor losses in inversion-layer silicon solar cells due to current crowding effects below the MIS contact European Photovoltaic Solar Energy Conference, pp. 2465–2468, Barcelona, Spain, June, 1997 |
|
|
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 | |
|
|
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
|
|
|
Alistair B. Sproul, Sean E. Edmiston, T. Puzzer, G. Heiser, Stuart R. Wenham, Martin A. Green and Trevour Young Grain boundary modeling and characterisation of thin-film silicon solar cells IEEE Photovoltaic Specialists Conference, pp. 549–552, Washington, DC, USA, May, 1996 |
|
|
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
|
|
|
Pietro P. Altermatt, Gernot Heiser, Jianhua Zhao, Aihua Wang, Stuart R. Wenham and Martin A. Green Analysis and minimisation of resistive losses in high efficiency Si solar cells by combining measurements with numerical modelling European Photovoltaic Solar Energy Conference, pp. 382–385, Nice, France, October, 1995 |
|
|
|
Gernot Heiser, Pietro P. Altermatt, Aidan Williams, Alistair Sproul and Martin A. Green Optimisation of rear contact geometry of high-efficiency silicon solar cells using three dimensional numerical modelling European Photovoltaic Solar Energy Conference, pp. 447–450, Nice, France, October, 1995 |
|
|
|
Gernot Heiser, Pietro P. Altermatt and James Litsios Combining 2D and 3D device simulation with circuit simulation for optimising high-efficiency silicon solar cells International Conference on Simulation of Semiconductor Devices and Processes, pp. 348–351, Erlangen, Germany, September, 1995 |
|
|
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 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 World Conference on Photovoltaic Energy Conversion, pp. 1234–1241, Waikoloa, HI, USA, December, 1994 |
|
|
|
Gernot Heiser and Armin G. Aberle Numerical modelling of non-ideal current-voltage characteristics of high-efficiency silicon solar cells International Workshop on Numerical Modeling of Processes and Devices for Integrated Circuits, pp. 177-80, Honolulu, HI, USA, June, 1994 |
|
|
Armin G. Aberle, Gernot Heiser and Martin A. Green Two-dimensional minority carrier flow in high-efficiency silicon solar cells at short-circuit, open-circuit and maximum power point operating conditions Solar Energy Materials and Solar Cells, 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
|
|
|
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
|
|
|
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 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 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 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 |
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
|
|
|
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, 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
|
|
|
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, 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 |