Gernot Heiser

138 papers A* 11A 25B 3Misc 5Journal 44Unranked 48
YearRankTypeTitle / Venue / Authors
2025 J jnl
Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance.
CoRR
Gernot Heiser, Ivan Velickovic, Peter Chubb, Alwin Joshy, Anuraag Ganesh, Bill Nguyen, Cheng Li, Courtney Darville, Guangtao Zhu, James Archer, Jingyao Zhou, Krishnan Winter, Lucy Parker, Szymon Duchniewicz, Tianyi Bai
2025 — conf
High-Fidelity Specification of Real-World Devices.
PLOS@SOSP
Liam Murphy, Albert Rizaldi, Lesley Rossouw, Chen George, James Treloar, Hammond Pearce, Miki Tanaka, Gernot Heiser
2025 J jnl
Verifying Device Drivers with Pancake.
CoRR
Junming Zhao, Alessandro Legnani, Tiana J. Tsang Ung, H. Truong, Tsun Wang Sau, Miki Tanaka, Johannes Åman Pohjola, Thomas Sewell, Robert Sison, Syeda Hira, Magnus Myreen, Michael Norrish, Gernot Heiser
2025 — conf
Will We Ever have Truly Secure Operating Systems?
ASPLOS (3)
Gernot Heiser
2024 — conf
fence.t.s: Closing Timing Channels in High-Performance Out-of-Order Cores Through ISA-Supported Temporal Partitioning.
ApplePies
Nils Wistoff, Gernot Heiser, Luca Benini
2024 J jnl
fence.t.s: Closing Timing Channels in High-Performance Out-of-Order Cores through ISA-Supported Temporal Partitioning.
CoRR
Nils Wistoff, Gernot Heiser, Luca Benini
2023 A* conf
AutoCC: Automatic Discovery of Covert Channels in Time-Shared Hardware.
MICRO
Marcelo Orenes-Vera, Hyunsung Yun, Nils Wistoff, Gernot Heiser, Luca Benini, David Wentzlaff, Margaret Martonosi
2023 — conf
First steps in verifying the seL4 Core Platform.
APSys
Mathieu Paturel, Isitha Subasinghe, Gernot Heiser
2023 B conf
Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems.
FM
Robert Sison, Scott Buckley, Toby Murray, Gerwin Klein, Gernot Heiser
2023 — conf
Pancake: Verified Systems Programming Made Sweeter.
PLOS@SOSP
Johannes Åman Pohjola, Hira Taqdees Syeda, Miki Tanaka, Krishnan Winter, Tsun Wang Sau, Benjamin Nott, Tiana J. Tsang Ung, Craig McLaughlin, Remy Seassau, Magnus O. Myreen, Michael Norrish, Gernot Heiser
2023 J jnl
Proving the Absence of Microarchitectural Timing Channels.
CoRR
Scott Buckley, Robert Sison, Nils Wistoff, Curtis Millar, Toby Murray, Gerwin Klein, Gernot Heiser
2023 J jnl
Systematic Prevention of On-Core Timing Channels by Full Temporal Partitioning.
IEEE Trans. Computers
Nils Wistoff, Moritz Schneider, Frank K. Gürkaynak, Gernot Heiser, Luca Benini
2023 — conf
Tutorial: Using the seL4 Microkernel.
DSN-S
Gernot Heiser, Ivan Velickovic
2023 Misc conf
Verified Value Chains, Innovation and Competition.
CSR
Arnd Weber, Sylvain Guilley, René Rathfelder, Marc Stöttinger, Christoph Lüth, Maja Malenko, Torsten Grawunder, Steffen Reith, Armand Puccetti, Jean-Pierre Seifert, Norbert Herfurth, Hagen Sankowski, Gernot Heiser
2022 — conf
Can We Put the "S" Into IoT?
WF-IoT
Gernot Heiser, Lucy Parker, Peter Chubb, Ivan Velickovic, Ben Leslie
2022 B conf
Property-Based Testing: Climbing the Stairway to Verification.
SLE
Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, Gabriele Keller
2022 J jnl
Systematic Prevention of On-Core Timing Channels by Full Temporal Partitioning.
CoRR
Nils Wistoff, Moritz Schneider, Frank K. Gürkaynak, Gernot Heiser, Luca Benini
2021 A conf
Microarchitectural Timing Channels and their Prevention on an Open-Source 64-bit RISC-V Core.
DATE
Nils Wistoff, Moritz Schneider, Frank K. Gürkaynak, Luca Benini, Gernot Heiser
2020 J jnl
Benchmarking Flaws Undermine Security Research.
IEEE Secur. Priv.
Erik van der Kouwe, Gernot Heiser, Dennis Andriesse, Herbert Bos, Cristiano Giuffrida
2020 J jnl
Prevention of Microarchitectural Covert Channels on an Open-Source 64-bit RISC-V Core.
CoRR
Nils Wistoff, Moritz Schneider, Frank K. Gürkaynak, Luca Benini, Gernot Heiser
2020 J jnl
Towards Provable Timing-Channel Prevention.
ACM SIGOPS Oper. Syst. Rev.
Gernot Heiser, Toby Murray, Gerwin Klein
2020 J jnl
seL4 in Australia: from research to real-world trustworthy systems.
Commun. ACM
Gernot Heiser, Gerwin Klein, June Andronick
2019 A conf
Can We Prove Time Protection?
HotOS
Gernot Heiser, Gerwin Klein, Toby C. Murray
2019 J jnl
Can We Prove Time Protection?
CoRR
Gernot Heiser, Gerwin Klein, Toby C. Murray
2019 A conf
Fault Tolerance Through Redundant Execution on COTS Multicores: Exploring Trade-Offs.
DSN
Yanyan Shen, Gernot Heiser, Kevin Elphinstone
2019 A conf
SoK: Benchmarking Flaws in Systems Security.
EuroS&P
Erik van der Kouwe, Gernot Heiser, Dennis Andriesse, Herbert Bos, Cristiano Giuffrida
2019 A conf
Time Protection: The Missing OS Abstraction.
EuroSys
Qian Ge, Yuval Yarom, Tom Chothia, Gernot Heiser
2018 J jnl
A Formal Approach to Constructing Secure Air Vehicle Software.
Computer
Darren D. Cofer, Andrew Gacek, John Backes, Michael W. Whalen, Lee Pike, Adam Foltzer, Michal Podhradsky, Gerwin Klein, Ihor Kuz, June Andronick, Gernot Heiser, Douglas Stuart
2018 J jnl
A survey of microarchitectural timing attacks and countermeasures on contemporary hardware.
J. Cryptogr. Eng.
Qian Ge, Yuval Yarom, David A. Cock, Gernot Heiser
2018 J jnl
Benchmarking Crimes: An Emerging Threat in Systems Security.
CoRR
Erik van der Kouwe, Dennis Andriesse, Herbert Bos, Cristiano Giuffrida, Gernot Heiser
2018 J jnl
For Safety's Sake: We Need a New Hardware-Software Contract!
IEEE Des. Test
Gernot Heiser
2018 J jnl
Formally verified software in the real world.
Commun. ACM
Gerwin Klein, June Andronick, Matthew Fernandez, Ihor Kuz, Toby C. Murray, Gernot Heiser
2018 — conf
No Security Without Time Protection: We Need a New Hardware-Software Contract.
APSys
Qian Ge, Yuval Yarom, Gernot Heiser
2018 J jnl
Roundtable: Machine Learning for Embedded Systems: Hype or Lasting Impact?
IEEE Des. Test
Xiaobo Sharon Hu, Rolf Ernst, Petru Eles, Gernot Heiser, Kurt Keutzer, Daehyun Kim, Tetsuya Tohdo
2018 A conf
Scheduling-context capabilities: a principled, light-weight operating-system mechanism for managing time.
EuroSys
Anna Lyons, Kent McLeod, Hesham Almatary, Gernot Heiser
2018 — conf
The Jury Is In: Monolithic OS Design Is Flawed: Microkernel-based Designs Improve Security.
APSys
Simon Biggs, Damon Lee, Gernot Heiser
2018 J jnl
Time Protection: the Missing OS Abstraction.
CoRR
Qian Ge, Yuval Yarom, Tom Chothia, Gernot Heiser
2017 — conf
A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4.
APSys
Kevin Elphinstone, Amirreza Zarrabi, Kent McLeod, Gernot Heiser
2017 J jnl
High-assurance timing analysis for a high-assurance real-time operating system.
Real Time Syst.
Thomas Sewell, Felix Kam, Gernot Heiser
2017 J jnl
Technical Perspective: Proving file systems meet expectations.
Commun. ACM
Gernot Heiser
2017 — conf
The Cogent Case for Property-Based Testing.
PLOS@SOSP
Zilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein, Gernot Heiser
2016 J jnl
A Survey of Microarchitectural Timing Attacks and Countermeasures on Contemporary Hardware.
IACR Cryptol. ePrint Arch.
Qian Ge, Yuval Yarom, David A. Cock, Gernot Heiser
2016 J jnl
An Evaluation of Coarse-Grained Locking for Multicore Microkernels.
CoRR
Kevin Elphinstone, Amirreza Zarrabi, Adrian Danis, Yanyan Shen, Gernot Heiser
2016 A* conf
CATalyst: Defeating last-level cache side channel attacks in cloud computing.
HPCA
Fangfei Liu, Qian Ge, Yuval Yarom, Frank McKeen, Carlos V. Rozas, Gernot Heiser, Ruby B. Lee
2016 A* conf
CoGENT: Verifying High-Assurance File System Implementations.
ASPLOS
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 C. Murray, Gerwin Klein, Gernot Heiser
2016 A conf
Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis.
RTAS
Thomas Sewell, Felix Kam, Gernot Heiser
2016 J jnl
Do Hardware Cache Flushing Operations Actually Meet Our Expectations?
CoRR
Qian Ge, Yuval Yarom, Gernot Heiser
2016 J jnl
It's Time: OS Mechanisms for Enforcing Asymmetric Temporal Integrity.
CoRR
Anna Lyons, Gernot Heiser
2016 J jnl
L4 Microkernels: The Lessons from 20 Years of Research and Deployment.
ACM Trans. Comput. Syst.
Gernot Heiser, Kevin Elphinstone
2016 J jnl
Report on the Asia-Pacific Systems Workshop 2015 (APSys'15).
ACM SIGOPS Oper. Syst. Rev.
Gernot Heiser, Kenji Kono, KyoungSoo Park, Robbert van Renesse
2016 J jnl
State of the Journal.
IEEE Trans. Computers
Paolo Montuschi, Edward J. McCluskey, Samarjit Chakraborty, Jason Cong, Ramón M. Rodríguez-Dagnino, Fred Douglis, Lieven Eeckhout, Gernot Heiser, Sushil Jajodia, Ruby B. Lee, Dinesh Manocha, Tomás F. Pena, Isabelle Puaut, Hanan Samet, Donatella Sciuto
2015 — conf
For a Microkernel, a Big Lock Is Fine.
APSys
Sean Peters, Adrian Danis, Kevin Elphinstone, Gernot Heiser
2015 A* conf
Last-Level Cache Side-Channel Attacks are Practical.
IEEE Symposium on Security and Privacy
Fangfei Liu, Yuval Yarom, Qian Ge, Gernot Heiser, Ruby B. Lee
2015 J jnl
Mapping the Intel Last-Level Cache.
IACR Cryptol. ePrint Arch.
Yuval Yarom, Qian Ge, Fangfei Liu, Ruby B. Lee, Gernot Heiser
2015 Misc ed.
Proceedings of the 8th ACM International Systems and Storage Conference, SYSTOR 2015, Haifa, Israel, May 26-28, 2015
SYSTOR
Dalit Naor, Gernot Heiser, Idit Keidar
2014 J jnl
A Scalable Lock Manager for Multicores.
ACM Trans. Database Syst.
Hyungsoo Jung, Hyuck Han, Alan D. Fekete, Gernot Heiser, Heon Young Yeom
2014 J jnl
Comprehensive formal verification of an OS microkernel.
ACM Trans. Comput. Syst.
Gerwin Klein, June Andronick, Kevin Elphinstone, Toby C. Murray, Thomas Sewell, Rafal Kolanski, Gernot Heiser
2014 J jnl
File systems deserve verification too!
ACM SIGOPS Oper. Syst. Rev.
Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser
2014 J jnl
Mobile multicores: use them or waste them.
ACM SIGOPS Oper. Syst. Rev.
Aaron Carroll, Gernot Heiser
2014 A* conf
The Last Mile: An Empirical Study of Timing Channels on seL4.
CCS
David A. Cock, Qian Ge, Toby C. Murray, Gernot Heiser
2014 A conf
Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets.
RTAS
Bernard Blackham, Mark H. Liffiton, Gernot Heiser
2014 A conf
Unifying DVFS and offlining in mobile multicores.
RTAS
Aaron Carroll, Gernot Heiser
2013 — conf
A scalable lock manager for multicores.
SIGMOD Conference
Hyungsoo Jung, Hyuck Han, Alan D. Fekete, Gernot Heiser, Heon Young Yeom
2013 B ed.
ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (co-located with ASPLOS 2013), VEE '13, Houston, TX, USA, March 16-17, 2013
VEE
Steve Muir, Gernot Heiser, Stephen M. Blackburn
2013 A conf
Code optimizations using formally verified properties.
OOPSLA
Yao Shi, Bernard Blackham, Gernot Heiser
2013 — conf
File systems deserve verification too!
PLOS@SOSP
Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser
2013 A* conf
From L3 to seL4 what have we learnt in 20 years of L4 microkernels?
SOSP
Kevin Elphinstone, Gernot Heiser
2013 — conf
Mobile multicores: use them or waste them.
HotPower@SOSP
Aaron Carroll, Gernot Heiser
2013 A conf
RapiLog: reducing system complexity through verification.
EuroSys
Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie, Gustavo Alonso
2013 A conf
Sequoll: A framework for model checking binaries.
IEEE Real-Time and Embedded Technology and Applications Symposium
Bernard Blackham, Gernot Heiser
2013 — conf
The systems hacker's guide to the galaxy energy usage in a modern smartphone.
APSys
Aaron Carroll, Gernot Heiser
2013 A conf
The von Neumann Architecture Is Due for Retirement.
HotOS
Aleksander Budzynowski, Gernot Heiser
2012 — conf
Correct, fast, maintainable: choose any three!
APSys
Bernard Blackham, Gernot Heiser
2012 A conf
Improving interrupt response time in a verifiable protected microkernel.
EuroSys
Bernard Blackham, Yao Shi, Gernot Heiser
2012 J jnl
It's Time for Trustworthy Systems.
IEEE Secur. Priv.
Gernot Heiser, Toby C. Murray, Gerwin Klein
2012 — ed.
Proceedings of the 2012 USENIX Annual Technical Conference, USENIX ATC 2012, Boston, MA, USA, June 13-15, 2012
USENIX ATC
Gernot Heiser, Wilson C. Hsieh
2012 — conf
To preempt or not to preempt, that is the question.
APSys
Bernard Blackham, Vernon Tang, Gernot Heiser
2012 — conf
Trustworthy Real-Time Systems.
Advances in Real-Time Systems
Stefan M. Petters, Kevin Elphinstone, Gernot Heiser
2011 J jnl
Architecture optimisation with currawong.
Comput. Commun. Rev.
Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser
2011 A ed.
European Conference on Computer Systems, Proceedings of the Sixth European conference on Computer systems, EuroSys 2011, Salzburg, Austria, April 10-13, 2011
EuroSys
Christoph M. Kirsch, Gernot Heiser
2011 — conf
Hardware-supported virtualization on ARM.
APSys
Prashant Varanasi, Gernot Heiser
2011 A* conf
Improved device driver reliability through hardware verification reuse.
ASPLOS
Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser
2011 Misc conf
Low-overhead virtualization of mobile platforms.
CASES
Gernot Heiser
2011 — conf
Protected hard real-time: the next frontier.
APSys
Bernard Blackham, Yao Shi, Gernot Heiser
2011 — conf
Slow Down or Sleep, That Is the Question.
USENIX ATC
Etienne Le Sueur, Gernot Heiser
2011 — conf
Static analysis of device drivers: we can do better!
APSys
Sidney Amani, Leonid Ryzhyk, Alastair F. Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu
2011 A conf
Timing Analysis of a Protected Operating System Kernel.
RTSS
Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury, Gernot Heiser
2011 A* conf
Virtualizing embedded systems: why bother?
DAC
Gernot Heiser
2011 A conf
What If You Could Actually Trust Your Kernel?
HotOS
Gernot Heiser, Leonid Ryzhyk, Michael von Tessin, Aleksander Budzynowski
2010 — conf
An Analysis of Power Consumption in a Smartphone.
USENIX ATC
Aaron Carroll, Gernot Heiser
2010 — conf
Architecture optimisation with Currawong.
ApSys
Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser
2010 — conf
Improved Device Driver Reliability Through Verification Reuse.
HotDep
Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser
2010 — conf
The OKL4 microvisor: convergence point of microkernels and hypervisors.
ApSys
Gernot Heiser, Ben Leslie
2010 — conf
The case for active device drivers.
ApSys
Leonid Ryzhyk, Yanjin Zhu, Gernot Heiser
2010 — conf
The road to trustworthy systems.
STC@CCS
Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz, Leonid Ryzhyk
2010 J jnl
seL4: formal verification of an operating-system kernel.
Commun. ACM
Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood
2009 A* conf
Automatic device driver synthesis with termite.
SOSP
Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser
2009 A conf
Dingo: taming device drivers.
EuroSys
Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser
2009 — conf
Hypervisors for Consumer Electronics.
CCNC
Gernot Heiser
2009 A conf
Koala: a platform for OS-level power management.
EuroSys
David C. Snowdon, Etienne Le Sueur, Stefan M. Petters, Gernot Heiser
2009 A* conf
seL4: formal verification of an OS kernel.
SOSP
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood
2009 — conf
vNUMA: A Virtual Shared-Memory Multiprocessor.
USENIX ATC
Matthew Chapman, Gernot Heiser
2008 — conf
Operating System Verification for Real Use.
VERIFY
Gernot Heiser
2008 A conf
Pre-virtualization: Soft layering for virtual machines.
ACSAC
Joshua LeVasseur, Volkmar Uhlig, Yaowei Yang, Matthew Chapman, Peter Chubb, Ben Leslie, Gernot Heiser
2008 — conf
The role of virtualization in embedded systems.
IIES@EuroSys
Gernot Heiser
2007 Misc conf
Accurate on-line prediction of processor and memoryenergy usage under voltage scaling.
EMSOFT
David C. Snowdon, Stefan M. Petters, Gernot Heiser
2007 J jnl
CAmkES: A component model for secure microkernel-based embedded systems.
J. Syst. Softw.
Ihor Kuz, Yan Liu, Ian Gorton, Gernot Heiser
2007 — conf
Formalising device driver interfaces.
PLOS@SOSP
Leonid Ryzhyk, Ihor Kuz, Gernot Heiser
2007 A conf
Hype and Virtue.
HotOS
Timothy Roscoe, Kevin Elphinstone, Gernot Heiser
2007 — conf
Measurements or Static Analysis or Both?.
WCET
Stefan M. Petters, Patryk Zadarnowski, Gernot Heiser
2007 — conf
Reboots Are for Hardware: Challenges and Solutions to Updating an Operating System on the Fly.
USENIX ATC
Andrew Baumann, Jonathan Appavoo, Robert W. Wisniewski, Dilma Da Silva, Orran Krieger, Gernot Heiser
2007 A conf
Towards a Practical, Verified Kernel.
HotOS
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser
2007 J jnl
Towards trustworthy computing systems: taking microkernels to the next level.
ACM SIGOPS Oper. Syst. Rev.
Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein, Stefan M. Petters
2007 J jnl
Your System Is Secure? Prove It!
login Usenix Mag.
Gernot Heiser
2006 J jnl
Are virtual-machine monitors microkernels done right?
ACM SIGOPS Oper. Syst. Rev.
Gernot Heiser, Volkmar Uhlig, Joshua LeVasseur
2006 — conf
Panel: Is University Systems Teaching and Research Relevant to Industry?.
USENIX ATC, General Track
Gernot Heiser
2005 — conf
Implementing Transparent Shared Memory on Clusters Using Virtual Machines.
USENIX ATC, General Track
Matthew Chapman, Gernot Heiser
2005 — conf
Itanium - A System Implementor's Tale(Awarded General Track Best Student Paper Award!).
USENIX ATC, General Track
Charles Gray, Matthew Chapman, Peter Chubb, David Mosberger, Gernot Heiser
2005 A conf
OS Verification - Now!
HotOS
Harvey Tuch, Gerwin Klein, Gernot Heiser
2005 A* conf
Pre-virtualization: uniting two worlds.
SOSP
Joshua LeVasseur, Volkmar Uhlig, Ben Leslie, Matthew Chapman, Gernot Heiser
2005 — conf
Providing Dynamic Update in an Operating System.
USENIX ATC, General Track
Andrew Baumann, Gernot Heiser, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, Robert W. Wisniewski, Jeremy Kerr
2005 J jnl
Secure Embedded Systems Need Microkernels.
login Usenix Mag.
Gernot Heiser
2005 J jnl
User-Level Device Drivers: Achieved Performance.
J. Comput. Sci. Technol.
Ben Leslie, Peter Chubb, Nicholas Fitzroy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yue-Ting Shen, Kevin Elphinstone, Gernot Heiser
2003 — conf
Implementation of Fast Address-Space Switching and TLB Sharing on the StrongARM Processor.
Asia-Pacific Computer Systems Architecture Conference
Adam Wiggins, Harvey Tuch, Volkmar Uhlig, Gernot Heiser
2003 — conf
Legba: Fast Hardware Support for Fine-Grained Protection.
Asia-Pacific Computer Systems Architecture Conference
Adam Wiggins, Simon Winwood, Harvey Tuch, Gernot Heiser
2003 — conf
Variable Radix Page Table: A Page Table for Modern Architectures.
Asia-Pacific Computer Systems Architecture Conference
Cristan Szmajda, Gernot Heiser
2002 — conf
Fault tolerance and avoidance in biomedical systems.
ACM SIGOPS European Workshop
Shane G. Stephens, Gernot Heiser
2001 A conf
Components + Security = OS Extensibility.
ACSAC
Antony Edwards, Gernot Heiser
2001 A conf
Secure OS Extensibility Needn't Cost an Arm and a Leg.
HotOS
Antony Edwards, Gernot Heiser
2000 — conf
Fast Address-Space Switching on the StrongARM SA-1100 Processor.
ACAC
Adam Wiggins, Gernot Heiser
1999 — conf
Linking Programs in a Single Address Space.
USENIX ATC, General Track
Luke Deller, Gernot Heiser
1998 J jnl
The Mungi Single-Address-Space Operating System.
Softw. Pract. Exp.
Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, Jochen Liedtke
1997 — conf
Achieved IPC Performance.
Workshop on Hot Topics in Operating Systems
Jochen Liedtke, Kevin Elphinstone, Sebastian Schönberg, Hermann Härtig, Gernot Heiser, Nayeem Islam, Trent Jaeger
1996 Misc conf
Libra: A Library for Reliable Distributed Applications.
PDPTA
Jinsong Ouzang, Gernot Heiser
1996 — conf
Supporting Persistent Object Systems in a Single Address Space.
POS
Kevin Elphinstone, Stephen Russell, Gernot Heiser, Jochen Liedtke
1991 — —
Design and implementation of a three-dimensional, general purpose semiconductor device simulatior.
Gernot Heiser
1991 J jnl
Three-dimensional numerical semiconductor device simulation: algorithms, architectures, results.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Gernot Heiser, Claude Pommerell, Jürgen Weis, Wolfgang Fichtner
1986 J jnl
A Portable Operating System Interface and Utility Library.
IEEE Softw.
Edoardo S. Biagioni, Klaus H. Hinrichs, Gernot Heiser, Carlo Muller