Gernot Heiser

Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie, Gustavo Alonso: RapiLog: reducing system complexity through verification. EuroSys 2013: 323-336

Steve Muir, Gernot Heiser, Steve Blackburn (Eds.): ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (co-located with ASPLOS 2013), VEE '13, Houston, TX, USA, March 16-17, 2013. ACM 2013, isbn 978-1-4503-1266-0

Gernot Heiser, Toby C. Murray, Gerwin Klein: It's Time for Trustworthy Systems. IEEE Security & Privacy 10(2): 67-70 (2012)

Bernard Blackham, Vernon Tang, Gernot Heiser: To preempt or not to preempt, that is the question. APSys 2012: 8

Bernard Blackham, Gernot Heiser: Correct, fast, maintainable: choose any three! APSys 2012: 13

Stefan M. Petters, Kevin Elphinstone, Gernot Heiser: Trustworthy Real-Time Systems. Advances in Real-Time Systems 2012: 191-206

Bernard Blackham, Yao Shi, Gernot Heiser: Improving interrupt response time in a verifiable protected microkernel. EuroSys 2012: 323-336

Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser: Architecture optimisation with currawong. Computer Communication Review 41(1): 115-119 (2011)

Bernard Blackham, Yao Shi, Gernot Heiser: Protected hard real-time: the next frontier. APSys 2011: 1

Sidney Amani, Leonid Ryzhyk, Alastair F. Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu: Static analysis of device drivers: we can do better! APSys 2011: 8

Prashant Varanasi, Gernot Heiser: Hardware-supported virtualization on ARM. APSys 2011: 11

Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser: Improved device driver reliability through hardware verification reuse. ASPLOS 2011: 133-144

Gernot Heiser: Low-overhead virtualization of mobile platforms. CASES 2011: 3-4

Gernot Heiser: Virtualizing embedded systems: why bother? DAC 2011: 901-905

Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury, Gernot Heiser: Timing Analysis of a Protected Operating System Kernel. RTSS 2011: 339-348

Christoph M. Kirsch, Gernot Heiser (Eds.): European Conference on Computer Systems, Proceedings of the Sixth European conference on Computer systems, EuroSys 2011, Salzburg, Austria, April 10-13, 2011. ACM 2011, isbn 978-1-4503-0634-8

Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood: seL4: formal verification of an operating-system kernel. Commun. ACM 53(6): 107-115 (2010)

Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser: Architecture optimisation with Currawong. ApSys 2010: 7-12

Gernot Heiser, Ben Leslie: The OKL4 microvisor: convergence point of microkernels and hypervisors. ApSys 2010: 19-24

Leonid Ryzhyk, Yanjin Zhu, Gernot Heiser: The case for active device drivers. ApSys 2010: 25-30

Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser: Dingo: taming device drivers. EuroSys 2009: 275-288

David C. Snowdon, Etienne Le Sueur, Stefan M. Petters, Gernot Heiser: Koala: a platform for OS-level power management. EuroSys 2009: 289-302

Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser: Automatic device driver synthesis with termite. SOSP 2009: 73-86

Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood: seL4: formal verification of an OS kernel. SOSP 2009: 207-220

Gernot Heiser: Operating System Verification for Real Use. VERIFY 2008

Ihor Kuz, Yan Liu, Ian Gorton, Gernot Heiser: CAmkES: A component model for secure microkernel-based embedded systems. Journal of Systems and Software 80(5): 687-699 (2007)

Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein, Stefan M. Petters: Towards trustworthy computing systems: taking microkernels to the next level. Operating Systems Review 41(4): 3-11 (2007)

David C. Snowdon, Stefan M. Petters, Gernot Heiser: Accurate on-line prediction of processor and memoryenergy usage under voltage scaling. EMSOFT 2007: 84-93

Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser: Towards a Practical, Verified Kernel. HotOS 2007

Timothy Roscoe, Kevin Elphinstone, Gernot Heiser: Hype and Virtue. HotOS 2007

