Two more papers accepted at OSDI 2014

In addition to the paper on Pydron, the two following papers were accepted at OSDI 2014:

"Decoupling Cores, Kernels, and Operating Systems" by Gerd Zellweger, Simon Gerber, Kornilios Kourtis, and Timothy Roscoe

"Arrakis: The Operating System is the Control Plane" by Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas Anderson, and Timothy Roscoe