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
Pedro Fonseca, Max Planck Institute for Software Systems (MPI-SWS)
Linked Presentation:
SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration