Publications by Kevin%20Elphinstone

@inproceedings{abc,
	author = {Tudor-Ioan Salomie and Gustavo Alonso and Timothy Roscoe and Kevin Elphinstone},
	booktitle = {Eighth Eurosys Conference 2013, EuroSys {\textquoteright}13, Prague, Czech Republic},
	title = {Application level ballooning for efficient server consolidation.},
	url = {http://doi.acm.org/10.1145/2465351.2465384},
	year = {2013}
}

@inproceedings{abc,
	author = {Timothy Roscoe and Kevin Elphinstone and Gernot Heiser},
	booktitle = {Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS-XI), San Diego, CA, USA},
	title = {Hype and Virtue},
	year = {2007}
}

@inproceedings{abc,
	author = {Kevin Elphinstone and Gerwin Klein and Philip Derrin and Timothy Roscoe and Gernot Heiser},
	booktitle = {Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS-XI), San Diego, CA, USA},
	title = {Towards a practical, verified kernel},
	year = {2007}
}