•  

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)

Presentations:

  • 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!

When

Time 2:00pm3:40pm MST

Date Tue 7th October 2014

Session Hash Tag

#osdi14

Short URL

lanyrd.com/sdczyq

View the schedule

Share

See something wrong?

Report an issue with this session