Sign In
Conferences

Attend
Registration Information

Registration Discounts
Students and Grants
Venue, Hotel, and Travel
Program
Technical Sessions
Activities

Birds-of-a-Feather Sessions

Poster Sessions
Participate
Call for Papers
Instructions for Authors and Speakers
Sponsorship
About
Organizers

Help Promote

Questions

Code of Conduct

Past Symposia

Xiongnan (Newman) Wu

Linked Presentation:

CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels

OSDI '16
Attend
Program
Participate
- Call for Papers
- Instructions for Authors and Speakers
Sponsorship
About

Twitter Facebook Google Youtube

Privacy Policy
Contact Us

© USENIX