Pest Control

A session at 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI '14)

Tuesday 7th October, 2014

2:00pm to 3:40pm (MST)


  • SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems
  • SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration
  • Application Crash Vulnerabilities
  • Torturing Databases for Fun and Profit

Sign in to add slides, notes or videos to this session

Tell your friends!


Time 2:00pm3:40pm MST

Date Tue 7th October 2014

Session Hash Tag


Short URL


View the schedule


See something wrong?

Report an issue with this session