Sched.com Conference Mobile Apps
OSDI '18
has ended
Create Your Own Event
OSDI '18
-
Saved To
My Schedule
Schedule
Simple
Expanded
Grid
By Venue
Sponsors
Map
Search
menu
Menu
Schedule
Sponsors
Map
Search
Download our free app:
Back To Schedule
Tuesday
, October 9 • 9:00am - 9:20am
Nickel: A Framework for Design and Verification of Information Flow Control Systems
Sign up
or
log in
to save this to your schedule, view media, leave feedback and see who's attending!
Tweet
Share
Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang, University of Washington
Tuesday October 9, 2018 9:00am - 9:20am PDT
Costa Del Sol Salon D–H
Refereed Paper Presentation