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

Presented at OSDI 2014 by

Tanakorn Leesatapornwongsa

Mingzhe Hao

Pallavi Joshi

Jeffrey Lukman

Haryadi Gunawi