@inproceedings{OSDI-2014-ZellwegerGKR,
	author        = "Gerd Zellweger and Simon Gerber and Kornilios Kourtis and Timothy Roscoe",
	booktitle     = "{Proceedings of the 11th Symposium on Operating Systems Design and Implementation}",
	ee            = "https://www.usenix.org/conference/osdi14/technical-sessions/presentation/zellweger",
	pages         = "17--31",
	publisher     = "{USENIX Association}",
	title         = "{Decoupling Cores, Kernels, and Operating Systems}",
	year          = 2014,
}