Export 3 results:
Filters: Author is Pallavi Joshi  [Clear All Filters]
Leesatapornwongsa T, Hao M, Joshi P, Lukman JF, Gunawi HS.  2014.  SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :399--414.
Gunawi HS, Do T, Joshi P, Alvaro P, Hellerstein JM, Arpaci-Dusseau AC, Arpaci-Dusseau RH, Sen K, Borthakur D.  2011.  FATE and DESTINI: A Framework for Cloud Recovery Testing. 8th USENIX Symposium on Networked Systems Design and Implementation (NSDI 11).