Andrew Baumann, Jonathan Appavoo, Robert W. Wisniewski, Dilma Da Silva, Orran Krieger, Gernot Heiser: Reboots Are for Hardware: Challenges and Solutions to Updating an Operating System on the Fly. USENIX Annual Technical Conference 2007: 337-350

Stefan M. Petters, Patryk Zadarnowski, Gernot Heiser: Measurements or Static Analysis or Both?. WCET 2007

Gernot Heiser, Volkmar Uhlig, Joshua LeVasseur: Are virtual-machine monitors microkernels done right? Operating Systems Review 40(1): 95-99 (2006)

Gernot Heiser: Panel: Is University Systems Teaching and Research Relevant to Industry?. USENIX Annual Technical Conference, General Track 2006

Ben Leslie, Peter Chubb, Nicholas Fitzroy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yue-Ting Shen, Kevin Elphinstone, Gernot Heiser: User-Level Device Drivers: Achieved Performance. J. Comput. Sci. Technol. 20(5): 654-664 (2005)

Harvey Tuch, Gerwin Klein, Gernot Heiser: OS Verification - Now! HotOS 2005

Charles Gray, Matthew Chapman, Peter Chubb, David Mosberger, Gernot Heiser: Itanium - A System Implementor's Tale(Awarded General Track Best Student Paper Award!). USENIX Annual Technical Conference, General Track 2005: 265-278

Andrew Baumann, Gernot Heiser, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, Robert W. Wisniewski, Jeremy Kerr: Providing Dynamic Update in an Operating System. USENIX Annual Technical Conference, General Track 2005: 279-291

Matthew Chapman, Gernot Heiser: Implementing Transparent Shared Memory on Clusters Using Virtual Machines. USENIX Annual Technical Conference, General Track 2005: 383-386

Cristan Szmajda, Gernot Heiser: Variable Radix Page Table: A Page Table for Modern Architectures. Asia-Pacific Computer Systems Architecture Conference 2003: 290-304

Adam Wiggins, Simon Winwood, Harvey Tuch, Gernot Heiser: Legba: Fast Hardware Support for Fine-Grained Protection. Asia-Pacific Computer Systems Architecture Conference 2003: 320-336

Adam Wiggins, Harvey Tuch, Volkmar Uhlig, Gernot Heiser: Implementation of Fast Address-Space Switching and TLB Sharing on the StrongARM Processor. Asia-Pacific Computer Systems Architecture Conference 2003: 352-364

Shane Stephens, Gernot Heiser: Fault tolerance and avoidance in biomedical systems. ACM SIGOPS European Workshop 2002: 198-200

Antony Edwards, Gernot Heiser: Components + Security = OS Extensibility. ACSAC 2001: 27-34

Antony Edwards, Gernot Heiser: Secure OS Extensibility Needn't Cost an Arm and a Leg. HotOS 2001: 168

Adam Wiggins, Gernot Heiser: Fast Address-Space Switching on the StrongARM SA-1100 Processor. ACAC 2000: 97-

Luke Deller, Gernot Heiser: Linking Programs in a Single Address Space. USENIX Annual Technical Conference, General Track 1999: 283-294

Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, Jochen Liedtke: The Mungi Single-Address-Space Operating System. Softw., Pract. Exper. 28(9): 901-928 (1998)

Jochen Liedtke, Kevin Elphinstone, Sebastian Schönberg, Hermann Härtig, Gernot Heiser, Nayeem Islam, Trent Jaeger: Achieved IPC Performance. Workshop on Hot Topics in Operating Systems 1997: 28-31

Jinsong Ouzang, Gernot Heiser: Libra: A Library for Reliable Distributed Applications. PDPTA 1996: 801-810

Kevin Elphinstone, Stephen Russell, Gernot Heiser, Jochen Liedtke: Supporting Persistent Object Systems in a Single Address Space. POS 1996: 111-119

Gernot Heiser, Claude Pommerell, Jürgen Weis, Wolfgang Fichtner: Three-dimensional numerical semiconductor device simulation: algorithms, architectures, results. IEEE Trans. on CAD of Integrated Circuits and Systems 10(10): 1218-1230 (1991)