Tanakorn Leesatapornwongsa

1 papers · 2014–2014 · 1 conference · across top CS/AI conferences

Conferences

OSDI (1)

Top co-authors

Pallavi Joshi (1) Mingzhe Hao (1) Haryadi S. Gunawi (1) Jeffrey F. Lukman (1)

Papers

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