Jeffrey F. Lukman

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

Conferences

OSDI (1)

Top co-authors

Tanakorn Leesatapornwongsa (1) Pallavi Joshi (1) Mingzhe Hao (1) Haryadi S. Gunawi (1)

Papers

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