Skip to main content
Conferences
Students
Sign in
usenix_logo_notag_white
Sign In
Conferences
OSDI '14 Home
Symposium Organizers
At a Glance
Registration Information
Technical Sessions
Co-Located Workshops
Activities
Sponsorship
Students and Grants
Co-located Workshops
Questions?
Help Promote!
For Participants
Call for Papers
Past Symposia
Rodrigo Rodrigues, CITI/NOVA University of Lisbon
Linked Presentation:
SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration