Pest Control | USENIX

USENIX ATC '15 button

Get more
Help Promote graphics!

Tweets by @usenix

Presentations:

SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems

SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration

All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications

Torturing Databases for Fun and Profit