Gernot Heiser

	2009
29		Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser: Dingo: taming device drivers. EuroSys 2009: 275-288
28		David C. Snowdon, Etienne Le Sueur, Stefan M. Petters, Gernot Heiser: Koala: a platform for OS-level power management. EuroSys 2009: 289-302
27		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
26		Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser: Automatic device driver synthesis with termite. SOSP 2009: 73-86
	2008
25		Gernot Heiser: Operating System Verification for Real Use. VERIFY 2008
	2007
24		David C. Snowdon, Stefan M. Petters, Gernot Heiser: Accurate on-line prediction of processor and memoryenergy usage under voltage scaling. EMSOFT 2007: 84-93
23		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
22		Stefan M. Petters, Patryk Zadarnowski, Gernot Heiser: Measurements or Static Analysis or Both?. WCET 2007
21		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)
20		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)
	2006
19		Gernot Heiser: Panel: Is University Systems Teaching and Research Relevant to Industry?. USENIX Annual Technical Conference, General Track 2006
18		Gernot Heiser, Volkmar Uhlig, Joshua LeVasseur: Are virtual-machine monitors microkernels done right? Operating Systems Review 40(1): 95-99 (2006)
	2005
17		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
16		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
15		Matthew Chapman, Gernot Heiser: Implementing Transparent Shared Memory on Clusters Using Virtual Machines. USENIX Annual Technical Conference, General Track 2005: 383-386
14		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)
	2003
13		Cristan Szmajda, Gernot Heiser: Variable Radix Page Table: A Page Table for Modern Architectures. Asia-Pacific Computer Systems Architecture Conference 2003: 290-304
12		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
11		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
	2002
10		Shane Stephens, Gernot Heiser: Fault tolerance and avoidance in biomedical systems. ACM SIGOPS European Workshop 2002: 198-200
	2001
9		Antony Edwards, Gernot Heiser: Components + Security = OS Extensibility. ACSAC 2001: 27-34
8		Antony Edwards, Gernot Heiser: Secure OS Extensibility Needn't Cost an Arm and a Leg. HotOS 2001: 168
	2000
7		Adam Wiggins, Gernot Heiser: Fast Address-Space Switching on the StrongARM SA-1100 Processor. ACAC 2000: 97-
	1999
6		Luke Deller, Gernot Heiser: Linking Programs in a Single Address Space. USENIX Annual Technical Conference, General Track 1999: 283-294
	1998
5		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)
	1997
4		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
	1996
3		Jinsong Ouzang, Gernot Heiser: Libra: A Library for Reliable Distributed Applications. PDPTA 1996: 801-810
2		Kevin Elphinstone, Stephen Russell, Gernot Heiser, Jochen Liedtke: Supporting Persistent Object Systems in a Single Address Space. POS 1996: 111-119
	1991
1		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)

Coauthor Index

1	June Andronick	[27]
2	Jonathan Appavoo	[16] [23]
3	Andrew Baumann	[16] [23]
4	Matthew Chapman	[15] [17]
5	Peter Chubb	[14] [17] [26] [29]
6	David Cock	[27]
7	Luke Deller	[6]
8	Philip Derrin	[27]
9	Antony Edwards	[8] [9]
10	Dhammika Elkaduwe	[27]
11	Kevin Elphinstone	[2] [4] [5] [14] [20] [27]
12	Kai Engelhardt	[27]
13	Wolfgang Fichtner	[1]
14	Nicholas Fitzroy-Dale	[14]
15	Ian Gorton	[21]
16	Stefan Götz	[14]
17	Charles Gray	[14] [17]
18	Hermann Härtig (Hermann Haertig)	[4]
19	Nayeem Islam	[4]
20	Trent Jaeger	[4]
21	Jeremy Kerr	[16]
22	Gerwin Klein	[20] [27]
23	Rafal Kolanski	[27]
24	Orran Krieger	[16] [23]
25	Ihor Kuz	[20] [21] [26] [29]
26	Joshua LeVasseur	[18]
27	Ben Leslie	[14]
28	Jochen Liedtke	[2] [4] [5]
29	Yan Liu (Yan (Jenny) Liu)	[21]
30	Luke Macpherson	[14]
31	David Mosberger	[17]
32	Michael Norrish	[27]
33	Jinsong Ouzang	[3]
34	Stefan M. Petters	[20] [22] [24] [28]
35	Claude Pommerell	[1]
36	Daniel Potts	[14]
37	Stephen Russell	[2] [5]
38	Leonid Ryzhyk	[26] [29]
39	Sebastian Schönberg	[4]
40	Thomas Sewell	[27]
41	Yue-Ting Shen	[14]
42	Dilma Da Silva	[16] [23]
43	David C. Snowdon	[24] [28]
44	Shane Stephens	[10]
45	Etienne Le Sueur	[26] [28]
46	Cristan Szmajda	[13]
47	Harvey Tuch	[11] [12] [27]
48	Volkmar Uhlig	[11] [18]
49	Jerry Vochteloo	[5]
50	Jürgen Weis	[1]
51	Adam Wiggins	[7] [11] [12]
52	Simon Winwood	[12] [27]
53	Robert W. Wisniewski	[16] [23]
54	Patryk Zadarnowski	[22]

Colors in the list of coauthors