Gernot Heiser
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
62
Venues
24
Active years
1996–2025
Best venue rank
A*
Where they publish
- AUSENIX9 papers
- AHotOS8 papers
- A*SOSP8 papers
- AEuroSys7 papers
- ARTAS4 papers
- A*ASPLOS3 papers
- A*SIGCOMM3 papers
- CPLOS2 papers
- ADSN2 papers
- A*CCS2 papers
- BFM1 paper
- A*MICRO1 paper
- BSLE1 paper
- ADATE1 paper
- A*HPCA1 paper
- A*SP1 paper
- AOOPSLA1 paper
- A*SIGMOD1 paper
- Journal PublishedCASES1 paper
- A*DAC1 paper
- ARTSS1 paper
- ACADE1 paper
- Journal PublishedEMSOFT1 paper
- NationalPDPTA1 paper
Papers
62 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ASPLOS | Will We Ever have Truly Secure Operating Systems? | Gernot Heiser |
| 2025 | PLOS | High-Fidelity Specification of Real-World Devices. | Liam Murphy, Albert Rizaldi, Lesley Rossouw, Chen George, James Treloar, Hammond Pearce, Miki Tanaka, Gernot Heiser |
| 2023 | DSN | Tutorial: Using the seL4 Microkernel. | Gernot Heiser, Ivan Velickovic |
| 2023 | FM | Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems. | Robert Sison, Scott Buckley, Toby Murray, Gerwin Klein, Gernot Heiser |
| 2023 | MICRO | AutoCC: Automatic Discovery of Covert Channels in Time-Shared Hardware. | Marcelo Orenes-Vera, Hyunsung Yun, Nils Wistoff, Gernot Heiser, Luca Benini, David Wentzlaff, Margaret Martonosi |
| 2023 | PLOS | Pancake: Verified Systems Programming Made Sweeter. | 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 |
| 2022 | SLE | Property-Based Testing: Climbing the Stairway to Verification. | Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, Gabriele Keller |
| 2021 | DATE | Microarchitectural Timing Channels and their Prevention on an Open-Source 64-bit RISC-V Core. | Nils Wistoff, Moritz Schneider, Frank K. Grkaynak, Luca Benini, Gernot Heiser |
| 2019 | DSN | Fault Tolerance Through Redundant Execution on COTS Multicores: Exploring Trade-Offs. | Yanyan Shen, Gernot Heiser, Kevin Elphinstone |
| 2019 | EuroSys | Time Protection: The Missing OS Abstraction. | Qian Ge, Yuval Yarom, Tom Chothia, Gernot Heiser |
| 2019 | HotOS | Can We Prove Time Protection? | Gernot Heiser, Gerwin Klein, Toby C. Murray |
| 2018 | EuroSys | Scheduling-context capabilities: a principled, light-weight operating-system mechanism for managing time. | Anna Lyons, Kent McLeod, Hesham Almatary, Gernot Heiser |
| 2017 | SOSP | The Cogent Case for Property-Based Testing. | Zilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein, Gernot Heiser |
| 2016 | ASPLOS | CoGENT: Verifying High-Assurance File System Implementations. | 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 | HPCA | CATalyst: Defeating last-level cache side channel attacks in cloud computing. | Fangfei Liu, Qian Ge, Yuval Yarom, Frank McKeen, Carlos V. Rozas, Gernot Heiser, Ruby B. Lee |
| 2016 | RTAS | Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis. | Thomas Sewell, Felix Kam, Gernot Heiser |
| 2015 | SP | Last-Level Cache Side-Channel Attacks are Practical. | Fangfei Liu, Yuval Yarom, Qian Ge, Gernot Heiser, Ruby B. Lee |
| 2014 | CCS | The Last Mile: An Empirical Study of Timing Channels on seL4. | David A. Cock, Qian Ge, Toby C. Murray, Gernot Heiser |
| 2014 | RTAS | Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets. | Bernard Blackham, Mark H. Liffiton, Gernot Heiser |
| 2014 | RTAS | Unifying DVFS and offlining in mobile multicores. | Aaron Carroll, Gernot Heiser |
| 2013 | EuroSys | RapiLog: reducing system complexity through verification. | Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie, Gustavo Alonso |
| 2013 | HotOS | The von Neumann Architecture Is Due for Retirement. | Aleksander Budzynowski, Gernot Heiser |
| 2013 | OOPSLA | Code optimizations using formally verified properties. | Yao Shi, Bernard Blackham, Gernot Heiser |
| 2013 | SIGMOD | A scalable lock manager for multicores. | Hyungsoo Jung, Hyuck Han, Alan D. Fekete, Gernot Heiser, Heon Young Yeom |
| 2013 | RTAS | Sequoll: A framework for model checking binaries. | Bernard Blackham, Gernot Heiser |
| 2013 | SOSP | Mobile multicores: use them or waste them. | Aaron Carroll, Gernot Heiser |
| 2013 | SOSP | From L3 to seL4 what have we learnt in 20 years of L4 microkernels? | Kevin Elphinstone, Gernot Heiser |
| 2013 | SOSP | File systems deserve verification too! | Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser |
| 2012 | EuroSys | Improving interrupt response time in a verifiable protected microkernel. | Bernard Blackham, Yao Shi, Gernot Heiser |
| 2011 | ASPLOS | Improved device driver reliability through hardware verification reuse. | Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser |
| 2011 | CASES | Low-overhead virtualization of mobile platforms. | Gernot Heiser |
| 2011 | DAC | Virtualizing embedded systems: why bother? | Gernot Heiser |
| 2011 | HotOS | What If You Could Actually Trust Your Kernel? | Gernot Heiser, Leonid Ryzhyk, Michael von Tessin, Aleksander Budzynowski |
| 2011 | USENIX | Slow Down or Sleep, That Is the Question. | Etienne Le Sueur, Gernot Heiser |
| 2011 | RTSS | Timing Analysis of a Protected Operating System Kernel. | Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury, Gernot Heiser |
| 2010 | CCS | The road to trustworthy systems. | Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz, Leonid Ryzhyk |
| 2010 | SIGCOMM | Architecture optimisation with Currawong. | Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser |
| 2010 | SIGCOMM | The OKL4 microvisor: convergence point of microkernels and hypervisors. | Gernot Heiser, Ben Leslie |
| 2010 | SIGCOMM | The case for active device drivers. | Leonid Ryzhyk, Yanjin Zhu, Gernot Heiser |
| 2010 | USENIX | An Analysis of Power Consumption in a Smartphone. | Aaron Carroll, Gernot Heiser |
| 2009 | EuroSys | Dingo: taming device drivers. | Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser |
| 2009 | EuroSys | Koala: a platform for OS-level power management. | David C. Snowdon, Etienne Le Sueur, Stefan M. Petters, Gernot Heiser |
| 2009 | USENIX | vNUMA: A Virtual Shared-Memory Multiprocessor. | Matthew Chapman, Gernot Heiser |
| 2009 | SOSP | seL4: formal verification of an OS kernel. | 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 | SOSP | Automatic device driver synthesis with termite. | Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser |
| 2008 | CADE | Operating System Verification for Real Use. | Gernot Heiser |
| 2008 | EuroSys | The role of virtualization in embedded systems. | Gernot Heiser |
| 2007 | EMSOFT | Accurate on-line prediction of processor and memoryenergy usage under voltage scaling. | David C. Snowdon, Stefan M. Petters, Gernot Heiser |
| 2007 | HotOS | Towards a Practical, Verified Kernel. | Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser |
| 2007 | HotOS | Hype and Virtue. | Timothy Roscoe, Kevin Elphinstone, Gernot Heiser |
| 2007 | USENIX | Reboots Are for Hardware: Challenges and Solutions to Updating an Operating System on the Fly. | Andrew Baumann, Jonathan Appavoo, Robert W. Wisniewski, Dilma Da Silva, Orran Krieger, Gernot Heiser |
| 2007 | SOSP | Formalising device driver interfaces. | Leonid Ryzhyk, Ihor Kuz, Gernot Heiser |
| 2006 | USENIX | Panel: Is University Systems Teaching and Research Relevant to Industry?. | Gernot Heiser |
| 2005 | HotOS | OS Verification - Now! | Harvey Tuch, Gerwin Klein, Gernot Heiser |
| 2005 | USENIX | Providing Dynamic Update in an Operating System. | Andrew Baumann, Gernot Heiser, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, Robert W. Wisniewski, Jeremy Kerr |
| 2005 | USENIX | Implementing Transparent Shared Memory on Clusters Using Virtual Machines. | Matthew Chapman, Gernot Heiser |
| 2005 | USENIX | Itanium - A System Implementor's Tale(Awarded General Track Best Student Paper Award!). | Charles Gray, Matthew Chapman, Peter Chubb, David Mosberger, Gernot Heiser |
| 2005 | SOSP | Pre-virtualization: uniting two worlds. | Joshua LeVasseur, Volkmar Uhlig, Ben Leslie, Matthew Chapman, Gernot Heiser |
| 2001 | HotOS | Secure OS Extensibility Needn't Cost an Arm and a Leg. | Antony Edwards, Gernot Heiser |
| 1999 | USENIX | Linking Programs in a Single Address Space. | Luke Deller, Gernot Heiser |
| 1997 | HotOS | Achieved IPC Performance. | Jochen Liedtke, Kevin Elphinstone, Sebastian Schnberg, Hermann Hrtig, Gernot Heiser, Nayeem Islam, Trent Jaeger |
| 1996 | PDPTA | Libra: A Library for Reliable Distributed Applications. | Jinsong Ouzang, Gernot Heiser |