Skip to main content
USENIX
Conferences
Students
Sign in
OSDI '14 Home
Symposium Organizers
At a Glance
Registration Information
Registration Discounts
Venue, Hotel, and Travel
Technical Sessions
Co-Located Workshops
Activities
Birds-of-a-Feather Sessions
Poster Sessions
Sponsorship
Students and Grants
Co-located Workshops
Questions?
Help Promote!
For Participants
Call for Papers
Past Symposia
sponsors
Diamond Sponsor
Diamond Sponsor
Gold Sponsor
Gold Sponsor
Gold Sponsor
Silver Sponsor
Silver Sponsor
Silver Sponsor
Silver Sponsor
Bronze Sponsor
Bronze Sponsor
Bronze Sponsor
General Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Industry Partner
Industry Partner
twitter
Tweets by @usenix
usenix conference policies
Event Code of Conduct
Conference Network Policy
Statement on Environmental Responsibility Policy
You are here
Home
ยป
Who Put the Kernel in My OS Conference?
Tweet
connect with us
http://twitter.com/usenix
https://www.facebook.com/usenixassociation
http://www.linkedin.com/groups/USENIX-Association-49559/about
https://plus.google.com/108588319090208187909/posts
http://www.youtube.com/user/USENIXAssociation
Who Put the Kernel in My OS Conference?
Presentations:
Arrakis: The Operating System is the Control Plane
Decoupling Cores, Kernels, and Operating Systems
Jitk: A Trustworthy In-Kernel Interpreter Infrastructure
IX: A Protected Dataplane Operating System for High Throughput and Low Latency
connect with us