@inproceedings {181971,
	author = {Aleksander Budzynowski and Gernot Heiser},
	title = {The von Neumann Architecture Is Due for Retirement},
	booktitle = {14th Workshop on Hot Topics in Operating Systems (HotOS XIV)},
	year = {2013},
	address = {Santa Ana Pueblo, NM},
	url = {https://www.usenix.org/conference/hotos13/session/budzynowski},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {266721,
	author = {Etienne Le Sueur and Gernot Heiser},
	title = {Slow Down or Sleep, That Is the Question},
	booktitle = {2011 USENIX Annual Technical Conference (USENIX ATC 11)},
	year = {2011},
	address = {Portland, OR},
	url = {https://www.usenix.org/conference/usenixatc11/slow-down-or-sleep-question},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {266880,
	author = {Gernot Heiser and Leonid Ryzhyk and Michael von Tessin and Aleksander Budzynowski},
	title = {What If You Could Actually Trust Your Kernel?},
	booktitle = {13th Workshop on Hot Topics in Operating Systems (HotOS XIII)},
	year = {2011},
	address = {Napa, CA},
	url = {https://www.usenix.org/conference/hotosxiii/what-if-you-could-actually-trust-your-kernel},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {267325,
	author = {Aaron Carroll and Gernot Heiser},
	title = {An Analysis of Power Consumption in a Smartphone},
	booktitle = {2010 USENIX Annual Technical Conference (USENIX ATC 10)},
	year = {2010},
	url = {https://www.usenix.org/conference/usenix-atc-10/analysis-power-consumption-smartphone},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {267171,
	author = {Leonid Ryzhyk and NICTA and University of New South Wales and John Keys and Balachandra Mirla and Arun Raghunath and Mona Vij and Gernot Heiser},
	title = {Improved Device Driver Reliability Through Verification Reuse},
	booktitle = {Sixth Workshop on Hot Topics in System Dependability (HotDep 10)},
	year = {2010},
	address = {Vancouver, BC},
	url = {https://www.usenix.org/conference/hotdep10/improved-device-driver-reliability-through-verification-reuse},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {242384,
	author = {Matthew Chapman and Gernot Heiser},
	title = {{vNUMA}: A Virtual {Shared-Memory} Multiprocessor},
	booktitle = {2009 USENIX Annual Technical Conference (USENIX ATC 09)},
	year = {2009},
	address = {San Diego, CA},
	url = {https://www.usenix.org/conference/usenix-09/vnuma-virtual-shared-memory-multiprocessor},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {268647,
	author = {Timothy Roscoe and Kevin Elphinstone and Gernot Heiser},
	title = {Hype and Virtue},
	booktitle = {11th Workshop on Hot Topics in Operating Systems (HotOS XI)},
	year = {2007},
	address = {San Diego, CA},
	url = {https://www.usenix.org/conference/hotos-xi/hype-and-virtue},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {268564,
	author = {Andrew Baumann and Jonathan Appavoo and Robert W. Wisniewski and Dilma Da Silva and Orran Krieger and Gernot Heiser},
	title = {Reboots Are for Hardware: Challenges and Solutions to Updating an Operating System on the Fly},
	booktitle = {2007 USENIX Annual Technical Conference (USENIX ATC 07)},
	year = {2007},
	address = {Santa Clara, CA},
	url = {https://www.usenix.org/conference/2007-usenix-annual-technical-conference/reboots-are-hardware-challenges-and-solutions},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {268631,
	author = {Kevin Elphinstone and Gerwin Klein and Philip Derrin and Gernot Heiser},
	title = {Towards a Practical, Verified Kernel},
	booktitle = {11th Workshop on Hot Topics in Operating Systems (HotOS XI)},
	year = {2007},
	address = {San Diego, CA},
	url = {https://www.usenix.org/conference/hotos-xi/towards-practical-verified-kernel},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {269400,
	author = {Matthew Chapman and Gernot Heiser},
	title = {Implementing Transparent Shared Memory on Clusters Using Virtual Machines},
	booktitle = {2005 USENIX Annual Technical Conference (USENIX ATC 05)},
	year = {2005},
	address = {Anaheim, CA},
	url = {https://www.usenix.org/conference/2005-usenix-annual-technical-conference/implementing-transparent-shared-memory-clusters},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {271632,
	author = {Luke Deller and Gernot Heiser},
	title = {Linking Programs in a Single Address Space},
	booktitle = {1999 USENIX Annual Technical Conference (USENIX ATC 99)},
	year = {1999},
	address = {Monterey, CA},
	url = {https://www.usenix.org/conference/1999-usenix-annual-technical-conference/linking-programs-single-address-space},
	publisher = {USENIX Association},
	month = jun
}
