Pest Control

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